Integrated program measurement and documentation tools

This paper describes an attempt to integrate the collection and the efficient utilisation of measurements in the development and the use of programs. The work presented consists in three parts: - the design of both static and dynamic measurement tools, - examples of data processing on measurements collected on a sample of Pascal programs, - the design of a quantitative documentation of a program, which is automatically built as measurements are collected. The first and third steps have been developed inside an existing programming environment, Mentor, and we shall discuss the advantages we found in integrating the tools in such an environment.

[1]  Gene McDaniel.  An analysis of a mesa instruction set using dynamic instruction frequencies , 1982, ASPLOS I.

[2]  Albert L. Baker,et al.  The Use of Software Science in Evaluating Modularity Concepts , 1979, IEEE Transactions on Software Engineering.

[3]  H. E. Dunsmore,et al.  Data Referencing: An Empirical Investigation , 1979, Computer.

[4]  Glenford J. Myers,et al.  An extension to the cyclomatic measure of program complexity , 1977, SIGP.

[5]  Bernard Lang,et al.  Metal: A Formalism to Specify Formalisms , 1983, Sci. Comput. Program..

[6]  Ronald D. Gordon,et al.  A Qualitative Justification for a Measure of Program Clarity , 1979, IEEE Transactions on Software Engineering.

[7]  David C. Hoaglin,et al.  Exploratory Data Analysis in a Study of the Performance of Nonlinear Optimization Routines , 1982, TOMS.

[8]  H. E. Dunsmore,et al.  Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support , 1983, IEEE Transactions on Software Engineering.

[9]  Edwin H. Satterthwaite.  Debugging tools for high level languages , 1972, Softw. Pract. Exp..

[10]  Cheryl A. Wiecek,et al.  A case study of VAX-11 instruction set usage for compiler execution , 1982, ASPLOS I.

[11]  Albert L. Baker,et al.  A Comparison of Measures of Control Flow Complexity , 1979, IEEE Transactions on Software Engineering.

[12]  Stuart H. Zweben,et al.  A Study of the Physical Structure of Algorithms , 1977, IEEE Transactions on Software Engineering.

[13]  Bill Curtis,et al.  Third time charm: Stronger prediction of programmer performance by software complexity metrics , 1979, ICSE 1979.

[14]  James L. Elshoff,et al.  A study of the structural composition of PL/I programs , 1978, SIGP.

[15]  B. Curtis,et al.  Measurement and experimentation in software engineering , 1980, Proceedings of the IEEE.

[16]  Michael L. Cook,et al.  Software metrics , 1982, ACM SIGSOFT Softw. Eng. Notes.

[17]  Martin R. Woodward,et al.  A Measure of Control Flow Complexity in Program Text , 1979, IEEE Transactions on Software Engineering.

[18]  Murat M. Tanik,et al.  A comparison of two different program complexity measures , 1981, PERV.

[19]  Bernard Lang,et al.  Programming Environments Based on Structured Editors: The MENTOR Experience, , 1980 .

[20]  M. Hill.  Correspondence Analysis: A Neglected Multivariate Method , 1974 .

[21]  Martin De Prycker.  On the Development of a Measurement System for High Level Language Program Statistics , 1982, IEEE Trans. Computers.

[22]  Maurice H. Halstead,et al.  Elements of software science , 1977 .

[23]  Paul H. Leng,et al.  Aids for Pragmatic Error Detection , 1983, Softw. Pract. Exp..

[24]  Peter J. Brown.  Dynamic program building , 1981, Softw. Pract. Exp..

[25]  Paul Piwowarski,et al.  A nesting level complexity measure , 1982, SIGP.

[26]  Harlan D. Mills,et al.  Understanding and Documenting Programs , 1982, IEEE Transactions on Software Engineering.

[27]  Tom Love,et al.  A Review and Evaluation of Software Science , 1978, CSUR.

[28]  Larry Melvin Masinter,et al.  Global program analysis in an interactive environment , 1979 .

[29]  Dick B. Simmons,et al.  Measuring Program Complexity , 1977 .

[30]  Scott N. Woodfield,et al.  A study of several metrics for programming effort , 1981, J. Syst. Softw..

[31]  D. Potier,et al.  Experiments with computer software complexity and reliability , 1982, ICSE '82.

[32]  Martin R. Woodward,et al.  On Program Analysis , 1976, Inf. Process. Lett..

[33]  Warren Harrison,et al.  A topological analysis of the complexity of computer programs with less than three binary branches , 1981, SIGP.

[34]  Richard E. Sweet,et al.  Empirical analysis of the mesa instruction set , 1982, ASPLOS I.

[35]  Andrew M. Lister,et al.  An Experiment in Software Science , 1979, Language Design and Programming Methodology.

[36]  I. S. Torsun,et al.  An Empirical Analysis of FORTRAN Programs , 1976, Comput. J..

[37]  Wilfred J. Hansen,et al.  Measurement of program complexity by the pair: (Cyclomatic Number, Operator Count) , 1978, SIGP.

[38]  Donald E. Knuth,et al.  The CWEB system of structured documentation - version 3.0 , 1994 .

[39]  Bernard Lang,et al.  Outline of a Tool for Document Manipulation , 1983, IFIP Congress.

[40]  Douglas J. Ingalls.  The execution time profile as a programming tool , 1971 .

[41]  Jacques Cohen,et al.  A language for inquiring about the run‐time behaviour of programs , 1977, Softw. Pract. Exp..

[42]  Stephen S. Yau,et al.  Some Stability Measures for Software Maintenance , 1979, IEEE Transactions on Software Engineering.

[43]  I. R. Wilson,et al.  A static analysis of Pascal program structures , 1982, Softw. Pract. Exp..

[44]  A. Schroeder.  On the distribution of statements in Pascal programs , 1984 .

[45]  John Shepherd,et al.  A critical examination of software science , 1981, J. Syst. Softw..

[46]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[47]  I. S. Torsun,et al.  Dynamic analysis of COBOL programs , 1981, Softw. Pract. Exp..

[48]  J. J. Whelan,et al.  5th international conference on software engineering , 1981, SOEN.

[49]  Krishna M. Kavi,et al.  Effect of declarations on software metrics: An experiment in software science , 1982, SCORE '82.

[50]  Warren A. Harrison,et al.  A complexity measure based on nesting level , 1981, SIGP.

[51]  John Fitch.  Profiling a large program , 1977 .

[52]  Katsuo Ikeda,et al.  An analysis of Pascal programs in compiler writing , 1980, Softw. Pract. Exp..

[53]  Donald E. Knuth,et al.  An empirical study of FORTRAN programs , 1971, Softw. Pract. Exp..

[54]  Ronald H. Perrott,et al.  An experiment with Fortran and Pascal , 1981, Softw. Pract. Exp..

[55]  Charles P. Smith.  The Application of Halstead’s Software Science Difficulty Measure to a Set of Programming Projects , 1982 .

[56]  Herman P. Friedman.  On Measurement and Evaluation of Software: A View from the Chair , 1981 .

[57]  Maurice H. Halstead,et al.  Elements of software science (Operating and programming systems series) , 1977 .

[58]  Norman F. Schneidewind,et al.  An Experiment in Software Error Data Collection and Analysis , 1979, IEEE Transactions on Software Engineering.