Improving evolutionary real-time testing by seeding structural test data

被引:2
作者
Tlili, Marouane
Sthamer, Harmen
Wappler, Stefan
Wegener, Joachim
机构
来源
2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6 | 2006年
关键词
D O I
10.1109/CEC.2006.1688405
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Timing constraints in embedded systems must be satisfied so that real-time embedded systems work properly and safely. Execution time testing involves finding the best and worst case execution times. Evolutionary testing is used to dynamically search for the extreme execution times. During the evolutionary search, some parts of the source code are never accessed. Moreover, it turns out that the search delivers different extreme execution times in a high number of generations. We propose a new approach which makes use of seeding the evolutionary algorithm with test data achieved a high structural coverage. This new method leads to raise the confidence in the results and to gain in efficiency in terms of number of generations needed.
引用
收藏
页码:885 / 891
页数:7
相关论文
共 13 条
[1]  
BAXTER I, 2002, INT SOFTWARE QUALITY
[2]  
COSTA JEC, 2004, INPUT GENERATION PAT
[3]  
GROSS HG, 2003, P INT C INF TECHN PR
[4]  
HAUBELT C, 2003, EVOLUTIONARY ALGORIT, P5
[5]  
MALAIYA Y, 1994, P 5 INT S SOFTW REL, P69
[6]   Data generation for path testing [J].
Mansour, N ;
Salame, M .
SOFTWARE QUALITY JOURNAL, 2004, 12 (02) :121-136
[7]  
Pohlheim H., GEATBX GENETIC EVOLU
[8]  
POHLHEIM H, 2001, 2001 GEN EV COMP C L, P331
[9]   Testing the results of static worst-case execution-time analysis [J].
Puschner, P ;
Nossal, R .
19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, :134-143
[10]   Test case design based on Z and the classification-tree method [J].
Singh, H ;
Conrad, M ;
Sadeghipour, S .
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, :81-90