Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Formalization of Software Testing Criteria using the Z Notation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
A new verification method for embedded systems
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
A Practical Guide to SysML: The Systems Modeling Language
A Practical Guide to SysML: The Systems Modeling Language
Simulated Satisfaction of Coverage Criteria on UML State Machines
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
| Hi-index | 0.00 |
Model-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 subset of model behaviours. In this paper, we propose a dedicated test coverage criterion, based on Def-Use criteria on signal exchange, to implement MBT approach from Systems Modeling Language (SysML) test models to validate mechatronic systems. This novel criterion is introduced and the relevance of the approach from SysML models is discussed regarding results obtained with a dedicated MBT toolchain implementing this criterion.