高可靠软件的可靠性评估技术综述

高可靠性软件的可靠性评估一直都是可靠性评估领域的一个难题,该文介绍了三种尝试解决该问题的方法。其中,极值统计模型强调失效数据母体分布的尾部信息以获取更好的评估准确度;基于Boot Strap重抽样技术的软件可靠性模型可以对原失效数据样本进行重新抽样,然后对新失效数据集再进行可靠性分析;基于故障注入技术和加速寿命试验原理的软件可靠性评估模型使用故障注入技术对软件的运行环境进行劣化,可以有效加快软件可靠性测试的过程。

高可靠软件的可靠性评估技术

研究了高可靠软件的可靠性评估技术,给出了失效数据稀少情况下的软件可靠性模型。假设高可靠软件的可靠性测试过程中发生失效是独立同分布的稀有事件,从理论上分析了极值统计理论用于软件可靠性评估的可行性,建立了软件可靠性极值统计模型,讨论了模型的参数估计方法和假设检验方法。

基于故障注入技术和加速寿命试验原理的高可靠软件可靠性评估技术研究

对于高可靠软件的可靠性评估一般有两种方法,一种是选择在小样本失效数据情况下能够准确进行软件可靠性评估的模型,另一种方法是基于故障注入技术和加速寿命试验原理,短时间内获得待评估软件更多的失效数据。该文主要对基于故障注入技术和加速寿命试验原理的软件可靠性评估技术进行研究,介绍了故障注入原理和技术分类、加速寿命试验原理和模型,并结合两者分析了可靠性评估技术的可行性,提出了需要解决的问题和对应的解决思路。

高可靠飞行器外测实时处理软件关键技术研究

根据飞行器飞行试验任务需求,分析外测数据实时处理软件的关键数学模型、算法以及功能需求,综合运用数据检择、滤波平滑等技术,消除了异常数据的干扰,构建了高效、可靠的实时数据接收模型。软件设计采用多线程体系结构,合理地分解了系统的功能。在该软件程序框架下设计了各软件功能模块。研究成果已在试验任务中得到了具体应用,能够满足实时数据处理任务的需求。

系统开发及开发工具

Y2001-62841-274 0117647把软件故障测量技术引入开发工作中=Inserting soft-ware fault measurement techniques into development ef-forts[会,英]/Nikora,A.P.//2000 IEEE 24th AnnualInternational Computer Software & Applications Confer-ence(Compsac-2000).—274～275(PC)Y2001-62841-276 0117648基于相位的高可靠软件生成法=A phase-based ap-proach to creating highly reliable software[会,英]/Lyu,M.R.//2000 IEEE 24th Annual International Comput-er Software & Applications Conference(Compsac-2000).—276～277(PC)