Slide 10
Slide 10 text
Habilitation presentation 10
Code-based test generation
/// Calculates the sum of given number of
/// elements from an index in an array.
int CalculateSum(int start, int number, int[] a) {
if(start+number > a.Length || a.Length <= 1)
throw new ArgumentException();
int sum = 0;
for (int i = start; i < start+number-1; i++)
sum += a[i];
return sum;
}
[TestMethod]
public void CalculateSumTest284() {
int[] ints = new int[5] { 4,5,6,7,8 };
int i = CalculateSum(0, 0, ints);
Assert.AreEqual(0, i);
}
[TestMethod]
public void CalculateSumTest647() {
int[] ints = new int[5] { 4,5,6,7,8 };
int i = CalculateSum(0, 4, ints);
Assert.AreEqual(15, i);
}
Select test inputs
Observe behavior
Generate test code
Test generator
Can we detect if a
generated test
captures a failure?