Method for evaluating credibility of software architecture oriented models

Abstract

The invention provides a method for evaluating the credibility of software architecture oriented models. The method has the advantages that large complicated systems are abstracted at high levels on the basis of provided Breeze / ADL (architecture description language), credible attribute elements are expanded by the aid of meta-modeling mechanisms, and relevant credible attribute protocols are extracted from the credible attribute elements; safety protocols are extracted, safety models are built, rules for converting the Breeze / ADL safety models into fault tree models are formulated, accordingly, fault trees can be established, and potential safety thread and hazards of the systems can be qualitatively analyzed; reliability attribute protocols are extracted and are converted into discrete Markov chain state models, accordingly, the reliability can be quantitatively evaluated, and the importance can be quantitatively analyzed; effective improvement strategies are provided on the basis of safety and reliability analysis structures, and accordingly the credibility of the system structures can be guaranteed; the method is used for qualitatively and quantitatively evaluating credible attributes of software architectures from the software life cycle, forward guarantee mechanisms are established, and accordingly the efficiency and the quality can be improved in follow-up software development stages.

Description

technical field [0001] The invention belongs to the field of credible analysis of software architecture, in particular to the credible evaluation of software architecture. Background technique [0002] The software system running in the network environment is becoming more and more complex, and its trustworthiness issues are becoming more and more prominent, especially in terms of reliability and security. The software system often does not work in the way people expect or trust. For example, various failures, errors, and attacks may occur, causing it to fail to work normally, thereby directly or indirectly causing damage to users and society. How to construct trusted software so that its running behavior and results meet expectations is a very challenging problem. [0003] Software architecture can integrate components and their topological relationships from a global perspective and at a higher level. The introduction of software architecture is an effective means to con...

AI Technical Summary

Problems solved by technology

However, the feedforward control example and the feedback control example are only the extraction of credible requirements, they cannot reflect and change the system design structure, they cannot repair the defects in the system structure design process, and they cannot support the reuse of software architecture and ensure the software architecture. credibility

Images