Testing Object-Oriented Software

This tutorial describes the approach we develop for the formal testing of OO software. We also describe the operational techniques, that can be used, to select test cases.


Publié dans:
Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France
Année
1999
Mots-clefs:
Laboratoires:




 Notice créée le 2005-09-20, modifiée le 2018-01-27

Lien externe:
Télécharger le document
n/a
Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)