Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming

Abstract

Fault prevention is important for software quality assurance. In this paper, we propose an approach for software fault prevention. The fault prevention effect is achieved by means of inferring correct order of implementing components in the formal specification, and automatic code generation for various components or fragments of components in a SOFL specification. The expected effect of the proposed approach is to provide guidance to programmers in formal specification-based programming, enhance their productivity and help them reduce the risk of introducing faults into software.