Title :
Generating test cases from an OO model with an AI planning system
Author :
von Mayrhauser, A. ; France, Robert
Abstract :
Black box test generation needs a model of the system under test to describe what is to be tested. Testing criteria and test objectives define how it is to be tested. We explain how to represent a system under test via UML models. We derive test objectives from the UML models and use the objectives and the models to generate test cases by mapping them into a problem description for an AI planner. The planner uses the problem description to generate a test suite that satisfies the UML-derived test objectives
Keywords :
object-oriented methods; planning (artificial intelligence); program testing; software tools; AI planning system; OO model; UML models; black box test generation; object oriented model; problem description; test case generation; test objectives; testing criteria; Artificial intelligence; Computer aided software engineering; Computer architecture; Computer science; Electrical capacitance tomography; Robots; Software testing; System testing; Technology planning; Unified modeling language;
Conference_Titel :
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0443-4
DOI :
10.1109/ISSRE.1999.809330
