Automatic generation of tests for protocoles: The example of TGV (Test generation with verification technology) approach;Génération automatique de tests pour les protocoles: L'exemple de l'approche formelle de TGV (test generation with verification technology)

REE, Revue de L'Electricite et de L'Electronique

Volumn , Issue 3, 1999, Pages 84-88

  Jeron T ^a   Jard, C ^a   Viho, C ^a   Caillaud, B ^a   Kahhuche, H ^a   Morel, P ^a   Fernandez, J C ^a   Kerbart, A ^a   Bozga, M ^a  

^a NONE

Author keywords

Automatic generation; Conformance tests; Formal methods; Protocoles

Indexed keywords

EID: 23744513634     PISSN: 12656534     EISSN: None     Source Type: Journal    
DOI: 10.3845/ree.1999.033     Document Type: Article

References (6)

1. FERNANDEZ (J.-C.),-JARD (C.), JÉRON (T.) and VIHO (C.), Using on-the-fly verification techniques for the generation of test suites, Conference on Computer-Aided Verification (CAV ë96), New Brunswick, New Jersey, USA, A. Alur and T. Henzinger editors, Springer, LNCS 1102, July 1996.
2. FERNANDEZ (J.-C.), JARD (C.), JÉRON (T.) and VIHO (C.), An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, J.-F. Groote and M. Rem editors, Elsevier Science, number 29, pages 123-146, 1997.
3. JÉRON (T.) et MOREL (P.), Abstraction, tau-réduction et déterminisation à la volée: application à la génération de test, Proceedings de CFIP'97: Ingénierie des Protocoles, G. Leduc editeur, Hermes, sept. 1997.
4. DOLDI (L.), ENCONTRE (V.), FERNANDEZ (J.-C.), JÉRON (T.), LE BRICQUIR (S.), TEXIER (N.), and PHALIPPOU (M.), Assessment of automatic generation methods of conformance test suites in an industrial context, IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten H.-J. Burkhardt and A. Giessler editors, Chapman & Hall, sept. 1996.
5. KERBRAT (A.), RODRIGUEZ (C.), and LEJEUNE (Y.). Interconnecting the ObjectGéode and CADP toolsets. In Proceedings of SDL forum'97. Elsevier Science (North-Holland), 1997.
6. JÉRON (T.), JÉZÉQUEL (J.-M.) and LE GUENNEC (A.), Validation and Test Generation for Object-Oriented Distributed Software. International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan, april 1998.