Issue No.04 - July/August (2008 vol.25)
Tony Savor , OANDA
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2008.99
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.
test state space, real-time, reactive system, test automation, test generation, telephony, specification complexity
Tony Savor, "Testing Feature-Rich Reactive Systems", IEEE Software, vol.25, no. 4, pp. 74-81, July/August 2008, doi:10.1109/MS.2008.99