This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Testing Feature-Rich Reactive Systems
July/August 2008 (vol. 25 no. 4)
pp. 74-81
ASCII Text
x 
 
Tony Savor, "Testing Feature-Rich Reactive Systems," IEEE Software, vol. 25, no. 4, pp. 74-81, July/August, 2008.
 
 
BibTex
x
 
@article{ 10.1109/MS.2008.99,
author = {Tony Savor},
title = {Testing Feature-Rich Reactive Systems},
journal ={IEEE Software},
volume = {25},
number = {4},
issn = {0740-7459},
year = {2008},
pages = {74-81},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.99},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Testing Feature-Rich Reactive Systems
IS - 4
SN - 0740-7459
SP74
EP81
EPD - 74-81
A1 - Tony Savor,
PY - 2008
KW - test state space
KW - real-time
KW - reactive system
KW - test automation
KW - test generation
KW - telephony
KW - specification complexity
VL - 25
JA - IEEE Software
ER -
 
Tony Savor, OANDA
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.

1. Recommendation Z.100, Specification and Description Language SDL, Com X-R15-E, ITU-T Int'l Telecommunication Union, Telecommunication Standardization Sector, 1987; www.itu.int/ITU-T/studygroups/com10/languages Z.100_1199.pdf.
2. W.K. Lam, Hardware Design Verification: Simulation and Formal Method-Based Approaches, Prentice Hall, 2005.
3. P. Godefroid and N. Klarlund, "Software Model Checking: Searching for Computations in the Abstract or the Concrete," Proc. 5th Int'l Conf. Integrated Formal Methods (IFM 05), LNCS 3771, Springer, 2005, pp. 20–32.
4. F. Wang, "Formal Verification of Timed Systems: A Survey and Perspective," Proc. IEEE, Aug. 2004, pp. 1283–1305.
5. "LATA Switching Systems Generic Requirements (LSSGR)," document no. FR-64, Telcordia Technologies, Jan. 2007; http://telecom-info.telcordia.com/site-cgi/ idodocs.cgi?ID=114297343D000052&KEYWORDS=fr-64&TITLE=&DOCUMENT=&DATE=&CLASS=&COUNT=1000 .
6. R. Lai, "A Survey of Communication Protocol Testing," J. Systems and Software, May 2002, pp. 21–46.
7. D. Keck and P. Kuehn, "The Feature and Service Interaction Problem in Telecommunications Systems: A Survey," IEEE Trans. Software Eng., Oct. 1998, pp. 779–796.
8. C. Kaner, J. Falk, and H. Nguyen, Testing Computer Software, 2nd ed., John Wiley and Sons, 1999.
9. B. Koch et al., "Autolink: A Tool for Automatic Test Generation from SDL Specifications," Proc. 2nd IEEE Workshop Industrial Strength Formal Specification Techniques (WIFT 98), IEEE Press, 1998, pp. 114–125.
10. J. Li, D. Weiss, and H. Yee, "Code-Coverage Guided Prioritized Test Generation," Information and Software Technology, vol. 48, no. 12, 2006, pp. 1187–1198.
11. R. Dechter, Constraint Processing, Morgan Kaufmann, 2003.
12. T. Savor and R.E. Seviora, "Toward Automatic Detection of Software Failures," Computer, Aug. 1998, pp. 68–74.

Index Terms:
test state space, real-time, reactive system, test automation, test generation, telephony, specification complexity
Citation:
Tony Savor, "Testing Feature-Rich Reactive Systems," IEEE Software, vol. 25, no. 4, pp. 74-81, July-Aug. 2008, doi:10.1109/MS.2008.99
Usage of this product signifies your acceptance of the Terms of Use.