ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

@article{Martins1999ConDataAT,
  title={ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems},
  author={Eliane Martins and Selma B. Sabi{\~a}o and Ana Maria Ambrosio},
  journal={Software Quality Journal},
  year={1999},
  volume={8},
  pages={303-320}
}
This paper describes a tool called ConData used as test generation for communication protocols specified as extended finite state machines. The strategy for test generation combines different specification-based test methods: (i) transition testing for the control part of a protocol and (ii) syntax and equivalence partitioning for the data part. The tool uses a representation of the protocol in PSL (Protocol Specification Language), which is transformed into a format readable by a Prolog… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS