可信软件分析与测试研究现状及发展趋势摘要:本文通过对可信软件的现状和发展趋势研究，从可信软件可靠性分析技术、软件可信性评估技术、软件可信性测试与验证技术等方面详细分析了软件可信的国内外研究现状和发展趋势。关键词：可信软件；分析；评估；测试中图分类号：TP311.52文献标识码：A1引言在当代的信息社会中，计算迅猛发展，随着计算机的广泛应用，计算机软件已经渗透到国防建设与国民经济的各个领域，并口承担着举足轻重的作用。软件为人们提供了新的功能和更便利的操作，并且在信息基础设施方面起着越来越重要的作用。现在人们的工作和生活是越來越依赖软件。然而，软件的设计现状却并不叫人十分满意，人们越来越重视软件的正确性、可靠性、安全性、完整性、可用性等这些可信性质，如何设计开发出高可信软件越来越引起软件使用和设计人员的重视。2可信软件的定义可信：当一个实体按给定目标实现时，其行为和结果是附和预期的。可信软件：如果软件服务效果总是符合用户的预期目标，即使在软件运行过程中有一些特殊情况出现，这样的软件就叫做可信软件。这里所说的特殊情况包括：（1）硬件环境（计算机、网络）发生故障（2）底层软件（操作系统、数据库）出现错误（3）其他软件（病毒软件、流氓软件）对其产生影响（4）出现有意（攻击）、无意（误操作）的错误操作3软件可信与软件质量的区别软件可信要满足的功能有下面几个方而：可用功能：止确、不少、不多可靠性（容错）：高安全性（机密性、完整性人高响应时间（从输入到输出）：小维护费用（监测、演化人小软件质量就是“所开发出的软件与需求分析中的客户的需求相一致的程度”。具体地说，软件质量是设计出来的软件符合需求分析中明确说明的功能和性能需求、文档中明确描述的开发标准，以及所有专业开发的软件都应具有的隐含特征的程度。影响软件质量的主耍因素，这些因素是从管理角度对软件质量的度量。[1]对软件可信的定义比之软件质量更强调用户的感受，强调不易受攻击性尤其是因内在缺陷导致的；结果是可预期的；保证的计划的和系统的过程和产甜依照要求和标准程序。因此与强调功能完备无二义性的软件测试评估是有区别的。4国内外软件可信性技术研究现状及发展趋势本节从软件可靠性分析技术、软件可信性评估技术、软件可信性测试与验证技术等方面分析软件可信的国内外研究现状和发展趋势。4.1软件可信性分析技术在SFMEA研究方面，SFMEA(SystemFailureModeandEffectsAnalysis),国内常称SFMEA为“软件失效模式和影响分析”，国外是在1979年提出了SFMEA的概念。在此后并没有引起足够的重视和大量的研究，近10年来，SFMEA的研究和应用才有逐步增多的趋势，并且大多都集中在嵌入式软件方面。在一些关键安全领域进行了相应的应用，如：医疗仪器、环境监测、军用产品、电子行业、汽车行业、航空领域等。SFMEA的工作原理是利用“预想”和“回想”的方式对软件系统的各个组成部分中存在的和潜在的失效模式进行“穷举”测试，以识别出失效位置及原因，并逐一进行分析和研究故障模式所造成的影响，给出预防和改进措施，以便于技术人员对系统进行优化改进。总之，SFMEA是一种定性的逻辑推理方法。在SFMEA方血，虽然能用计算机辅助进行一些数据收集、数据存储和一些简单的数学计算，但是很多的分析工作还需人工完成。耍想加强分析工作，还要在SFMEA的算法上进行更深入细致的研究。尤其对失效模式和失效影响推理技术这些方面进行更深入的探讨。国内外在这方面的研究已经展开，在数理仿真技术、专家系统和因果推理方法等技术方面都有了初步的研究。在今后的研究中，我们要加大在SFTA的计算机辅助方法、开发相应的SFTA辅助工具方面的研究，提高SFTA的分析效率。对于嵌入式软件可靠性分析方面，尚未出现较为完整、成熟的可靠性分析方法。这也是未来软件可信性分析技术研究的一个重要的研究方向和发展趋势。[2]4.2软件可信性评估技术目前,国内外关于软件可信性评估方法还处于研究阶段,成熟的软件可信性评估方法几乎没有。但是对相关领域进行分析总结，可以看出软件可信性评估发展趋势有以下几个方iin(1)定性与定量相结合的综合评估...