SSC0523 - Tópicos Especiais em Engenharia de Software

Adenilso da Silva Simão, adenilso@icmc.usp.br

Silvana Morita Melo, morita@icmc.usp.br

Trabalho 02

Considere o programa abaixo.

public s t a t i c void heapsort ( int n , double ra [ ] ) {

int l , j , i r , i ;

double r r a ;

l = ( n >> 1) + 1;

i r = n ;

for ( ; ; ) {

i f ( l > 1) {

r r a = ra[ −− l ] ;

}

else {

r r a = ra [ i r ] ;

ra [ i r ] = ra [ 1 ] ;

i f ( −− i r == 1) {

ra [ 1 ] = r r a ;

return ;

}

}

i = l ;

j = l << 1;

while ( j <= i r ) {

i f ( j < i r && ra [ j ] < ra [ j + 1 ] ) {

++ j ;

}

i f ( r r a < ra [ j ] ) {

ra [ i ] = ra [ j ] ;

j += ( i = j ) ;

}

else {

j = i r + 1;

}

}

ra [ i ] = r r a ;

}

}

Considere que a variável ra é tanto uma variável de entrada quanto uma variável de saída.

1) Crie um conjunto de casos de teste baseado no critério "Valor Limite".

2) Crie um conjunto de casos de teste que cubra todas as arestas. Para cada caso de teste, indique quais arestas foram cobertas.

3) Crie um conjunto de casos de teste que cubra todas as definições. Para cada caso de teste, indique quais definições foram cobertas.

- - - Data de entrega: 17 de outubro de 2010 - - -