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

A Novel Approach for Environment Model-Based Functional Testing of Reactive Systems

Authors:
Annamária Szenkovits
Hunor Jakab

Keywords: Reactive systems; Environment model-based testing; Evolutionary testing.

Abstract:
Automating the test process of safety-critical reactive systems is an important problem in the software testing domain. One of the major difficulties in achieving this is that test sequences cannot be generated without feedback from the environment due to the reactive nature of the system. A common solution is to model the environment and manually fine-tune the model to produce test cases that target specific important usage patterns. This paper presents a novel approach to environment-based functional testing that automatically performs the tuning of the environment model such that the generated test cases cover important regions of the input space. Our method is based on evolutionary techniques with the goal of optimizing the weights associated with choice nodes and variable bounds in an environment model written in the Lutin language. An experimental test-bed is proposed based on SCADE models of the Transmission Beacon Locomotive 1 (TBL1) system to validate our approach in a realistic environment.

Pages: 36 to 39

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