Issue No. 02 - March (1983 vol. 9)
R.M. Negrini , Dipartimento di Elettronica, Politecnico di Milano
It is considered interesting to identify, from the structure of control flow and of relationships among variables in a program, some properties allowing to point out possible sources of errors or of faulty behavior. In particular, it is found that information about termination of loops and about meaningfulness of acceptance tests in recopery block strategy can be extracted from such structural analysis. Criteria for applying this analysis to programs with arbitrary structures are presented.
structural termination, Program graph models, program testing, structural dependence
R. Negrini and M. Sami, "Some Properties Derived from Structural Analysis of Program Graph Models," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 172-178, 1983.