ConData: a tool for automating specification-based test case generation for communication systems

• Published in: Proceedings of the 33rd Annual Hawaii International Conference on System Sciences p. 10 pp. vol.1
• Main Authors: Martins, E., Sabiao, S.B., Ambrosio, A.M.
• Format: Conference Proceeding Journal Article
• Language: English
• Published: IEEE 2000
• Subjects: Access protocols; Application specific processors; Automata; Automatic testing; Computer aided software engineering; Identity-based encryption; Open systems; Specification languages; System testing; Tellurium
• ISBN: 0769504930; 9780769504933
• ISSN: 1060-3425
• DOI: 10.1109/HICSS.2000.926974

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 program. This implements the test strategies mentioned above. The text also presents some results obtained in the test generation for the protocol of the Tele-command Communication System of the SACI-1 satellite.