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

Authors:
Eliane Martins;Selma B. Sabião;Ana Maria Ambrosio
Affiliations:
Institute of Computing, State University of Campinas, (UNICAMP) eliane@dcc.unicamp.br;Institute of Computing, State University of Campinas, (UNICAMP) selmasab@dcc.unicamp.br;Ground System Division, National Institute for Space Research, (INPE) ana@dss.inpe.br
Venue:
Software Quality Control
Year:
1999

Citing 14
Cited 4

A Test Design Methodology for Protocol Testing

IEEE Transactions on Software Engineering
Test sequence selection based on static data flow analysis

Computer Communications
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
The craft of Prolog

The craft of Prolog
Automated Module Testing in Prolog

IEEE Transactions on Software Engineering
An overview of ASN.1

Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Formal methods for test sequence generation

Computer Communications
Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Test case generation using Prolog

ICSE '85 Proceedings of the 8th international conference on Software engineering
Automating Specification-Based Software Testing

Automating Specification-Based Software Testing
PROLOG Programming for Artificial Intelligence

PROLOG Programming for Artificial Intelligence
Software Testing Techniques

Software Testing Techniques
Art of Software Testing

Art of Software Testing
Test-Case Generation from Prolog-Based Specifications

IEEE Software

Benchmarking software requirements documentation for space application

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Designing fault injection experiments using state-based model to test a space software

LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector

Advances in Engineering Software
Contributions of model checking and CoFI methodology to the development of space embedded software

Empirical Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.