Verification Oriented Trustworthiness Evidence and Trustworthiness Evaluation of Software
Gang Lu · Jisuanji kexue yu tansuo · 2010
Due to the outstanding of the problems related to software trustworthiness,people are researching it from different points of view in recent years.From the viewpoint of comprehending software,the more deeply one software is comprehended,the more trustworthy the software is.Based on this,a verification oriented evidence model of software trustworthiness is advanced after analyzing the traditional method of collecting and sorting trustworthiness evidence.Compared with the traditional method,the verification based evidence model has the advantages of being beneficial to multidimensional trustworthiness evaluation and software trustworthiness evolution etc.Finally,based on the evidence model a possible method for the evaluation of software trustworthiness is provided.