Model transformations to satisfy all-configurations-transitions on statecharts

Authors:
Siamak Haschemi
Affiliations:
Humboldt Universität zu Berlin, Berlin, Germany
Venue:
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Year:
2009

Citing 10
Cited 1

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Using On-The-Fly Verification Techniques for the Generation of test Suites

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Confirming Configurations in EFSM Testing

IEEE Transactions on Software Engineering
Testability Transformation

IEEE Transactions on Software Engineering
A Practical Approach for Automated Test Case Generation using Statecharts

COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
Improving test coverage for UML state machines using transition instrumentation

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Model transformation testing: the state of the art

Proceedings of the First Workshop on the Analysis of Model Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

Existing applicable coverage criteria in model-based testing for statecharts do not require test suites to include all transitions between state configurations. This excludes potentially important test cases, reduces the quality of the generated test suite, and leaves parts of the system-under-test untested. We propose a new coverage criterion called All-Configurations-Transitions, which includes these missing test cases and propose test model transformation to enable existing test generators to satisfy the criterion. The new criterion improves the quality of generated test suites for statecharts using parallelism and reduces the amount of untested functionality of the system-under-test.