Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
An introduction to the testing and test control notation (TTCN-3)
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Eclipse Modeling Framework
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Combining test case generation for component and integration testing
Proceedings of the 3rd international workshop on Advances in model-based testing
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
Test case instantiation is the transformation of abstract test cases into executable test scripts. Abstract test cases are either created during model based test case generation or are manually defined in a suitable modeling notation. The transformation varies depending on different testing concerns, such as test goal, test setup and test phase. Thus, for each testing concern a new transformation must be defined. This paper introduces AspectT, an aspect-oriented language for the instantiation of abstract test cases. We reduce the effort of test case instantiation by modularizing testing concerns in the form of aspects to enable their reuse in different testing contexts. The approach is implemented and integrated in an existing testing framework and has been successfully applied to test an electronic control unit of an automotive infotainment system at BMW Group.