Applications of symbolic evaluation
Journal of Systems and Software
Functional program testing and analysis
Functional program testing and analysis
A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
An interpreter for LOTOS, a specification language for distributed systems
Software—Practice & Experience
Specifications of a simplified transport protocol using different formal description techniques
Computer Networks and ISDN Systems
The CO-OP Method for Compositional Derivation of Conformance Testers
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Derivation of Useful Execution Trees from LOTOS by using an Interpreter
Proceedings of the First International Conference on Formal Description Techniques
Test Case Derivation from LOTOS Specifications
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Derivation of Test Cases for LAP-B from a LOTOS Specification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Testing Communication Protocols
IEEE Software
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
| Hi-index | 0.00 |
A novel approach is proposed for generating test cases from LOTOS specifications for protocol conformance testing. A set of transformation rules is applied to the specification, and the specification is mapped to an extended finite state machine called a chart. The flow of data in the chart is modeled by a data flow graph. Test cases are generated from the chart. Program testing strategies are applied for test case selection. A tool implementing this methodology on a workstation is also discussed.