A DATA FLOW ORIENTED PROGRAM TESTING STRATEGY

被引：149

作者：

LASKI, JW

KOREL, B

机构：

来源：

关键词：

D O I：

10.1109/TSE.1983.236871

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：347 / 354

页数：8

共 22 条

[1] PROGRAM DATA FLOW ANALYSIS PROCEDURE [J].

ALLEN, FE ;

COCKE, J .

[2]

ALLEN FE, 1972, BASIS PROGRAM OPTIMI, P385

[3] PRACTICAL INTER-PROCEDURAL DATA FLOW ANALYSIS ALGORITHM [J].

BARTH, JM .

[4]

FOSDICK LD, 1976, COMPUT SURV, V8, P305, DOI 10.1145/356674.356676

[5]

GERHART SL, 1976, IEEE T SOFTWARE ENG, V3, P195

[6]

Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836

[7] TESTING PROGRAMS WITH FINITE SETS OF DATA [J].

HAMLET, RG .

[8]

Hecht M. S., 1975, SIAM Journal on Computing, V4, P519, DOI 10.1137/0204044

[9] CHARACTERIZATIONS OF REDUCIBLE FLOW GRAPHS [J].

HECHT, MS ;

ULLMAN, JD .

[10]

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