Loading...
Please wait, while we are loading the content...
Exploiting aspects in model-based testing
| Content Provider | ACM Digital Library |
|---|---|
| Author | Vain, Jüri Sarna, Külli |
| Abstract | We introduce an approach to exploiting aspects in model-based testing and describe how an aspect-oriented model for testing purposes can be constructed. At first, we introduce the aspects to be addressed in testing safety and time critical systems and describe how the aspects enhance in defining test cases. We present a way how behavioural aspect models are defined formally as refinements of extended timed automata models, and how the aspect models are used for generating abstract online testers. Applying these techniques aspect-wise allows one to structure the model-based testing process in terms of well-defined model transformation steps. The approach is illustrated with an ATM case study. |
| Starting Page | 45 |
| Ending Page | 48 |
| Page Count | 4 |
| File Format | |
| ISBN | 9781450310994 |
| DOI | 10.1145/2162010.2162023 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2012-03-26 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Aspect oriented modelling Model refinement Model-based testing Test generation |
| Content Type | Text |
| Resource Type | Article |
