Les outil de tests et vérification de code

EXEMPLE DE TEST AVEC TEST REAL TIME (1)

Voici un exemple de code à tester :

extern int f(int);
extern int global_variable;

int function ( int test )
{
int i=0;
if( i )
  {
  return 0;  La branche n'est pas couverte
  }

if( test )
  {
  return ( f( 1 )+ global_variable );  Si global_variable=test=1 et
                                       f(1) retourne 1 function retourne 2
  }
else
  {
  return ( f( 0 )+ global_variable );
  }
}