Developing an architecture validation suite: application to the PowerPC architecture
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
An RTL Abstraction Technique for Processor MicroarchitectureValidation and Test Generation
Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
Semi-formal test generation with genevieve
Proceedings of the 38th annual Design Automation Conference
Automated Test and Oracle Generation for Smart-Card Applications
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Using a model-based test generator to test for standard conformance
IBM Systems Journal
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
A schema language for coordinating construction and composition of partial behavior descriptions
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Combining test case generation for component and integration testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Abstractness, specificity, and complexity in software design
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Utilizing user interface models for automated instantiation and execution of system tests
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Model-based test instantiation for applications with user interfaces
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Model-based testing in legacy software modernization: an experience report
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Contributions of model checking and CoFI methodology to the development of space embedded software
Empirical Software Engineering
| Hi-index | 0.00 |
The idea of model-based testing is to compare the I/O behavior of an explicit behavior model with that of a system under test. This requires the model to be valid. If the model is a simplification of the SUT, then it is easier to check the model and use it for subsequent test case generation than to directly check the SUT. In this case, the different levels of abstraction must be bridged. Not surprisingly, experience shows that choosing the right level of abstraction is crucial to the success of model-based testing. We argue that models for specification purposes, models for test generation, and models for full code generation are likely to be different. The paper classifies and discusses different abstractions. It is intended as a step towards guidelines for those who build behavior models to the end of testing.