A Data Flow Oriented Program Testing Strategy

DOI10.1109/TSE.1983.236871MaRDI QIDQ4747499zbMATH OpenWikidataFDO

Authors Janusz Laski, Bogdan Korel

Publication date 1983

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1983.236871

zbMATH Keywords

control flowdata contextdata environmentdata oriented testinglivenessvariable definition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(8)

• Dynamic program slicing
• A structural test selection criterion
• Selecting a testing criterion based on quantitative analysis
• The dependence condition graph: precise conditions for dependence between program points
• The complexity of data flow criteria for test data selection
• Data Flow Analysis and Testing of Abstract State Machines
• A data-flow approach to test multi-agent ASMs
• Test suite oscillations

This page was built for publication: A Data Flow Oriented Program Testing Strategy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4747499)