Exploring Dataflow Testing of Arrays

Abstract

Data--ow testing is a variant ofpath testing that falls between the extremes of simple run-time instrumentation (statementand branch testing), andfill path testing. In data-$ow testing the paths selected for exercising are variants of “defluse” (DU) paths for program variables. Tool support for data-fiow testing takes the form of static program analysis (to… (More)

Topics

  • Presentations referencing similar topics