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

被引：0
|
作者：
Hasanain, Wafa [1 ]
Labiche, Yvan [1 ]
Gheorghe, Serban [2 ]
机构：
[1] Carleton Univ, Syst & Comp Engn, 1125 Colonel Dr, Ottawa, ON, Canada
[2] Edgewater Comp Syst Inc, Ottawa, ON, Canada
来源：
MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT | 2015年
关键词：
State-based Testing; Online Testing; Real-time; Embedded; RTEdge;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：294 / 302
页数：9
相关论文
共 50 条
  • [1] AUTOMATED TESTING TECHNIQUES FOR REAL-TIME EMBEDDED SOFTWARE
    HENNELL, MA
    HEDLEY, D
    RIDDELL, IJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 244 - 253
  • [2] Real-time embedded software testing method based on extended finite state machine
    Yin, Yongfeng
    Liu, Bin
    Ni, Hongying
    JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2012, 23 (02) : 276 - 285
  • [3] Real-time embedded software testing method based on extended finite state machine
    Yongfeng Yin 1
    2.National Key Laboratory of Science and Technology on Avionics System Integration
    Journal of Systems Engineering and Electronics, 2012, 23 (02) : 276 - 285
  • [4] Environment modeling and simulation for automated testing of soft real-time embedded software
    Muhammad Zohaib Iqbal
    Andrea Arcuri
    Lionel Briand
    Software & Systems Modeling, 2015, 14 : 483 - 524
  • [5] Environment modeling and simulation for automated testing of soft real-time embedded software
    Iqbal, Muhammad Zohaib
    Arcuri, Andrea
    Briand, Lionel
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 483 - 524
  • [6] Testing and testing techniques for real-time embedded software systems
    Tracey, N
    McDermid, J
    MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 441 - 441
  • [7] New tools for testing real-time embedded software
    Crooks, R
    ELECTRONIC ENGINEERING, 1996, 68 (831): : 95 - &
  • [8] New tools for testing real-time embedded software
    Electronic Engineering (London), 1996, 68 (831):
  • [9] State-based opacity of labeled real-time automata
    Zhang, Kuize
    THEORETICAL COMPUTER SCIENCE, 2024, 987
  • [10] Cross-testing research of embedded real-time software
    He Fugui
    Hou Yibin
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 49 - 52
12345