Exploiting aspects in model-based testing

Authors:
Külli Sarna;Jüri Vain
Affiliations:
ELIKO Competence Centre in Electronics-, Info- and Communication Technologies, Tallinn, Estonia;Tallinn University of Technology, Tallinn, Estonia
Venue:
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Year:
2012

Citing 4
Cited 0

Requirements-based test case specification by using information from model construction

Proceedings of the 3rd international workshop on Automation of software test
Aspect-Oriented Requirements Engineering: An Introduction

RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Compositional verification of events and observers: (summary)

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
Aspect-oriented design with reusable aspect models

Transactions on aspect-oriented software development VII

Quantified Score

Hi-index	0.00

Visualization

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.