Dérivation of test cases for LAP-B from a formal specification in lotos
Type doc. :
Thèses / mémoires
Langue :
Anglais
Auteur(s) :
Année de soutenance:
1990
Afficher le Résumé
The thesis is stmctured as follows: in chapter , overviews of FDTs and Confolm- ance testing are presented, together with the thesis objective. The next chapter covers con- cepts related to the LOTOS language. Chapter 3 describes the design of the DTE LAPB in LOTOS. In chapter 4, test suite generation is discussed. Finally, the conclusion of the the- sis follows in chapter 5. The LAPB specification Written in LOTOS is given in Appendix A. In Appendix B, we present trees used in the case generation fro cation. m the LOTOS LAPB specifi- cation
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 GUE TH C1 | BIB-Centrale / Thèses | interne | disponible |
Gueraichi, D. et al. (1990). Dérivation of test cases for LAP-B from a formal specification in lotos (Magister) . Ottawa.