王学成
- 作品数：8 被引量：22H指数：3
- 供职机构：北京航空航天大学更多>>
- 发文基金：国防科技工业技术基础科研项目中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 考虑不完美排错的Logistic测试覆盖率软件可靠性模型被引量：1
- 2010年
- 软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两种考虑不完美排错的Logistic测试覆盖率软件可靠性模型(即ILTCS1与ILTCS2),并将这两种新模型与14种现有软件可靠性模型(包括经典模型、测试覆盖率模型以及不完美排错模型)分别应用于3组真实失效数据集.实例验证结果表明:1)ILTCS2模型在3组失效数据集上的评估结果均为最好(MSE值最小),且显著好于多数对比模型.这表明ILTCS2模型具有优秀的评估性能及适用性;2)选择合适的"完美排错"假设或"测试覆盖率"函数对模型评估性能的改进确实有重要影响.
- 李海峰王学成李秋英陆民燕曾敏
- 关键词：软件可靠性建模LOGISTIC模型软件可靠性增长模型
- 一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具
- 本发明提出一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具，测试方法针对离散型和连续型两种软件，构造了基于减函数法的先验分布函数，在此基础上构造单层有先验的贝叶斯软件可靠性验证测试方法，再对先验分布函数中的超参数构建先...
- 李秋英李海峰陆民燕王学成
- 文献传递
- 考虑右删失数据的改进Jelinski-Moranda软件可靠性模型被引量：2
- 2009年
- 针对软件可靠性测试停止时间不对应失效的右删失问题,给出考虑完全右删失失效数据的改进Je-linski-Moranda(J-M)模型。定量分析了右删失失效数据对可靠性参数评估值的影响,在此基础上分别给出基于残存缺陷比率、失效率以及可靠度函数的软件可靠性测试停止准则。最后将改进模型应用于一组失效数据集,计算结果表明,改进后的模型可充分挖掘右删失数据中蕴含的时间信息,得到更准确的参数评估值。并且所提出的停止准则可有效指导软件可靠性测试活动的开展,具有较好的工程应用价值。
- 李海峰陆民燕王学成
- 关键词：右删失数据软件可靠性测试
- 基于S型测试工作量函数的软件可靠性增长模型被引量：11
- 2011年
- 软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.
- 李秋英李海峰陆民燕王学成
- 关键词：可靠性分析
- 带减函数的连续型软件可靠性验证方案被引量：6
- 2012年
- 针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。
- 王学成陆民燕李海峰杨日盛
- 关键词：安全关键软件贝叶斯方法
- 结合贝叶斯网与SFMEA技术的软件故障诊断框架被引量：3
- 2010年
- 软件故障已经成为导致系统出错、失效甚至崩溃的潜在与重要根源。因此,故障诊断技术对于保证软件质量具有非常重要的意义。基于人工智能理论的故障诊断技术已经得到越来越多的关注。贝叶斯网理论具有表述方便、推理严密等优点,将其与软件失效模式及影响分析方法相结合,提出了具有四层网络结构(原因层、模式层、故障层以及观察层)的WCMF贝叶斯网诊断模型。在此基础上,提出了基于故障信息数据库及诊断数据库的智能化软件故障诊断框架。最后,针对某数传导航机载软件进行了实例应用。结果表明,提出的WCMF诊断模型及诊断框架是可行且有效的,具有故障诊断方便及时、充分利用历史信息以提高诊断效率、降低时间和资源消耗等优点。
- 王学成李海峰陆民燕杨顺昆
- 关键词：贝叶斯网SFMEA
- 一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具
- 本发明提出一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具，测试方法针对离散型和连续型两种软件，构造了基于减函数法的先验分布函数，在此基础上构造单层有先验的贝叶斯软件可靠性验证测试方法，再对先验分布函数中的超参数构建先...
- 李秋英李海峰陆民燕王学成
- 考虑不完美排错的Logistic测试覆盖率软件可靠性模型
- 软件可靠性增长模型（SRGMs）是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.本文将两种不完美排错假设与Iogistic测试覆盖率函数分别引入NHPP类软件...
- 李海峰王学成李秋英陆民燕曾敏
- 关键词：软件可靠性建模LOGISTIC模型软件可靠性增长模型
- 文献传递
