Eight Years of Experience in Test Generation from FDTs using TVEDA

This paper relates France Telecom experience with automatic test generation from FDT. We describe our approach and the evolution of tools and practice over 8 years. Both technical and non-technical causes for evolution are analysed. We provide data on two dozens of industrial applications of FDT-based test generation in our organization.

[1]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[2]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[3]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[4]  Roland Groz,et al.  From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach , 1990, FORTE.

[5]  Marc Phalippou,et al.  Evaluation of some test generation tools on a real protocol example , 1995 .

[6]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[7]  Marc Phalippou,et al.  Test sequence generation using Estelle or SDL structure information , 1994, FORTE.

[8]  Ana R. Cavalli,et al.  Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications , 1992, Protocol Test Systems.

[9]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[10]  Michel Diaz,et al.  Presentation of the Sedos Estelle Demonstrator Project , 1989 .

[11]  Terunao Soneoka,et al.  Combination of conformance and interoperability testing , 1992, FORTE.

[12]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[13]  Thierry Jéron,et al.  Assessment of automatic generation methods of conformance test suites in an industrial context , 1996 .

[14]  Güney Gönenç,et al.  A Method for the Design of Fault Detection Experiments , 1970 .

[15]  Anthony Wiles,et al.  Experiences with Computer Aided Test Suite Generation , 1993, Protocol Test Systems.

[16]  Olivier Charles,et al.  Relating Conformance Test Coverage to Formal Specifications , 1996, FORTE.

[17]  Roland Groz,et al.  Two approaches linking a test generation tool with verification techniques , 1996 .