An alternative source code analysis
- 1 January 2000
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
All aspects of software engineering strive toward guaranteeing that an implemented algorithm performs the intended tasks. The paper describes results in investigating the relationship between specifications and re-engineered code for data processing programs in COBOL, and develops strategies for assigning significance to identified differences. A modified F(p) notation representation of the program will be manipulated into a standard form, from which features called program points will be used to guide complexity reduction. Finally, backbone elements called threads will be identified to explore the equivalence between the specifications and the program, where each thread will represent a different behavior mode of the program.Keywords
This publication has 11 references indexed in Scilit:
- A logic based approach to reverse engineering tools productionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A little knowledge can go a long way towards program understandingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated chunking to support program comprehensionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An extensible system for source code analysisIEEE Transactions on Software Engineering, 1998
- Structural redocumentation: a case studyIEEE Software, 1995
- Reverse engineering: Algorithms for program graph productionSoftware: Practice and Experience, 1991
- Automated support of software maintenanceInformation and Software Technology, 1991
- Inverse transformation of software from code to specificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- On the adequacy of program dependence graphs for representing programsPublished by Association for Computing Machinery (ACM) ,1988
- Program schemas with equalityPublished by Association for Computing Machinery (ACM) ,1972