RT Journal Article
JF IEEE Software
YR 2008
VO 25
IS
SP 74
TI Testing Feature-Rich Reactive Systems
A1 Tony Savor,
K1 test state space
K1 real-time
K1 reactive system
K1 test automation
K1 test generation
K1 telephony
K1 specification complexity
AB Reactive systems that service multiple clients or users are often highly configurable to provide customized, value-added services to individual users. A large configuration space is characteristic of such systems, resulting in a large test state space. A new framework reduces specification complexity and enables automated testing for such systems. A running example from class-5 telephony illustrates the benefits of this new approach and the experiences gained in developing and testing it.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN 0740-7459
LA English
DO 10.1109/MS.2008.99
LK http://doi.ieeecomputersociety.org/10.1109/MS.2008.99