DATA FLOW TESTING IN STAD

被引：6

作者：

LASKI, J ^{[1
]}

机构：

[1] OAKLAND UNIV,DEPT COMP SCI & ENGN,ROCHESTER,MI 48063

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 1990年 / 12卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0164-1212(90)90062-Q

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The System for Testing And Debugging (STAD) is an experimental installation for the investigation of the use of data flow patterns in the program for testing and debugging. Its main parts are a static analyzer, a test monitor and a knowledge-based debugger. The testing component, described in this article, supports the strategies of chain, U- and L-context testing. The first one exercises exchange patterns between single variables in the program, while the others involve tuples of variables. The advantages and drawbacks of the method and its relation to black-box testing are discussed. © 1990.

引用

页码：3 / 14

页数：12

共 50 条

[21] A DATA FLOW ORIENTED PROGRAM TESTING STRATEGY
LASKI, JW
KOREL, B
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) : 347 - 354
[22] MORE EXPERIENCE WITH DATA-FLOW TESTING
WEYUKER, EJ
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (09) : 912 - 919
[23] Object-oriented data flow testing
Chang, KN
Kung, DC
Hsia, P
Toyoshima, Y
Chen, C
COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 187 - 190
[24] 'BEROEMDE STAD'
JELLEMA, CO
MAATSTAF, 1994, 42 (11-12): : 78 - 78
[25] AN EXPERIMENTAL COMPARISON OF THE EFFECTIVENESS OF BRANCH TESTING AND DATA-FLOW TESTING
FRANKL, PG
WEISS, SN
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (08) : 774 - 787
[26] 'TERUG IN DE STAD'
MEIJSING, G
MAATSTAF, 1991, 39 (05): : 42 - 47
[27] Data Flow Analysis and Testing of Abstract State Machines
Cavarra, Alessandra
ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 85 - 97
[28] An exact array reference analysis for data flow testing
Forgacs, I
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 565 - 574
[29] Control and data flow testing on function block diagrams
Jee, E
Yoo, J
Cha, S
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 67 - 80
[30] Impact of "An Applicable Family of Data Flow Testing Criteria"
Weyuker, Elaine J.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (03) : 737 - 740

← 1 2 3 4 5 →