Parameter validation for software reliability

This paper presents a method for increasing software reliability through parameter validation. Existing systems are examined and a proposed technique is presented to aid in the static parameter validation of RATFOR programs.

[1]  W. F. Burger,et al.  Gypsy: A language for specification and implementation of verifiable programs , 1977, Language Design for Reliable Software.

[2]  Edward W. Thompson,et al.  A module interface specification language , 1975, DAC '75.

[3]  J. J. Horning,et al.  Report on the programming language Euclid , 1977, SIGP.

[4]  Charles M. Geschke,et al.  On the problem of uniform references to data structures , 1975 .

[5]  Patrick Cousot,et al.  Static determination of dynamic properties of generalized type unions , 1977, Language Design for Reliable Software.

[6]  James C. Browne,et al.  Gypsy: A language for specification and implementation of verifiable programs , 1977 .

[7]  Patrick Cousot,et al.  Static determination of dynamic properties of generalized type unions , 1977 .

[8]  Brian W. Kernighan,et al.  Software tools , 1976, SOEN.

[9]  David Gries,et al.  Compiler Construction for Digital Computers , 1971 .

[10]  James G. Mitchell,et al.  On the problem of uniform references to data structures , 1975, IEEE Transactions on Software Engineering.

[11]  Butler W. Lampson,et al.  Notes on the design of Euclid , 1977, Language Design for Reliable Software.

[12]  Niklaus Wirth.  An assessment of the programming language pascal , 1975 .

[13]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[14]  B. L. Clark,et al.  Reflections on a language designed to write an operating system , 1973, SIGPLAN-SIGOPS Interface Meeting.

[15]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[16]  R. F. Bridge,et al.  Bridges: a tool for increasing the reliability of references to Fortran variables , 1976, SIGP.

[17]  Butler W. Lampson,et al.  Proof rules for the programming language Euclid , 1978, Acta Informatica.