This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Generation and consistency checking of design and program structures
Jan. 1986 (vol. 12 no. 1)
pp. 172-181
Zavdi L. Lichtman, Department of Computer Research and Development, Armament Development Authority, P.O. Box 2250, Haifa, Israel
Program structure is designed, redesigned, and develops and changes during the development phase. This paper describes a mini methodology for generation and representation of design and program structures, and structural consistency checking between two successive designs or between a design and a program. The mini methodology is based on the following. 1) The tool: a special Program Design Language (PDL) which is equipped to extract the actual and complete structure information from design documents and programs, or partial structure information — when required. 2) The representation: two matrices, a Call Relationship Matrix (CRM) and a Global References Matrix (GRM), which completely represent the program structure. 3) The consistency criteria: clear definitions when the structures of two successive designs, or a design and a program, are consistent. The PDL extracts structure information, in a controlled way, from the top level program design, through layers of detailed designs, down to the source code itself. It generates an actual, complete, concise, and easily comparable structure representation. Structural consistency between levels can be checked, both at the development phase and at the operation and maintenance phase, ensuring continued structural consistency between the design(s) and the program. The structure representation can also be used for configuration management of the structure of designs and programs.
Index Terms:
Customer relationship management,Computer languages,Aerospace electronics,Nickel,Data mining,Program processors,software tools,Consistency checking,Program Design Language (PDL),program structure,software development,software quality assurance
Citation:
Zavdi L. Lichtman, "Generation and consistency checking of design and program structures," IEEE Transactions on Software Engineering, vol. 12, no. 1, pp. 172-181, Jan. 1986, doi:10.1109/TSE.1986.6312930
Usage of this product signifies your acceptance of the Terms of Use.