论文信息 - Industrial perspective on static analysis

Industrial perspective on static analysis

Static analysis within industrial applications provides a means of gaining higher assurance for critical software. This survey notes several problems, such as the lack of adequate standards, difficulty in assessing benefits, validation of the model used and acceptance by regulatory bodies. It concludes by outlining potential solutions and future directions. >

[1] Donald D. Bustamante. Ada: Towards maturity , 1996 .

[2] D. L. Clutterbuck,et al. The Formal Verification of Safety-critical Assembly Code , 1988 .

[3] B. A. Wichmann,et al. Requirements for programming languages in safety and security software standards , 1992 .

[4] D. J. Pavey,et al. Demonstrating Equivalence of Source Code and PROM Contents , 1993, Comput. J..

[5] Babak Dehbonei,et al. Error-free software development for critical systems using the B-Methodology , 1992, [1992] Proceedings Third International Symposium on Software Reliability Engineering.

[6] Carl F. Schaefer,et al. Static analysis of exception handling in Ada , 1993, Softw. Pract. Exp..

[7] Bernard Carré,et al. Information-flow and data-flow analysis of while-programs , 1985, TOPL.

[8] Robert S. Boyer,et al. A Verification Condition Generator for FORTRAN. , 1980 .

[9] N. J. Ward. The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software , 1993, SAFECOMP.