可信软件分析与测试研究现状及发展趋势.docVIP

可信软件分析与测试研究现状及发展趋势 　　摘 要：本文通过对可信软件的现状和发展趋势研究，从可信软件可靠性分析技术、软件可信性评估技术、软件可信性测试与验证技术等方面详细分析了软件可信的国内外研究现状和发展趋势。 　　关键词：可信软件；分析；评估；测试 　　中图分类号：TP311.52 文献标识码：A 　　1 引言 　　在当代的信息社会中，计算迅猛发展，随着计算机的广泛应用，计算机软件已经渗透到国防建设与国民经济的各个领域，并且承担着举足轻重的作用。软件为人们提供了新的功能和更便利的操作，并且在信息基础设施方面起着越来越重要的作用。现在人们的工作和生活是越来越依赖软件。然而，软件的设计现状却并不叫人十分满意，人们越来越重视软件的正确性、可靠性、安全性、完整性、可用性等这些可信性质，如何设计开发出高可信软件越来越引起软件使用和设计人员的重视。 　　2 可信软件的定义 　　可信：当一个实体按给定目标实现时，其行为和结果是附和预期的。 　　可信软件：如果软件服务效果总是符合用户的预期目标，即使在软件运行过程中有一些特殊情况出现，这样的软件就叫做可信软件。 　　这里所说的特殊情况包括： 　　（1）硬件环境（计算机、网络）发生故障 　　（2）底层软件（操作系统、数据库）出现错误 　　（3）其他软件（病毒软件、流氓软件）对其产生影响 　　（4）出现有意（攻击）