Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleNovember 2014
Test generation with Satisfiability Modulo Theories solvers in model-based testing
Software Testing, Verification & Reliability (STVR), Volume 24, Issue 7Pages 499–531https://doi.org/10.1002/stvr.1537This paper presents a framework for UML/OCL model test generation. This framework is based on three parts. The first part is the transformation from a UML/OCL model into a Satisfiability Modulo Theories SMT instance. The metamodel associated with the ...
- ArticleJuly 2013
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13: Proceedings of the 9th European conference on Modelling Foundations and ApplicationsPages 134–151https://doi.org/10.1007/978-3-642-39013-5_10Model-Based Testing (MBT) uses a model of the System Under Test as reference to automatically derive test cases. Since it is often not reasonable to cover all the behaviours formalized in the model, coverage criteria are applied to select a relevant ...
- ArticleMarch 2013
Strategies Comparison of Test Generation from UML Using SMT Solver
ICSTW '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation WorkshopsPages 224–229https://doi.org/10.1109/ICSTW.2013.71A principal challenge in Model-Based Testing is to generate tests within a reasonable time and without reducing the test coverage when the size and complexity of the model increases. In the last few years, SMT solvers have become able to solve complex ...
- research-articleSeptember 2012
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
OCL '12: Proceedings of the 12th Workshop on OCL and Textual ModellingPages 55–60https://doi.org/10.1145/2428516.2428526In the Model Based Testing domain, one of the bottleneck elements is the tests generation (time or reachability). In literature, one of the efficient solutions to evaluate a formula is to use an SMT solver. However the input language, SMT-lib, used by ...
