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. >
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call