DETECTION OF DATA FLOW ANOMALY THROUGH PROGRAM INSTRUMENTATION

被引：49

作者：

HUANG, JC

机构：

[1] Department of Computer Science, University of Houston, Houston

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1979年 / 5卷 / 03期

关键词：

data flow anomaly; error detection; Index Terms-Data flow; program analysis program instrumentation; program testing;

D O I：

10.1109/TSE.1979.234184

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A data flow anomaly in a program is an indication that a programming error might have been committed. This paper describes a method for detecting such an anomaly by means of program instrumentation. The method is conceptually simple, easy to use, easy to implement on a computer, and can be applied in conjunction with a conventional program test to achieve increased error-detection capability. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.

引用

页码：226 / 236

页数：11

共 29 条

[1]

Fosdick L.D., Osterweil L.J., Data flow analysis in software reliability, ACM Computing Surveys, 8, pp. 305-330, (1976)

[2]

Aho A.V., Ullman J.D., The Theory of Parsing, Translation, and Compiling, Vol. II: Compiling, (1972)

[3]

Schafer M., A Mathematical Theory of Global Program Optimization, (1973)

[4]

Hecht M.S., Ullman J.D., A simple algorithm for global data flow analysis problems, SIAM J. Computing, 4, pp. 519-532, (1975)

[5]

Kennedy K., A global flow analysis algorithm, Int J. Comput. Math., 3, pp. 5-15, (1971)

[6]

Kildall G.A., A unified approach to global programoptimization, Conf. Record ACM Symp. on Principles of Programming Languages, pp. 194-206, (1973)

[7]

Ullman J.D., Fast algorithm for the elimination of common subexpressions, Acta Informatica, 2, pp. 191-213, (1973)

[8]

Allen F.E., Cocke J., A program data flow analysis procedure, Commun. ACM, 19, pp. 137-147, (1976)

[9]

Aho A.V., Ullman J.D., The Theory of Parsing, Translation, and Compiling, Vol. I: Parsing, (1973)

[10]

Harrison M.A., Introduction to Switching and Automata Theory, (1965)

← 1 2 3 →