The Community for Technology Leaders
Green Image
Issue No. 04 - April (1991 vol. 40)
ISSN: 0018-9340
pp: 543-552
<p>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.</p>
program testing; LOTOS specifications; protocol conformance testing; transformation rules; finite state machine; chart; formal specification; program testing; protocols; specification languages.

B. Sarikaya and P. Tripathy, "Test Generation from LOTOS Specifications," in IEEE Transactions on Computers, vol. 40, no. , pp. 543-552, 1991.
89 ms
(Ver 3.3 (11022016))