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 条

[1]

ADRION WR, 1982, ACM COMP SURV, V14

[2]

BIDOIT M, 1984, P INT C SOFT ENG ORL

[3]

BIDOIT M, 1981, GRECO1581 REPT

[4]

BIEBOW B, 1985, P COLL SOFT ENG BERL

[5] A CONTRIBUTION TO THE THEORY OF PROGRAM TESTING [J].

BOUGE, L .

THEORETICAL COMPUTER SCIENCE, 1985, 37 (02) :151-181

[6]

BOUGE L, 1982, THESIS U PARIS 6 PAR

[7]

BROWN CA, SEARCH REARRANGEMENT

[8]

Budd T. A., 1981, Computer Program Testing. Proceedings of the Summer School on Computer Program Testing, P129

[9] 2 NOTIONS OF CORRECTNESS AND THEIR RELATION TO TESTING [J].

BUDD, TA ;

ANGLUIN, D .

ACTA INFORMATICA, 1982, 18 (01) :31-45

[10]

BUDD TA, 1980, 7TH P ACM S PRINC PR, P220

← 1 2 3 4 5 →