Design for reliability predictability (DRP) A novel approach to software construction for improved structural reliability prediction

摘要

Purpose - The purpose of this paper is to introduce a novel approach of designing, specifying, and describing the behavior of software systems in a way that helps to predict their reliability from the reliability of the components and their interactions. Design/methodology/approach - Design imperatives and relevant mathematical documentation techniques for improved reliability predictability of software systems are identified. Findings - The design approach, which is named design for reliability predictability (DRP), integrates design for change, precise behavioral documentation and structure based reliability prediction to achieve improved reliability predictability of software systems. The specification and documentation approach builds upon precise behavioral specification of interfaces using the trace function method (TFM) and introduces a number of structure functions or connection documents.