Assessment of automatic generation methods of conformance test suites in an industrial context

@inproceedings{Doldi1996AssessmentOA,
  title={Assessment of automatic generation methods of conformance test suites in an industrial context},
  author={Laurent Doldi and Vincent Encontre and Jean-Claude Fernandez and Thierry J{\'e}ron and S. Le Bricquir and Nathalie Texier and Marc Phalippou},
  year={1996}
}
In this paper we describe three experiments in the automatic generation of conformance abstract test suites for protocol testing. The methods and tools have been applied to a same industrial protocol, the DREX protocol. This protocol has been specified in SDL language. Abstract conformance test suites have been generated in TTCN language. The study proved that the technology transfer to obtain a commercial tool is now possible. 

Topics from this paper.