文献类型：期刊文章

作　　者：张策[1] 刘宏伟[2] 白睿[1] 王瞰宇[1] 王金勇[3] 吕为工[1] 孟凡超[1]

ZHANG Ce;LIU Hong-Wei;BAI Rui;WANG Kan-Yu;WANG Jin-Yong;LÜWei-Gong;MENG Fan-Chao(School of Computer Science and Technology,Harbin Institute of Technology(Weihai),Weihai 264209,China;School of Computer Science and Technology,Harbin Institute of Technology,Harbin 150001,China;School of Software Engineering,Shanxi University,Taiyuan 030006,China)

机构地区：[1]哈尔滨工业大学(威海)计算机科学与技术学院,山东威海264209 [2]哈尔滨工业大学计算机科学与技术学院,黑龙江哈尔滨150001 [3]山西大学软件学院,山西太原030006

出　　处：《软件学报》

基　　金：国家科技支撑计划(2014BAF07B02);国家自然科学基金(61473097);山东省重点研发计划(GG201703130116,GG201703040002);威海市科技发展计划(ITEAZMZ001807);山西省基础研究计划(201801D121120)

年　　份：2020

期　　号：9

起止页码：2802-2825

语　　种：中文

收录情况：AJ、BDHX、BDHX2017、CSCD、CSCD2019_2020、EI、IC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：故障检测率FDR(fault detection rate)是可靠性研究的关键要素,对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用,对于提高系统可靠性与确定发布时间具有重要现实意义.首先,对基于NHPP(non-homogeneous poisson process,非齐次泊松过程)类的软件可靠性增长模型SRGM(software reliability growth mode)进行概述,给出了建模本质、功用与流程.基于此,引出可靠性建模与研究中的关键参数——FDR,给出定义,对测试环境描述能力进行分析,展示不同模型的差异.着重剖析了FDR与失效强度、冒险率(风险率)的区别,得出三者之间的关联性表述.全面梳理了FDR的大类模型,分别从测试覆盖函数视角、直接设定角度、测试工作量函数参与构成方式这3个方面进行剖析,继而提出统一的FDR相关的可靠性模型.考虑到对真实测试环境描述能力的需要,建立不完美排错框架模型,衍生出不完美排错下多个不同FDR参与的可靠性增长模型.进一步,在12个真实描述应用场景与公开发表的失效数据集上进行实验,验证不同FDR模型相关的可靠性模型效用,对差异性进行分析与讨论.结果表明,FDR模型自身的性能可以支撑可靠性模型性能的提升.最后,指出了未来研究趋势和需要解决的问题.

关 键 词：可靠性 故障检测率 测试覆盖率  不完美排错  效用分析  

分 类 号：TP311.53]