基于关联风险剖面的软件防危性增长测试

针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。

Markov控制转换多模块软件可靠性测评方法

针对软件多模块化发展的趋势以及当前软件可靠性测评把软件当成一个整块进行处理的缺点,本文提供了一种Markov控制转换多模块软件的可靠性测评方法。方法的主要思想包括建立基于软件体系结构的可靠性模型,并依据该模型把系统级的可靠性指标优化分配到模块级,实现在模块级对整个软件系统可靠性的监控,并在系统级的测评中进行确认。文中针对系统级测评缺少失效数据的情况,重点阐述了如何基于最大熵原理求解系统可靠性参数分布函数,以实现对系统可靠性指标的验证。