Analysis of Graphs by Ordering of Nodes
Journal of the ACM (JACM)
Software design validation tool
Proceedings of the international conference on Reliable software
Control flow complexity and structuredness of programs
ACM SIGPLAN Notices
Software metrics: an introduction and annotated bibliography
ACM SIGSOFT Software Engineering Notes
The static analysis of Cobol programs
ACM SIGSOFT Software Engineering Notes
Dynamic Characteristics of Loops
IEEE Transactions on Computers
Hi-index | 0.00 |
For large computer programs, verification of compliance with structured programming rules can present difficult problems for programmers and managers. In order to certify that code is structured, an algorithm and test tool were recently developed to audit source code and verify the use of structured constructs. The paper describes the segmentation of programs as a way of representing their logical control structure; presents the basic algorithm, illustrates algorithm extensions; and briefly reports on experience in using the tool on a large software project.