DMCA
A Technique to Generate Feasible Tests for Communications Systems with Multiple Timers (2003)
| Citations: | 8 - 3 self |
BibTeX
@MISC{Fecko03atechnique,
author = {Mariusz A. Fecko and M. Ümit Uyar and Ali Y. Duale and Paul D. Amer},
title = {A Technique to Generate Feasible Tests for Communications Systems with Multiple Timers},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents 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. The conflicting conditions based on a protocol's timers are likely to make test sequences unrealizable. The new modeling technique presented here, combined with the inconsistency removal algorithms designed at the City College of New York, allows generation of feasible, conflict-free test sequences without compromising their fault coverage. The model is specifically designed for testing purposes to avoid performing full reachability analysis and to significantly limit the explosive growth of the number of test scenarios. It is based exclusively on the paradigm of Extended Finite State Machines (EFSM), and thus readily applicable to the languages such as SDL, VHDL, and Estelle.
Keyphrases
multiple timer generate feasible test communication system real-time protocol city college test scenario complex timing dependency conflict-free test sequence new modeling technique simple linear expression explosive growth new york fault coverage test sequence extended finite state machine full reachability analysis timer-related variable inconsistency removal algorithm new model
