A Tool To Generate Test Case Based Haskell Language

被引：0

作者：

Bao, Xiaoan ^{[1
]}

Zhang, Na ^{[1
]}

Ding, Zuohua ^{[2
]}

机构：

[1] Zhejiang Sci Tech Univ, Sch Informat & Elect, Hangzhou, Zhejiang, Peoples R China

[2] Zhejiang Sci Tech Univ, Sch Sci, Hangzhou, Zhejiang, Peoples R China

来源：

2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 2 | 2011年

关键词：

software testing; execution tree; test case;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Software testing is an important phase in the life cycle of software which is one way to Assurant quality of software. The first step of software testing is to create test cases. The existing method to generate test cases may encounter two problems: test cases not feasible and state explosion problem. The tools we developed: first, according to the semantics of language, we translate program into a execution tree; then, to decompose input domain in the way top-down with path, Finally, output test cases according to the result of decomposition. Our tool is developed with Haskell Language. Our method can effectively solve the above two problems.

引用

页码：253 / 256

页数：4

共 5 条

[1] [Anonymous], 2004, MCMINN P SEARCH BASE
[2] AUTOMATIC-GENERATION OF PATH COVERS BASED ON THE CONTROL FLOW-ANALYSIS OF COMPUTER-PROGRAMS
BERTOLINO, A
MARRE, M
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 885 - 899
[3] Chen T Y., 2004, TANG METAMORPHIC TES
[4] The AETG system: An approach to testing based on combinatorial design
Cohen, DM
Dalal, SR
Fredman, ML
Patton, GC
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (07) : 437 - 444
[5] [No title captured]

← 1 →