This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
C.V. Ramamoorthy, Computer Science Division and Electronics Research Laboratory, University of California
This paper discusses the necessity of a good methodology for the development of reliable software, especialy with respect to the final software validation and testing activities. A formal specification development and validation methodology is proposed. This methodology has been applied to the development and validation of a pilot software, incorporating typical features of critical software for nuclear power plant safety protection. The main features of the approach indude the use of a formal specification language and the independent development of two sets of specifications. Analyses on the specifications consists of three-parts: validation against the functional requirements consistency and integrity of the specifications, and dual specification comparison based on a high-level symbolic execution technique. Dual design, implementation, and testing are performed. Automated tools to facilitate the validation and testing activities are developed to support the methodology. These includes the symbolic executor and test data generator/dual program monitor system. The experiences of applying the methodology to the pilot software are discussed, and the impact on the quality of the software is assessed.
Index Terms:
verification, Assertion, dual-programming, methodology, path analysis, process control, reliability, requirement, specification, symbolic execution, testing, validation
Citation:
C.V. Ramamoorthy, Y.R. Mok, F.B. Bastani, G.H. Chin, K. Suzuki, "Application of a Methodology for the Development and Validation of Reliable Process Control Software," IEEE Transactions on Software Engineering, vol. 7, no. 6, pp. 537-555, Nov. 1981, doi:10.1109/TSE.1981.226474
Usage of this product signifies your acceptance of the Terms of Use.