De sätt på vilka metoderna för dataflödesanalys kan tillämpas för att förbättra programvarans tillförlitlighet beskrivs. Det finns också en genomgång av den grundläggande terminologin från grafteori och från dataflödesanalys i global programoptimering. Noteringen av reguljära uttryck används för att beskriva åtgärder på data för uppsättningar av sökvägar. Dessa uttryck utgör grunden för ett klassificeringssystem för dataflöde som representerar dataflöden längs vägar inom delprogram och längs vägar som korsar delprogramgränser. Snabba algoritmer, som ursprungligen introducerades för global optimering, beskrivs och det visas hur de kan användas för att genomföra klassificeringssystemet. Det visas sedan hur dessa samma algoritmer också kan användas för att upptäcka förekomsten av avvikelser i dataflödet som är symptomatiska för programmeringsfel. Slutligen beskrivs vissa egenskaper hos och erfarenhet av DAVE, ett dataflödesanalyssystem som innehåller några av dessa idéer.
Till exempel, Fosdick och Osterweil ge en undersökning av hur dataflöde metoder kan tillämpas på programvara tillförlitlighet REF.
Data Flow Analysis in Software Reliability
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}