Exploring dataflow testing of arrays

A scheme is presented for constructing prototype testing tools to experiment with issues in data-flow testing of arrays. Data-flow testing is a variant of path testing that falls between the extremes of simple run-time instrumentation, and full path testing. In data-flow testing, the paths selected...

Full description

Saved in:
Bibliographic Details
Published inProceedings of 1993 15th International Conference on Software Engineering pp. 118 - 129
Main Authors Hamlet, D., Gifford, B., Nikolik, B.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1993
Subjects
Automatic testing
Computer science
Flow graphs
Instruments
Iterative algorithms
Program processors
Prototypes
Runtime
Software quality
Software testing
Online AccessGet full text
ISBN9780818637001
0818637005
ISSN0270-5257
DOI10.1109/ICSE.1993.346051

Cover

More Information
Summary:A scheme is presented for constructing prototype testing tools to experiment with issues in data-flow testing of arrays. Data-flow testing is a variant of path testing that falls between the extremes of simple run-time instrumentation, and full path testing. In data-flow testing, the paths selected for exercising are variants of def/use (DU) paths for program variables. Tool support for data-flow testing takes the form of static program analysis followed by run-time instrumentation. The output from a test analyzer is a list of untested, possible DU associations. With the novel approach to constructing testing-supporting tools, it is easy to experiment with new analysis methods. The authors describe the implementation of a DU-path analyzer as an example of this approach. Using the prototype tool, experiments and issues are considered raised by an analyzer that treats arrays differently from existing tools. Each array element is considered to be a distinct data-flow object.< >
ISBN:9780818637001
0818637005
ISSN:0270-5257
DOI:10.1109/ICSE.1993.346051