Home // VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle // View article

Aspect-Oriented Testing of a Rehabilitation System

Authors:
Külli Sarna
Jüri Vain

Keywords: aspect-oriented testing; model-based testing; test model design; test generation.

Abstract:
The paper focuses on modularizing test models by adapting aspect-oriented modelling techniques. Model-based testing is an unavoidable part of contemporary model-driven software processes. The essence of model-based testing is to provide methods and tools to validate software systems by generating test cases systematically from models. From the practical usage point of view, it is critical to construct models that capture the essential aspects of the system under test. The proposed test design approach allows systematic separation of testing concerns, that, in turn, helps to overcome the complexity issues. Also, verification conditions are proposed to ensure the correctness of derived aspect test models and their compatibility with base test models. We demonstrate the technique of test model construction using timed automata models and illustrate it with a home rehabilitation system case study.

Pages: 73 to 78

Copyright: Copyright (c) IARIA, 2014

Publication date: October 12, 2014

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-370-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014