Test generation for EFSM models of complex army protocols with inconsistencies

被引：0

作者：

Uyar, MÜ ^{[1
]}

Duale, AY ^{[1
]}

机构：

[1] CUNY City Coll, Dept Elect Engn, New York, NY 10031 USA

来源：

MILCOM 2000: 21ST CENTURY MILITARY COMMUNICATIONS CONFERENCE PROCEEDINGS, VOLS 1 AND 2: ARCHITECTURES & TECHNOLOGIES FOR INFORMATION SUPERIORITY | 2000年

关键词：

conformance testing; EFSM; Estelle; FSM; VHDL;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The generation of feasible test sequences for EFSM models of communication and computer systems remains all open research problem mainly because of the inconsistencies among the actions and conditions of these models. A method that enables the generation of only feasible test sequences from a class of EFSM models by eliminating inconsistencies BI these models is presented. Once inconsistencies are eliminated, realizable test sequences can be generated from the resulting consistent EFSMs by rising the FSM-based rest generation methods. The presented algorithms are currently being used to generate tests for the protocols with multiple conflicting timers running concurrently such as the MIL-STD 188-220.

引用

页码：340 / 346

页数：7