Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms

被引：0

作者：

Derderian, Karnig ^{[1
]}

Meravo, Mercedes G. ^{[2
]}

Hierons, Robert M. ^{[1
]}

Nunez, Manuel ^{[2
]}

机构：

[1] Brunel Univ, Dept Informat Syst & Comp, Uxbridge UB8 3PH, Middx, England

[2] Univ Complutense Madrid, Dept Sistemas Informaticos & Computac, Madrid, Spain

来源：

BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 | 2009年 / 5517卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Generating test data is computationally expensive. This paper improves a framework that addresses this issue by representing the test data generation problem as an optimisation problem and uses heuristics to help generate test cases. The paper considers the temporal constraints and behavior of a certain class of (timed) finite state machines. A very simple fitness function is defined that can be used with several evolutionary search techniques and automated test case generation tools.

引用

页码：327 / +

页数：2

共 8 条

[1] [Anonymous], THESIS BRUNEL U
[2] Derderian K, 2006, COMPUT J, V49, P331, DOI [10.1093/comjnl/bx1003, 10.1093/comjnl/bxl003]
[3] DERDERIAN K, 2009, AIDING TEST CASE GEN
[4] Duale AY, 2000, INT FED INFO PROC, V48, P91
[5] A strategy for using genetic algorithms to automate branch and fault-based testing
Jones, BF
Eyres, DE
Sthamer, HH
[J]. COMPUTER JOURNAL, 1998, 41 (02) : 98 - 107
[6] Merayo MG, 2007, TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, P149, DOI 10.1109/TASE.2007.29
[7] Generating software test data by evolution
Michael, CC
McGraw, G
Schatz, MA
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (12) : 1085 - 1110
[8] Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines
Ramalingom, T
Thulasiraman, K
Das, A
[J]. COMPUTER COMMUNICATIONS, 2003, 26 (14) : 1622 - 1633

← 1 →