Loading...
Please wait, while we are loading the content...
Similar Documents
Using semicontrollable interfaces in testing Army communications protocols: Application to MIL-STD 188-220B (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Fecko, Mariusz A. Uyar, M. ¨umit Sethi, Adarshpal S. Amer, Paul D. |
| Description | Proc. IEEE MILCOM, Atlantic City, NJ |
| Abstract | Testing Army communications protocols is considered for a testing en-vironment where tester has limited degrees of controllability on ap-plying inputs to an Implementation Under Test. The inputs fall into three categories: directly controllable, semicontrollable, or uncontrol-lable. A graph conversion algorithm is presented to utilize the semicon-trollable inputs, thereby increasing the number of testable transitions. The research was motivated while generating tests for MIL-STD 188-220B. The number of testable transitions for 188-220B Class A–Type 1 Datalink Service module is approximately 200 without utilizing semi-controllable inputs. These 200 account for only 30 % of the transitions defined in the protocol specification. The presented methodology makes it possible to increase the number of testable transitions to over 700. Combined with our previous work on testing protocols with timing con-straints, the methodology allows us to generate tests free of interruptions due to timeouts, and covering more than 95 % of the defined transitions in 188-220B’s Type 1 Datalink Layer. 1 |
| File Format | |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Testable Transition Datalink Layer Defined Transition 188-220b Type Semicon-trollable Input Semicontrollable Interface Datalink Service Module Graph Conversion Algorithm Army Communication Protocol 188-220b Class Type Semi-controllable Input Presented Methodology Ap-plying Input Input Fall |
| Content Type | Text |
