论文部分内容阅读
随着信息化社会的到来，计算机软件对于人类社会的发展起到了推动作用。但随之而来的各种软件错误、失效使得计算机能否满足要求遭到了质疑。软件是否满足要求可以通过软件可信评估来验证。论文提出了一种使用分层的软件可信评估方法：将对软件的可信评估分解为对软件可信属性的评估，然后对软件可信属性进行再分解，分为不同的层次；通过对各层的计算，实现对软件是否可信的评估。实验表明，论文提出的方法可以有效评估软件是否达到用户的要求。