A technique to generate feasible tests for communications systems with multiple timers
| Autor: | M.U. Uyar, Ali Y. Duale, Mariusz A. Fecko, Paul D. Amer |
|---|---|
| Rok vydání: | 2003 |
| Předmět: |
Finite-state machine
Computer Networks and Communications Computer science Real-time computing Hardware description language Computer Science Applications Test case VHDL Fault coverage Electrical and Electronic Engineering Scenario testing Conformance testing computer Software computer.programming_language |
| Zdroj: | IEEE/ACM Transactions on Networking. 11:796-809 |
| ISSN: | 1063-6692 |
| DOI: | 10.1109/tnet.2003.818182 |
| Popis: | We present a new model for testing real-time protocols with multiple timers, which captures complex timing dependencies by using simple linear expressions involving timer-related variables. This new modeling technique, combined with the algorithms to eliminate inconsistencies, allows generation of feasible test sequences without compromising their fault coverage. The model is specifically designed for testing to avoid performing full reachability analysis, and to control the growth of the number of test scenarios. Based on extended finite state machines, it is applicable to languages such as SDL, VHDL, and Estelle. The technique models a realistic testing framework in which each I/O exchange takes a certain time to realize and timers can be arbitrarily started or stopped. A software tool implementing this technique is used to generate test cases for the U.S. Army wireless standard MIL-STD 188-220. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|