Efficient test generation for army network protocols with conflicting timers

M.A. Fecko, M.U. Uyar, A.Y. Duale, P.D. Amer
MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures and Technologies for Information Superiority (Cat. No.00CH37155)  
During the UD's and CCNY's ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed-when multiple timers are running simultaneously, a test sequence may become unrealizable if there are conflicting conditions based on a protocol's timers. This problem, termed the conflicting timers problem, is handled in the hitherto generated tests by manually expanding a protocol's extended FSM based on the set of conflicting timers,
more » ... conflicting timers, resulting in test sequences that are far from minimum-length. Similar inconsistencies, but based on arbitrary linear variables, are present in the extended FSMs modeling VHDL specifications. This paper presents an efficient solution to the conflicting timers problem that eliminates the redundancies of manual state expansion. CCNY's inconsistency removal algorithms are applied to a new model for real-time protocols with multiple timers. The new model captures complex timing dependencies by using simple linear expressions. This modeling technique, combined with the CCNY's inconsistency removal algorithms, is expected to significantly shorten the test sequences without compromising their fault coverage.
doi:10.1109/milcom.2000.904927 fatcat:6nc6ibd3fvbrdg7hqsqctt455m