Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: ConData: A tool for automating specification-based test case generation for communication systems
Author: Martins, E
Sabiao, SB
Ambrosio, AM
Abstract: 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.
Subject: communications protocol testing
EFSM-based testing
logic programming
Country: Holanda
Editor: Kluwer Academic Publ
Rights: fechado
Identifier DOI: 10.1023/A:1008930105477
Date Issue: 1999
Appears in Collections:Artigos e Materiais de Revistas Científicas - Unicamp

Files in This Item:
File Description SizeFormat 
WOS000089053900006.pdf162.73 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.