Art of Software Testing
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
JUMBL: A Tool for Model-Based Statistical Testing
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
Automating UML models merge for web services testing
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Consistency, Independence and Consequences in UML and OCL Models
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Automated UML models merging for web services testing
International Journal of Web and Grid Services
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Using UML(VR) for the support of the test data generation
International Journal of Critical Computer-Based Systems
Robustness testing for software components
Science of Computer Programming
Proving and visualizing OCL invariant independence by automatically generated test cases
TAP'10 Proceedings of the 4th international conference on Tests and proofs
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
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
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
Measuring test properties coverage for evaluating UML/OCL model-based tests
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
Proceedings of the 12th Workshop on OCL and Textual Modelling
Identification and selection of interaction test scenarios for integration testing
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
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 Applications
Modeling test cases for security protocols with SecureMDD
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example.