Black box test cases for insertion procedure

Question

insertion_procedure (int a[], int p [], int N)
{
    int i,j,k;
    for (i=0; i<=N; i++) p[i] = i;
    for (i=2; i<=N; i++)
    {
        k = p[i];
        j = 1;
        while (a[p[j-1]] > a[k]) {p[j] = p[j-1]; j--}
        p[j] = k;
    }
}

What would be few good test cases for this particular insertion procedure?

I'd start by writing a spec for the function. Preferably in comments right above it. Use the syntax of your most favorite comment extraction engine. (I'm using http://wwww.doxygen.org, if you haven't got one yet.) — sbi, Apr 20 '10 at 09:14
If you want to write "black box" test cases the function code is not useful, a specification of the function with pre and post conditions is. That's what "black box" means. — Dean Povey, Apr 20 '10 at 09:24

score 1 · Answer 1 · answered Apr 20 '10 at 09:37

If I read this function correctly any input with this property a[0] > a[2] will seg fault

First loop through for (i=2; i<=N; i++)

Tracing the variables in my head.

i = 2
k = p[i] == 2
j = 1
p[j-1] = p[0] == 0
Because a[0] > a[2] while loop condition is true, therefore j-- == 0
Next evaulation of while condition will do: while (a[p[-1] > k) -> SEGFAULT

That might be a good test :-)

It doesn't look like there is any useful input that would make that while loop run more than once without a segfault so I'd say there is a logic error there

Lieven Keersmaekers · Answer 2 · 2010-04-20T09:46:01.273

I would start with these

a negative number in a[]. What should the result be?
a negative number in p[].
a negative number N.
an empty a array.
an empty p array.
N = 0

Looking at the implementation (I don't programm in c), I suspect some of these will AV.

In a nutshell, you should at least do a boundary analysis of your input parameters and device a test for each parameter with each value out of bound, on the boundary and inbound.

Example
If you have 1 parameter and determine the bounds are 0 and 10, it should result in 6 testcases. You should pass in -1, 0, 1, 9, 10 and 11.

Further study
As the ammount of parameters grows, it will quickly become impossible to test all combinations. This is where all-pairs testing would come in handy.

Black box test cases for insertion procedure

2 Answers2