Towards a Framework for Constraint-Based Test Case Generation

被引：8

作者：

Degrave, Francois ^{[1
]}

Schrijvers, Tom ^{[2
]}

Vanhoof, Wim ^{[1
]}

机构：

[1] Univ Namur, Fac Comp Sci, Namur, Belgium

[2] Katholieke Univ Leuven, Dept Comp Sci, Leuven, Belgium

来源：

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 2010年 / 6037卷

关键词：

D O I：

10.1007/978-3-642-12592-8_10

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage. We develop our framework in the concrete context of an imperative language and show that the technique is sufficiently powerful to deal with arbitrary pointer-based data-structures allocated on the heap.

引用

页码：128 / +

页数：3

共 22 条

[1]

ALBERT E, 2009, TEST DATA GENERATION, P4

[2]

Ambert F, 2002, P FORM APPR TEST SOF, P105

[3]

[Anonymous], LNCS

[4] AUTOMATIC-GENERATION OF RANDOM SELF-CHECKING TEST CASES [J].

BIRD, DL ;

MUNOZ, CU .

IBM SYSTEMS JOURNAL, 1983, 22 (03) :229-245

[5] APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING [J].

CHILENSKI, JJ ;

MILLER, SP .

SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05) :193-200

[6]

Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817

[7] CONSTRAINT-BASED AUTOMATIC TEST DATA GENERATION [J].

DEMILLO, RA ;

OFFUTT, AJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (09) :900-910

[8]

DEMILLO RA, 1989, 11TH P INT C SOFT EN, P355

[9] AN EVALUATION OF RANDOM TESTING [J].

DURAN, JW ;

NTAFOS, SC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) :438-444

[10]

Ferguson R., 1996, ACM Transactions on Software Engineering and Methodology, V5, P63, DOI 10.1145/226155.226158

← 1 2 3 →