Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Practical implications of traceability
Software—Practice & Experience
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
SCENTOR: Scenario-Based Testing of E-Business Applications
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
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
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
Proceedings of the 19th IEEE international conference on Automated software engineering
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
JCrasher: an automatic robustness tester for Java
Software—Practice & Experience
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
A Systematic Approach to Generate Inputs to Test UML Design Models
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Towards leveraging model transformation to support model-based testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Automated model-based testing using the UML testing profile and QVT
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Software and Systems Modeling (SoSyM)
ModelTester: a tool for teaching model-based testing
Journal of Computing Sciences in Colleges
Automated generation of test oracles using a model-driven approach
Information and Software Technology
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic
International Journal of Embedded and Real-Time Communication Systems
Hi-index | 0.00 |
Practitioners regard software testing as the central means for ensuring that a system behaves as expected. Due to the recent widespread adoption of model-driven development (MDD), code is no longer the single source for selecting test cases. Testing against original expectations can be done with model-based testing that adopts high-level models as the basis for test generation. In addition to test generation, challenges to model-based testing include creation and maintenance of traceability information among test-related artifacts. Traceability is required to support activities such as result evaluation, regression testing and coverage analysis. MDD and model transformation solutions address the traceability problem by creating relationships among transformed artifacts throughout the transformation process. This paper proposes an approach that leverages model transformation traceability techniques to create fine-grained relationships among model-based testing artifacts. Relationships are created during the test generation process. Their fine granularity enables the support for result evaluation, coverage analysis and regression testing.