Research On Software Credibility Evaluation Model Based On Dynamic Credibility Mechanism

With the continuous increase in the size and complexity of software,the problem of software credibility has become increasingly prominent.The operating behavior and results of software in a specific environment do not always fully meet people's expectations,and various problems will occur,which will adversely affect people's work and life and even cause huge losses.Therefore,evaluating the credibility of software is an important research direction to ensure the credibility of the software at runtime.Aiming at the problem of low accuracy of measurement methods in software credibility evaluation,this paper proposes a research method for software credibility evaluation based on fuzzy mathematics theory.This method uses fuzzy sets to characterize behavioral declaration and actual behavior,and then respectively give the credibility measure calculation method of single behavior and the credibility evaluation calculation method of software as a whole based on the idea of “words and deeds”.This method gives the evaluation results in a quantified form,which improves the accuracy of the evaluation results compared with the previous credibility evaluation methods using qualitative analysis.This method has certain practical significance in the credibility evaluation of software,and provides a new idea for measuring the credibility of software.This study combined mathematical theory to redefine the terms related to software credibility,and they are also the theoretical basis for later software credibility evaluation.We can obtain the trusted requirements of software from the software requirements analysis.We extract all the basic actions (9 contained in a software by analyzing the trusted requirements.Then we construct the action space ? corresponding to the software and the membership function corresponding to the basic action (9.Finally,a fuzzy set can be used to define the behavior declaration more precisely.In the compile stage,we add a secure compilation component to detect the completeness of the basic action contained in the software compared to the action space ?,and construct the membership function corresponding to the basic action included in the software .In the dynamic monitoring stage,we extract and characterize the actual running behavior of the software in order to verify the completeness of the behavior set of the software .In the stage of credibility evaluation,we respectively give the credibility measure calculation method of single software behavior and the credibility evaluation calculation method of software as a whole based on the idea of “words and deeds”.The feasibility of some key technical points has been experimentally verified through experiments.The method proposed in this paper is combined with a specific example application to evaluate its credibility,which verifies the feasibility of the methodology and provides a new measurement method for the credibility evaluation of software.