Aliki Tsiolakis
Model-based Test Data Generation for Testing Integrated
Modular Avionics
Dagstuhl Seminar Perspectives of Model-Based Testing,
Schloß Dagstuhl, 5.-10. September 2004.
ABSTRACT
Next generation aircrafts use generic computing resources
based on the concept of Integrated Modular Avionics
(IMA). These so-called IMA Modules provide standardised
hardware and interfaces as well as a common standardised
operating system. IMA can achieve a high degree of
functional and physical integration by ensuring spatial and
temporal partitioning and deterministic scheduling of
avionics applications which run concurrently but without
disturbing each other on one IMA module. Consequently,
using IMA technology has an important impact on
verification, validation and testing activities.
The
presentation outlines a strategy for testing IMA starting
with single IMA modules and continuing with networks of IMA
modules. In particular, it has to be verified that
inter-module and intra-module communication flow complies
with the application specific configuration and the defined
module performance. For testing all possible communication
flows, a test data generation algorithm is suggested which
considers the I/O and scheduling configuration of the IMA
modules and the performance information about the IMA
modules and the network. To reduce the number of resulting
test cases or to sort them according to their importance
for testing, the algorithm can take restriction functions
or heuristic functions into consideration which help to
focus on a specific test aim. For test execution, a test
setting is suggested where test control specifications load
the test cases into the test applications using specific
communication links. Similarly, the test execution logs are
transmitted to test checker specifications for evaluation
of the overall test result. First evaluations have shown
promising results that suggest future investigations
particularly in the area of restriction and heuristic
functions and considerations of additional parameters.
SLIDES [.pdf]
BIBTEX
@InProceedings{Tsi04,
author = {Aliki Tsiolakis},
title = {Model-based Test Data Generation for Testing Integrated Modular Avionics},
booktitle = {Dagstuhl Seminar Perspectives of Model-based Testing},
year = {2004},
month = sep
}
LINKS Dagstuhl Seminar 04371:
Perspectives of Model-based Testing
