Static- and dynamic consistency analysis of UML state chart models

Authors:
Christian Schwarzl;Bernhard Peischl
Affiliations:
Virtual Vehicle, Vehicle Electrics, Electronics and Software, Graz, Austria;Graz University of Technology, Institute for Software Technology, Graz, Austria
Venue:
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Year:
2010

Citing 11
Cited 3

Test Generation with Inputs, Outputs, and Quiescence

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
STG: A Symbolic Test Generation Tool

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models

IEEE Transactions on Computers
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
A UML model consistency verification approach based on meta-modeling formalization

Proceedings of the 2006 ACM symposium on Applied computing
Querying UML Models using OCL and Prolog: A Performance Study

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Checking Model Consistency Using Data-Flow Testing

APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation

QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems

QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Model checking dynamic UML consistency

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Test generation based on symbolic specifications

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

A toolchain for the detection of structural and behavioral latent system properties

Proceedings of the 14th international conference on Model driven engineering languages and systems
Compositional random testing using extended symbolic transition systems

ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Towards a generic verification methodology for system models

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML state chart models describing the behavior of a system can be used as a formal specification thereof. The existence of advanced modeling tools allows for model simulation and enables the execution of manually created tests on the models. In this work the usage of static and dynamic model analysis techniques is proposed to reveal errors in these models. The static analysis focuses on the syntax, communication structure and non-determinism. The dynamic analysis is based on a random test approach and can reveal bugs like deadlocks and inter-model loops. Further the data generated during the dynamic analysis allows for additional correctness checks such as e.g. the number or lengths of paths. The presented approach is implemented in a prototype and revealed several bugs in an industrial case study not found during simulation and manual model testing.