Issue No. 04 - April (1991 vol. 40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88472
<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.