The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March (1983 vol.9)
pp: 172-178
R.M. Negrini , Dipartimento di Elettronica, Politecnico di Milano
ABSTRACT
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.
INDEX TERMS
structural termination, Program graph models, program testing, structural dependence
CITATION
R.M. Negrini, M. Sami, "Some Properties Derived from Structural Analysis of Program Graph Models", IEEE Transactions on Software Engineering, vol.9, no. 2, pp. 172-178, March 1983, doi:10.1109/TSE.1983.236462
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool