Title :
Test generation from LOTOS specifications
Author :
Tripathy, Piyu ; Sarikaya, Behcet
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
fDate :
4/1/1991 12:00:00 AM
Abstract :
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
Keywords :
formal specification; program testing; protocols; specification languages; LOTOS specifications; chart; finite state machine; program testing; protocol conformance testing; transformation rules; Algebra; Automata; Computational modeling; Concurrent computing; Councils; Flow graphs; Functional analysis; Protocols; System testing; Workstations;
Journal_Title :
Computers, IEEE Transactions on
