Abstract
Overviews of the standard formal specification language Estelle and test suite specification language TTCN are provided. Steps involved in semi-automatic generation of TTCN test suites from Estelle are introduced. Details of TTCN test step generation from Estelle transitions are explained. Test cases are obtained from these test steps by way of ordering them using the control flow graph. The implementation of a software tool called TTCNGEN, which largely automates the methodology, is explained and examples are provided from the LAP-D protocol of the integrated services digital network. Related research is discussed, and various ideas are highlighted for future research.
Sign-in/Register to access full text options 
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
