Automated State-based Online Testing Real-time Embedded Software with RTEdge

Wafa Hasanain, Yvan Labiche, Serban Gheorghe

2015

Abstract

Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing algorithm that is implemented in the state-based modeling tool RTEdge. Two case studies show that our online testing algorithm produces a test suite that achieves high model coverage, thus facilitating the automated verification of real-time embedded software.

Paper Citation

in Harvard Style

Hasanain W., Labiche Y. and Gheorghe S. (2015). Automated State-based Online Testing Real-time Embedded Software with RTEdge . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 294-302. DOI: 10.5220/0005243402940302

in Bibtex Style

@conference{modelsward15,
author={Wafa Hasanain and Yvan Labiche and Serban Gheorghe},
title={Automated State-based Online Testing Real-time Embedded Software with RTEdge},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={294-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005243402940302},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Automated State-based Online Testing Real-time Embedded Software with RTEdge
SN - 978-989-758-083-3
AU - Hasanain W.
AU - Labiche Y.
AU - Gheorghe S.
PY - 2015
SP - 294
EP - 302
DO - 10.5220/0005243402940302