Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
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
An automatic trace analysis tool generator for Estelle specifications
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
The role of testing methodologies in open systems standards: a POSIX experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Interface Design for Core-Based Systems
IEEE Design & Test
IEEE Transactions on Software Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Testing of 3G 1xEV-DV stack: a case study
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Information and Software Technology
Research: Improving the UIOv-method for protocol conformance testing
Computer Communications
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Research: TESTGEN: An environment for protocol test suite generation and selection
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Test selection for a nondeterministic FSM
Computer Communications
| Hi-index | 0.01 |
Communication protocol testing can be done with a test architecture consisting of remote Lower Tester and local Upper Tester processes. For real protocols, tests can be designed based on the formal specification of the protocol which uses an extended finite state machine model. The specification is transformed into a simpler form consisting of normal form transitions. It can then be modeled by a control and a data flow graph. The graphs are decomposed into subtours and data flow functions, respectively. Tests are designed by considering parameter variations of the input primitives of each data flow function and determining the expected outputs. The methodology gives complete test coverage of all data flow functions and control paths in the specification. Functional fault models are proposed for functions that are not formally specified.