Seamless testing for models and code

Authors:
Andreas Holzer;Visar Januzaj;Stefan Kugele;Boris Langer;Christian Schallhart;Michael Tautschnig;Helmut Veith
Affiliations:
Vienna University of Technology, Austria;TU Darmstadt, Germany;TU München, Germany;Diehl Aerospace GmbH, Germany;Oxford University Computing Laboratory, UK;Vienna University of Technology, Austria;Vienna University of Technology, Austria
Venue:
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Year:
2011

Citing 22
Cited 0

Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
Lazy abstraction

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated Generation of Statistical Test Cases from UML State Diagrams

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
NUSMV: A New Symbolic Model Verifier

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automatic test case generation for UML activity diagrams

Proceedings of the 2006 international workshop on Automation of software test
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Achieving both model and code coverage with automated gray-box testing

Proceedings of the 3rd international workshop on Advances in model-based testing
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
A survey on model-based testing approaches: a systematic review

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Coverage-driven automatic test generation for uml activity diagrams

Proceedings of the 18th ACM Great Lakes symposium on VLSI
Deriving Input Partitions from UML Models for Automatic Test Generation

Models in Software Engineering
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Query-Driven Program Testing

VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Model-based test cases synthesis using UML interaction diagrams

ACM SIGSOFT Software Engineering Notes
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs

The Computer Journal
Experiments with test case generation and runtime analysis

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
The UML 2.0 testing profile and its relation to TTCN-3

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Model-based testing of object-oriented reactive systems with spec explorer

Formal methods and testing
Testing real-time systems using UPPAAL

Formal methods and testing
How did you specify your test suite

Proceedings of the IEEE/ACM international conference on Automated software engineering
Mutation-based test case generation for simulink models

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Specifying and generating test cases using observer automata

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implementation is ANSI C, we developed a seamless testing environment based on our test specification language FQL. We demonstrate how to apply FQL to activity diagrams in such a way that FQL test specifications easily translate from UML to C code. Our approach does not require any additional glue or auxiliary code but is fully automatic except for straightforward source code annotations that link source and model. In this way, we can check for modeled but unimplemented behavior and vice versa, and we can also evaluate the degree of abstraction between model and implementation.