Loading…

Generating test cases from an OO model with an AI planning system

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Scheetz, M., von Mayrhauser, A., France, R.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1071-9458
2332-6549
DOI:10.1109/ISSRE.1999.809330