Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems
| Autor: | Rupert Schlick, Harald Brandl, Wolfgang Herzner, Willibald Krenn, W. Schütz |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Engineering
business.industry Programming language 020207 software engineering 02 engineering and technology Expression (computer science) computer.software_genre Reliability engineering Test (assessment) Set (abstract data type) Test case Life-critical system Unified Modeling Language Mutation (genetic algorithm) 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Electrical and Electronic Engineering business computer computer.programming_language |
| Zdroj: | e & i Elektrotechnik und Informationstechnik |
| ISSN: | 1613-7620 0932-383X |
| DOI: | 10.1007/s00502-010-0741-2 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink