Formal Design And Testing Of Army Communication Protocols Based On Estelle

Abstract

This paper describes the Estelle specification of MILSTD 188-220A [7] 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 Estelle specification, which serves as input to test generation techniques, is presented. A Chinese postman tour [1] 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 intranet and datalink layers of MIL-STD 188-220A. 1 Introduction One of the University of Delaware's (UD) major contributions to the ATIRP is the study of formal specification languages in the specification and testing of Army communication protocols. In 1989, Estelle was approved as one of two ISO International Standard Formal Description Techniques (FDT) for the specification of compu..