Title :
Formal design and testing of MIL-STD 188-220A based on Estelle
Author :
Fecko, Mariusz A. ; Amer, Paul D. ; Sethi, Adarsphpal S. ; Uyar, M. Ümit ; Dzik, Ted ; Menell, Raymond ; McMahon, Mike
Author_Institution :
Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
Abstract :
This paper describes the Estelle specification of MIL-STD 188-280A intranet layer as well as a methodology for generating test sequences for checking the conformance of a protocol implementation to its specification. The methodology for deriving test cases from an Estelle specification, which serves as input to test generation techniques, is presented. A Chinese postman tour is used to determine a minimum-cost tour of the transition graph for various transition types. Finally, the paper discusses several controllability and optimization issues that need to be addressed in test cases generation for the intranet and datalink layers of MIL-STD 188-220A
Keywords :
conformance testing; formal specification; military communication; military computing; military standards; open systems; optimisation; protocols; specification languages; telecommunication control; telecommunication standards; Chinese postman tour; Estelle specification; MIL-STD 188-220A; controllability; datalink layer; formal design; formal testing; intranet layer; minimum-cost tour; optimization; protocol implementation; specification conformance; test sequence generation; transition graph; Binary search trees; Cities and towns; Controllability; Data engineering; Educational institutions; Information science; Laboratories; Military computing; Protocols; Testing;
Conference_Titel :
MILCOM 97 Proceedings
Conference_Location :
Monterey, CA
Print_ISBN :
0-7803-4249-6
DOI :
10.1109/MILCOM.1997.646713
