A Data Flow Oriented Program Testing Strategy

DOI10.1109/TSE.1983.236871zbMath0509.68011WikidataQ111898398 ScholiaQ111898398MaRDI QIDQ4747499

Bogdan Korel, Janusz Laski

Publication date: 1983

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

zbMATH Keywords

livenesscontrol flowvariable definitiondata contextdata environmentdata oriented testing

Mathematics Subject Classification ID

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

Related Items

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