Paper Info
Title
Automated state-based online testing real-time embedded software with RTEdge
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.
Year
Venue
Keywords
2015
MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
State-based Testing,Online Testing,Real-time,Embedded,RTEdge
Field
DocType
Citations 
Test harness,Test suite,Test Management Approach,Computer science,Manual testing,Real-time computing,Regression testing,White-box testing,Model-based testing,Embedded system,Keyword-driven testing
Conference
2
PageRank 
References 
Authors
0.36
23
3
Name
Order
Citations
PageRank
Wafa Hasanain140.74
Yvan Labiche22874143.30
Serban Gheorghe320.36