DocumentCode
1218560
Title
Semi-automatic test suite generation from Estelle
Author
Forghani, Behdad ; Sarikaya, Behcet
Author_Institution
Bell Northern Res., Ottawa, Ont., Canada
Volume
7
Issue
4
fYear
1992
fDate
7/1/1992 12:00:00 AM
Firstpage
295
Lastpage
307
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
Keywords
ISDN; conformance testing; formal specification; protocols; software tools; specification languages; Estelle; LAP-D protocol; TTCNGEN; control flow graph; formal specification language Estelle; integrated services digital network; semiautomatic test suite generation; software tool; test suite specification language TTCN;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
153432
Link To Document