Data flow testing in STAD

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.

[1]  Elaine J. Weyuker.  The Complexity of Data Flow Criteria for Test Data Selection , 1984, Inf. Process. Lett..

[2]  B. Korel,et al.  A tool for data flow oriented program testing , 1985 .

[3]  Martin R. Woodward,et al.  An integrated system for program testing using weak mutation and data flow analysis , 1985, ICSE '85.

[4]  Simeon C. Ntafos,et al.  On Required Element Testing , 1984, IEEE Transactions on Software Engineering.

[5]  Elaine J. Weyuker,et al.  Data flow analysis techniques for test data selection , 2015, ICSE '82.

[6]  Leon J. Osterweil,et al.  Data Flow Analysis in Software Reliability , 1976, CSUR.

[7]  Richard E. Fairley.  An experimental program-testing facility , 1975, IEEE Transactions on Software Engineering.

[8]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[9]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

[10]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[11]  Elaine J. Weyuker,et al.  A data flow testing tool , 1985 .

[12]  Janusz W. Laski.  An Algorithm for the Derivation of Codefinitions in Computer Programs , 1986, Inf. Process. Lett..

[13]  Simeon Ntafos,et al.  RETS: REQUIRED ELEMENT TESTING SYSTEM. , 1983 .

[14]  Janusz W. Laski,et al.  A Data Flow Oriented Program Testing Strategy , 1983, IEEE Transactions on Software Engineering.

[15]  Robert L. Glass,et al.  Persistent Software Errors , 1981, IEEE Transactions on Software Engineering.

[16]  P. M. Herman,et al.  A Data Flow Analysis Approach to Program Testing , 1976, Aust. Comput. J..

[17]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[18]  Bogdan Korel.  A Program Error Localization Expert System , 1986, Other Conferences.

[19]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[20]  Peter Schnupp,et al.  Test case generation using Prolog , 1985, ICSE '85.

[21]  Janusz W. Laski.  On data flow guided program testing , 1982, SIGP.

[22]  Richard E. Fairley.  Ada debugging and testing support environments , 1980, SIGPLAN '80.

[23]  C. V. Ramamoorthy,et al.  Testing large software with automated software evaluation systems , 1975 .

[24]  R. G. Dromey,et al.  How to Solve it by Computer , 1982 .

[25]  Matthew S. Hecht,et al.  Flow Analysis of Computer Programs , 1977 .