Name
Abstract | ||
|---|---|---|
This paper presents the research effort to formally specify, develop and test a complex real-life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of researchers from the University of Delaware and the City College of the City University of New York, collaborating with scientists from CECOM (an R&D facility of the US Army) and the US Army Research Laboratory, have helped advance the state-of-the-art in the design, development, and testing of wireless communications protocols. Estelle is used both as the formal specification language for MIL-STD 188-220and the source to automatically generate conformance test sequences. The formal test generation effort identified several theoretical problems for wireless communication protocols (possibly applicable to network protocols in general): (1) the timing constraint problem, (2) the controllability problem, (3) inconsistency detection and elimination problem and (4) the conflicting timers problem. Based on the collaborative research results, two software packages were written to generate conformance test sequences for MIL-STD 188-220. These packages helped generate tests for MIL-STD 188-220’s Data Link Types 1 and 4 services that were realizable without timer interruptions while providing a 200% increase in test coverage. The test cases have been delivered and are being used by a CECOM conformance testing facility. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1016/S0950-5849(03)00062-4 | Information and Software Technology |
Keywords | Field | DocType |
Conformance testing,Estelle,Formal description technique,Formal specification,MIL-STD 188-220,Protocol specification,Test case generation,PACS | Code coverage,Software engineering,Computer science,Conformance testing,Formal specification,Software,Test case,Timer,Data link,Communications protocol | Journal |
Volume | Issue | ISSN |
45 | 12 | 0950-5849 |
Citations | PageRank | References |
4 | 0.46 | 42 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| M. Umit Uyar | 1 | 62 | 8.24 |
| Mariusz A. Fecko | 2 | 126 | 11.98 |
| Ali Y. Duale | 3 | 131 | 7.31 |
| Paul D. Amer | 4 | 953 | 94.28 |
| Adarshpal S. Sethi | 5 | 591 | 84.03 |