Accelerated model-based robustness testing of state machine implementations

Authors:
Patrick Heckeler;Hanno Eichelberger;Thomas Kropf;Jürgen Ruf;Stefan Huster;Sebastian Burg;Wolfgang Rosenstiel;Bastian Schlich
Affiliations:
University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;ABB Corporate Research Industrial Software Systems Program Wallstadter, Ladenburg, Germany
Venue:
ACM SIGAPP Applied Computing Review
Year:
2013

Citing 17
Cited 0

A methodology for controlling the size of a test suite

ACM Transactions on Software Engineering and Methodology (TOSEM)
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
XML: The Annotated Specification

XML: The Annotated Specification
Business Modeling With UML: Business Patterns at Work

Business Modeling With UML: Business Patterns at Work
Coverage Criteria for Logical Expressions

ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Automated-generating test case using UML statechart diagrams

SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Formal Test-Case Generation for UML Statecharts

ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Call Stack Coverage for Test Suite Reduction

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Introduction to Software Testing

Introduction to Software Testing
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems

Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
An empirical study of incorporating cost into test suite reduction and prioritization

Proceedings of the 2009 ACM symposium on Applied Computing
State Based Robustness Testing for Components

Electronic Notes in Theoretical Computer Science (ENTCS)
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Robustness testing for software components

Science of Computer Programming
µZ: an efficient engine for fixed points with constraints

CAV'11 Proceedings of the 23rd international conference on Computer aided verification
CoMA: conformance monitoring of java programs by abstract state machines

RV'11 Proceedings of the Second international conference on Runtime verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present an approach for accelerating model-based robustness testing of state-based software components. We use the Z3 SAT solver to derive executable test cases fully automatically from a state model based on a UML Statechart. The test cases are paths along the Statechart comprising states and transitions. The main advantage of our approach is an accelerated execution of the test cases by refining already reached states as starting points for further test cases using reverse execution. Furthermore, the presented approach is able to check whether a correct target state has been reached or not when executing the path-based test cases using runtime verification and therefore increases the test significance. The runtime verification is done without instrumenting the source code of the component under test.