石 莉，黄 克，李 敏

（淮北师范大学 计算机科学与技术学院，安徽 淮北 235000）

现代信息社会对计算机系统的依赖，很大程度上体现为对软件的依赖［1］.软件几乎无所不在.但是，软件质量不能令人满意，不能做到总是让人信任.因此，如何评估软件的可信性是软件研究领域密切关注和积极从事的重要课题.最近几年中，研究人员对软件可信性重要性的认识已经超越其传统的应用领域（电信、运输、航天航空等），逐渐在其它领域也开始关注软件可信性，例如经济领域（商业、金融、能源等），使得软件可信性的评估成为世界范围之内信息产业最急需解决的问题之一.

1 国内外研究现状

1.1 国外现状

国外有很多科学学术团体致力于对软件可信性的研究，其中包括：

（1）美国国家科学基金会［2］（National Science Foundation，简称为NSF）.NSF有一个专门的可信计算计划（Trusted Computing Project，NSF01-160），他们认为一个可信的信息系统应包括：可靠安全性、私密性、保密安全性、可靠性.

（2）德国达姆施塔特大学.德国达姆施塔特大学的计算机科学和工程系的数据库和分布式系统组中有一项“可信计划”（Trusted project）［3］.他们认为，可信性是比任何其它特征都具有综合性的一个性质，因为可信系统必须具有下述属性：端到端的安全、可用性、可靠性、实效性、一致性、可预测性、可扩展性.

（3）其他还有1979 年9 月成立于伦敦的WG 10.4；IEEE CS TC-FTC；IEEE Pacific Symposium on De⁃pendable Computing；the European Dependable Computing Conference；the IEEE Latin American Depend⁃able Computing Symposium等.

1.2 国内现状

国内对软件可信性的研究，比较有成效的是陈火旺等［4］对软件可信的研究.他们认为，软件系统的可信性质是指该系统需要满足的关键性质；……