AIDA–A dynamic data flow anomaly detection system for pascal programs
暂无分享,去创建一个
This paper presents a description of, and experience in using, AIDA, an automated instrumentation system to perform data flow analysis for Pascal programs. AIDA is capable of detecting not only data flow anomalies, but also certain kinds of errors. It is a useful software testing and development tool for Pascal programs. The associated implementation problems and their solutions are presented.
[1] J. C. Huang,et al. Detection of Data Flow Anomaly Through Program Instrumentation , 1979, IEEE Transactions on Software Engineering.
[2] Leon J. Osterweil,et al. Dave—a validation error detection and documentation system for fortran programs , 1976, Softw. Pract. Exp..