This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Comments Analysis and Programming Errors
January 1990 (vol. 16 no. 1)
pp. 72-81

Software validation is treated as the problem of detecting errors that programmers make during the software development process. This includes fault detection, in which the focus is on techniques for detecting the occurrence of local errors that result in well-defined classes of program statement faults. It also includes detecting other kinds of errors, such as decomposition errors. The main focus of the work is on a decomposition-error analysis technique called comments analysis. In this technique, errors are detected by analyzing special classes of program comments. Comments analysis has been applied to a variety of systems, including a data-processing program and an avionics real-time program. The use of comments analysis for sequential and concurrent systems is discussed, and the basic features of comments analysis tools are summarized. The relationship of comments analysis to other techniques, such as event sequence analysis, is discussed, and the differences between it and earlier work are explained.

[1] R. A. DeMillo, D. S. Guindi, K. N. King, and W. M. McCracken, "An overview of the Mothra Software Testing Environment," Software Eng. Res. Center, Georgia Inst. Technol., 1987.
[2] K. A. Foster, "Error sensitive test data for logic expressions,"ACM Software Eng.Notes, vol. 9, no. 2, 1984.
[3] R. G. Hamlet, "Testing programs with finite sets of data,"Comput. J., vol. 20, Aug. 1977.
[4] W. E. Howden, "Weak mutation testing and completeness of program test sets,"IEEE Trans. Software Eng., vol. SE-8, 1982.
[5] S. J. Zeil, "Perturbation testing for computation errors," inProc. Seventh Int. Conf. Software Eng., Mar. 1984.
[6] L. J. White and E. I. Cohen, "A domain strategy for computer program testing,"IEEE Trans. Software Eng., vol. SE-6, May 1980.
[7] W. Howden,Functional Program Testing and Analysis. New York: Mc-Graw-Hill, 1987.
[8] W. E. Howden, "Errors, design properties and functional program tests," inComputer Program Testing, B. Chandrasakaren and S. Radicci, Eds. Amsterdam, The Netherlands: North-Holland, 1981.
[9] W. E. Howden, "Functional program testing,"IEEE Trans. Software Eng., vol. SE-6, 1980.
[10] L. Werner and W. E. Howden, "Fault detection in COBOL programs by means of data usage analysis," Dep. Comput. Sci. Eng., Univ. California. San Diego, 1987.
[11] L. G. Stucki, "Automatic generation of self-metric software," inProc. 1973 IEEE Symp. Computer Software Reliability, 1973.
[12] M. R. Woodward, D. Hedly, and M. A. Hennell, "Experience with path analysis and testing of programs,"IEEE Trans. Software Eng., vol. SE-6. May 1980.
[13] L. Werner, "Data usage analysis using data flow techniques," Dep. Comput. Sci. Eng., Univ. California, San Diego, Rep. CS87-112, 1987.
[14] W. E. Howden, "Data reference fault detection methods," Dep. Comput. Sci. Eng., Univ. California, San Diego, Nov. 1987.
[15] R. N. Taylor, "A general purpose algorithm for analyzing concurrent programs,"Commun. ACM, vol. 26, no. 5, pp. 362-376, May 1983.
[16] W. E. Howden, "A general model for static analysis," inProc. 16th Annu. Hawaii Int. Conf. System Sciences, Honolulu, 1983.
[17] G. S. Avrunin, L. K. Dillon, J. C. Wileden, and W. E. Riddle, "Constrained expressions: adding analysis capabilities to design methods for concurrent software systems,"IEEE Trans. Software Eng., vol. SE- 12, pp. 278-292, Feb. 1986.
[18] R. Strom and S. Yemini, "Typestate: A programming language concept for enhancing software reliability,"IEEE Trans. Software Eng., vol. SE-12, pp. 157-171, Jan. 1986.
[19] R. H. Campbell and A. N. Habermann. "The specification of process synchronization by path expressions." inLecture Notes in Computer Science vol. 16, Operating Systems, Apr. 1974, pp. 89-102.
[20] D. Hoffman and R. Snodgrass, "Trace specifications: Methodology and models,"IEEE Trans. Software Eng., vol. SE-14, Sept. 1988.
[21] K. M. Olender and L. J. Osterweil, "Cecil: A sequencing constraint language for automatic static analysis generation," Univ. Colorado, 1988.
[22] R. N. Taylor and L. J. Osterweil, "Anomaly detection in concurrent software by static data flow analysis,"IEEE Trans. Software Eng., vol. SE-6, 1980.
[23] R. N. Taylor and L. J. Osterweil, "Analysis and testing based on sequencing specifications," inProc. 4th Jerusalem Conf. Information Technology, May 1984.

Index Terms:
comments analysis; software validation; programming errors; software development process; fault detection; decomposition errors; data-processing program; avionics real-time program; event sequence analysis; software engineering.
Citation:
W.E. Howden, "Comments Analysis and Programming Errors," IEEE Transactions on Software Engineering, vol. 16, no. 1, pp. 72-81, Jan. 1990, doi:10.1109/32.44365
Usage of this product signifies your acceptance of the Terms of Use.