基于运行态的可信应用软件可靠性分析.docxVIP

基于运行态的可信应用软件可靠性分析 1 软件运行风险信息下的可靠性研究 随着信息技术在生产和生活中的广泛应用，计算机和软件的可靠性问题已成为信息技术发展的中心主题。自从冯·诺伊曼提出计算机模型, 就给计算机硬件系统的基本逻辑做出了明确的界定, 所以对计算机硬件系统的可靠性研究, 就立足于逻辑的完备性、自治性的验证, 并得到了一些很有效的方法, 如故障树分析 (FTA) 、失效模式与效应分析 (FEMA) 、冗错技术等。 反观软件技术, 虽然近20年来软件理论得到蓬勃的发展, 但是软件的可靠性还是没有得到充分的保障, 甚至软件可靠性领域的相关技术也还没有完全定型。软件的可靠性保障最主要的手段仍然是软件测试, 然而软件测试过程无论是白盒测试还是黑盒测试, 都要归结于分类覆盖的逻辑:用尽可能少的测试用例来让软件运行, 覆盖尽可能多的软件状态, 从而尽可能多地发现软件存在的问题, 保障软件的稳定性。但是软件毕竟是对生产、生活中的客观逻辑进行软件语言描述, 在对客观逻辑进行抽象的过程中, 其本身并不能保证客观逻辑的完备性和自治性的情况下, 软件测试能否发现这种逻辑问题并映射成软件上的可靠性问题就成为关键。而这样的隐蔽问题一旦发生, 结果往往会导致系统失去控制, 并带来严重的危害。 由于现在对软件逻辑建模还没有一种统一而有效的方法, 所以对于软件可靠性的研究似乎没有可能从精确逻辑模型方面有所