data flow anomaly
data flow anomaly
data flow anomaly
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
State Machine for Data Flow AnomalyAnalysisSoftware Quality Assurance – Data Flow Anomaly Analysis© Prof. Dr. Liggesmeyer<strong>data</strong> <strong>flow</strong><strong>anomaly</strong>d (dd-<strong>anomaly</strong>)u (du-<strong>anomaly</strong>)defined(D)drreferenced(R)rr (ur-<strong>anomaly</strong>)dustart(S)uundefined(U)• If the state <strong>data</strong> <strong>flow</strong> <strong>anomaly</strong> is reached or at the end of a <strong>data</strong> <strong>flow</strong> <strong>anomaly</strong>analysis the state undefined is not reached, a <strong>data</strong> <strong>flow</strong> <strong>anomaly</strong> is detected. Thestate machine defines a regular grammar. Such grammars are a standard casefor compiler construction. In compilers they serve as a basis for the lexicalanalysis. Thus, <strong>data</strong> <strong>flow</strong> analysis can be integrated into compilers (which is thecase in some compilers you should check whether your compiler can do it)u6
Change language