The Community for Technology Leaders
RSS Icon
Issue No.04 - July/August (2008 vol.25)
pp: 74-81
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.
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
1. Recommendation Z.100, Specification and Description Language SDL, Com X-R15-E, ITU-T Int'l Telecommunication Union, Telecommunication Standardization Sector, 1987; 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; 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.
488 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool