AN APPLICABLE FAMILY OF DATA FLOW TESTING CRITERIA

被引:238
作者
FRANKL, PG [1 ]
WEYUKER, EJ [1 ]
机构
[1] NYU, COURANT INST MATH SCI, DEPT COMP SCI, NEW YORK, NY 10012 USA
关键词
Manuscript received September 15; 1986. This research was supported in part by the National Science Foundation under Grant DCR8501614 and by the Ofice of Naval Research under Contract N00014-85-K-0414; P. G. Frank1 is with the Department of Electrical Engineering and Com- puter Science; Polytechnic University; Brooklyn; NY 11201. E. J. Weyuker is with the Department of Computer Science; Courant Institute of Mathematical Sciences; New York University; New York; NY 10012. IEEE Log Number 8823071;
D O I
10.1109/32.6194
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
23
引用
收藏
页码:1483 / 1498
页数:16
相关论文
共 23 条
[11]  
Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816
[12]  
HUANG JC, 1975, ACM COMPUT SURV, V7, P113
[13]  
KOREL B, 1985, DEC P IEEE SOFTF 2 S
[14]   A DATA FLOW ORIENTED PROGRAM TESTING STRATEGY [J].
LASKI, JW ;
KOREL, B .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) :347-354
[15]  
MILLER EF, 1974, DIGEST COMPCON74, P161
[16]   ON REQUIRED ELEMENT TESTING [J].
NTAFOS, SC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) :795-803
[17]  
Osterweil L. J., 1976, Software - Practice and Experience, V6, P473, DOI 10.1002/spe.4380060405
[18]   SELECTING SOFTWARE TEST DATA USING DATA FLOW INFORMATION [J].
RAPPS, S ;
WEYUKER, EJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) :367-375
[19]  
Rapps S., 1982, Sixth International Conference on Software Engineering, P272
[20]  
SCHAEFFER M, 1973, MATH THEORY GLOBAL P