TEST SETS GENERATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING

被引：47

作者：

BOUGE, L

CHOQUET, N

FRIBOURG, L

GAUDEL, MC

机构：

[1] UNIV PARIS 12, F-94010 CRETEIL, FRANCE

[2] LABS MARCOUSSIS, MARCOUSSIS, FRANCE

[3] UNIV PARIS 11, RECH INFORMAT LAB, F-91405 ORSAY, FRANCE

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 1986年 / 6卷 / 04期

关键词：

This research has been partially supported by CIT-Alcatel and the DAII contractn umber8 4.35.087;

D O I：

10.1016/0164-1212(86)90004-X

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：343 / 360

页数：18

共 46 条

[21]

Gerhart S. L., 1979, Computing systems reliability, P66

[22]

GIARRATANA V, 1976, 5TH P MFCS GDANSK

[23]

GOODENOUGH JB, 1975, IEEE T SOFT ENG, V1

[24]

GOURLAY JS, 1983, IEEE T SOFT ENG, V9

[25] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION [J].

GUTTAG, JV ;

HOROWITZ, E ;

MUSSER, DR .

COMMUNICATIONS OF THE ACM, 1978, 21 (12) :1048-1064

[26]

GUTTAG JV, 1978, ACTA INFORMATICA, V10

[27]

HAMLET RG, 1975, TR388 U MAR REPT

[28]

Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816

[29] COMPLETENESS CRITERIA FOR TESTING ELEMENTARY PROGRAM FUNCTIONS - WEAK MUTATION TESTING AND COMPLETENESS OF TEST SETS [J].

HOWDEN, WE .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) :371-379

[30] FUNCTIONAL PROGRAM TESTING [J].

HOWDEN, WE .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) :162-169

← 1 2 3 4 5 →