A rigorous approach towards test case generation

被引：21

作者：

Ding, Zuohua ^{[1
,2
]}

Zhang, Kao ^{[1
]}

Hu, Jueliang ^{[1
]}

机构：

[1] Zhejiang Sci Tech Univ, Ctr Math Comp & Software Engn, Hangzhou 310018, Zhejiang, Peoples R China

[2] Univ S Florida, Natl Inst Syst Test & Product, Tampa, FL 33620 USA

来源：

INFORMATION SCIENCES | 2008年 / 178卷 / 21期

关键词：

software testing; sequential programs; concurrent programs; condition calculation; SYN-sequence;

D O I：

10.1016/j.ins.2008.06.020

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a method to generate test cases for sequential programs and concurrent programs written in a flow based program language. Test cases of sequential programs are generated based on condition calculation, and can be combined together to form SYN-sequences for concurrent program testing. Semantics of the language provides an infrastructure for the test case generation, and thus our method may be considered as a rigorous and systematic approach to the program testing. Compared with some formal testing methods, our method can avoid hitting state explosion problem in the test formation. Besides, the complexity analysis reveals that our method is time saving. Our method has been applied to generate test cases for PPP over ATM, a subsystem of IAD that runs data and voice over DSL. (C) 2008 Elsevier Inc. All rights reserved.

引用

页码：4057 / 4079

页数：23

共 42 条

[1]

Ammann P. E., 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, P239, DOI 10.1109/HASE.1999.809499

[2]

[Anonymous], P 6 ACM SIGSOFT INT

[3]

APT KR, 1983, P WORKSH PROGR LOG P

[4]

ARTHO C, 2005, THEORETICAL COMPUTER, V336