One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Proceedings of the 27th international conference on Software engineering
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
On the integration of design and test: a model-based approach for embedded systems
Proceedings of the 2006 international workshop on Automation of software test
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A model-based approach to automated testing of access control policies
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
AppsPlayground: automatic security analysis of smartphone applications
Proceedings of the third ACM conference on Data and application security and privacy
| Hi-index | 0.00 |
Model-based testing relies on abstract behavior models for test case generation. These models are abstractions, i.e., simplifications. For deterministic reactive systems, test cases are sequences of input and expected output. To bridge the different levels of abstraction, input must be concretized before being applied to the system under test. The system’s output must then be abstracted before being compared to the output of the model.The concepts are discussed along the lines of a feasibility study, an inhouse smart card case study. We describe the modeling concepts of the CASE tool AutoFocus and an approach to model-based test case generation that is based on symbolic execution with Constraint Logic Programming.Different search strategies and algorithms for test case generation are discussed. Besides validating the model itself, generated test cases were used to verify the actual hardware with respect to these traces.