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

Volume

2

fYear

1997

fDate

2-5 Nov 1997

Firstpage

716

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;

fLanguage

English

Publisher

ieee

Conference_Titel

MILCOM 97 Proceedings

Conference_Location

Monterey, CA

Print_ISBN

0-7803-4249-6

Type

conf

DOI

10.1109/MILCOM.1997.646713

Filename

646713