Model-based testing of a highly programmable system

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott
Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257)  
The paradigm of model-based testing shifts the focus of testing from writing individual test cases to developing a model from which a test suite can be generated automatically. We report on our experience with model-based testing of a highly programmable system that implements intelligent telephony services in the U.S. telephone network. Our approach used automatic test-case generation technology to develop sets of self-checking test cases based on a machine-readable specification of the
more » ... s in the protocol under test. The AETG TM software system selected a minimal number of test-data tuples that covered pairwise combinations of tuple elements. We found the combinatorial approach of covering pairwise interactions between input fields to be highly effective. Our tests revealed failures that would have been difficult to detect using traditional test designs. However, transferring this technology to the testing organization was difficult. Automatic generation of cases represents a significant departure from conventional testing practice due to the large number of tests and the amount of software development involved.
doi:10.1109/issre.1998.730876 dblp:conf/issre/DalalJKLL98 fatcat:qf4xr4gktzbghnsishotgnjbjq