Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems |
| |
Authors: | W Herzner R Schlick W Schütz H Brandl W Krenn |
| |
Affiliation: | (1) Computer Science Department, Laboratory for Advanced Networking, University of Kentucky, Lexington, KY 40506-0495, USA;(2) Information and Software Engineering Department, George Mason University, Fairfax, VA 22030, USA |
| |
Abstract: | This paper describes a new approach for model-based test case generation (MBTCG) for large systems, which not only supports
the expression of complex requirements (constraints) using OCL, but also lays ground for improving the efficiency (i.e. maximum
coverage with minimal number of test cases) of the generated test case set. For that purpose, UML/OCL models are transformed
to (object-oriented) action systems, where test cases are generated by means of mutation. The resulting "abstract" test cases
represent input/output sequences with possible branches according to valid alternatives in system responses. They have finally
to be transformed to "concrete" test cases which can be applied to the target application. The described work is part of the
European project MOGENTES. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|