• Philosophy
  • Published 1997

Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection

@inproceedings{Arnould1997TestAP,
  title={Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection},
  author={Agn{\`e}s Arnould},
  year={1997}
}
Du fait des limitations tant materielles que logicielles, les structures de donnees informatiques sont bornees, ce qui est une source de fautes difficiles a trouver. Si les bornes sont clairement definies dans la specification, le test fonctionnel doit permettre de decouvrir de telles fautes. Cependant, pour les formalismes de specifications existants (z, vdm, b ou algebriques), les criteres de selection adaptes a la couverture des bornes n'ont pas beaucoup ete etudies. Nous proposons d… CONTINUE READING