Strategies Comparison of Test Generation from UML Using SMT Solver

Cantenot, Jérôme; Ambert, Fabrice; Bouquet, Fabrice

doi:10.1109/icstw.2013.71

Search citation statements

Order By: Relevance

Paper Sections

Select...

Summary Of the 2013 Edition1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

2014

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first one was given by Christophe Alias, from ENS-Lyon, who gave a demonstration of RANK, a tool that can be used to decide the termination of flowchart programs, and also compute their computational complexity, using ranking functions [9]. The last presentation was given by Jérôme Cantenot, from Femto-ST, who presented an experimental comparison of various strategies for model-based test generation from UML models using SMT solvers [10]. This session was concluded with the announcement of the next edition of the workshop, co-located with ICST 2014 in Cleveland, Ohio.…”

Section: Summary Of the 2013 Editionmentioning

confidence: 99%

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Cadar

Dadeau

2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

Section: Summary Of the 2013 Editionmentioning

confidence: 99%

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Cadar

Dadeau

2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

Model Dependent Test Coverage Variabilities

Schwarzl

Brandl

2014

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation

View full text Add to dashboard Cite

During testing as much functionality of the System Under Test (SUT) as possible shall be executed in order to determine its functional correctness. The test coverage on behavioral models is a metric for such a determination, but can be misleading if the wrong model is used for its calculation. For this reason the model dependent test coverage variabilities have to be known. In this paper we investigate the impact of model transformation steps from Unified Modeling Language (UML) state machines to Extended Symbolic Transition Systems (ESTSs) on the test coverage and discuss variabilities if other models like Extended Finite State Machines (EFSMs) are used. We qualitatively compare the syntax of models used for model-based testing and their coverage variabilities. We propose solutions to mitigate them in order to support model selection. The conducted analysis identifies the model syntax elements causing the coverage variabilities, which are experimentally confirmed on an industrial use case using the test case generation tool STATION.

show abstract

Strategies Comparison of Test Generation from UML Using SMT Solver

Cited by 2 publications

References 16 publications

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Model Dependent Test Coverage Variabilities

Contact Info

Product

Resources

About