DocumentCode
3369369
Title
Generating test cases from an OO model with an AI planning system
Author
von Mayrhauser, A. ; France, Robert
fYear
1999
fDate
1999
Firstpage
250
Lastpage
259
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on
Conference_Location
Boca Raton, FL
ISSN
1071-9458
Print_ISBN
0-7695-0443-4
Type
conf
DOI
10.1109/ISSRE.1999.809330
Filename
809330
Link To Document