王栓奇
- 作品数：7 被引量：30H指数：2
- 供职机构：北京航空航天大学可靠性与系统工程学院更多>>
- 发文基金：国防科技工业技术基础科研项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种基于混合测试的软件可靠性评估方法及其装置
- 本发明公开了一种基于混合测试的软件可靠性评估方法及其装置，属于软件可靠性工程领域，所述方法通过确定被测软件的缺陷失效率分布，得到缺陷失效率分布函数和密度函数；然后根据次序统计量确定次序缺陷失效率的密度函数、次序缺陷失效率...
- 吴玉美王栓奇陆民燕
- 文献传递
- 一种基于混合测试的软件可靠性评估方法及其装置
- 本发明公开了一种基于混合测试的软件可靠性评估方法及其装置，属于软件可靠性工程领域，所述方法通过确定被测软件的缺陷失效率分布，得到缺陷失效率分布函数和密度函数；然后根据次序统计量确定次序缺陷失效率的密度函数、次序缺陷失效率...
- 吴玉美王栓奇陆民燕
- 软件可靠性加速测试与评估方法被引量：6
- 2012年
- 为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿飞机外挂物管理系统为对象进行了实例应用,给出了具体测试过程并进行软件可靠性评估,结果表明该加速测试方法克服了软件可靠性测试中普遍存在的饱和效应问题,可以有效地加快测试过程,同时提出的软件可靠性评估模型表现了较好的拟合效果并能够给出较为准确的软件可靠性评估预计结果.
- 王栓奇吴玉美陆民燕
- 关键词：软件可靠性模型软件可靠性测试次序统计量
- 考虑测试工作量与覆盖率的软件可靠性模型被引量：24
- 2013年
- 为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)带入该建模框架,建立了一个新的软件可靠性增长模型,即IS-LO-SRGM.同时,还对利用该框架进行建模过程中的两个重要问题进行了描述与分析,即如何确定具体的TEF和TCF以及模型参数估计.然后,在两组真实的失效数据集上,利用该建模框架建立了最为合适的增长模型,即IS-LO-SRGM,并将该模型与8种经典NHPP模型进行对比.实例验证结果表明,所提出的IS-LO-SRGM模型具有最为优秀的拟合与预计性能,从而证明新建模框架的有效性和实用性.最后,对不完美排错情况进行了初步的讨论与建模分析.
- 李海峰王栓奇刘畅郑军李震
- 关键词：软件可靠性建模非齐次泊松过程
- SL(n,C)中可解子群结构及几类可积型Fuchsian系统(英文)
- 2012年
- 本文研究并给出一类SL(n,C)中的有限生成的可解子群结构定理.利用单值群的可解性与Fuchsian方程的可积性关系,给出几类可积型Fuchsian系统.
- 张绍飞王栓奇李慧珍
- 关键词：可积性单值群可解群特殊线性群
- 一种基于图尔敏模式的软件安全性论证方法
- 本发明公开了一种基于图尔敏模式的软件安全性认证方法。该方法以需要认证的软件安全性目标为核心，提供支持目标成立的事实证据，质疑时，给出赋予事实证据支持目标成立的正当理由及用于强化正当理由权威性陈述的支援；如目标不是完全成立...
- 曾福萍张大健王栓奇陆民燕
- 文献传递
- 最小生成树算法的一种实现方法及其在代数理论上的探讨
- 2008年
- 图论中最小生成树问题的算法在现实中应用非常广泛,本文先根据其中的Kruskal算法的步骤并结合数据结构中单链表的特点对在计算机中如何实现这一问题进行了阐述和分析,最后又更加深入地探讨了如何利用代数理论来判定最小生成树涉及到的简单无向图连通性问题。
- 王栓奇张绍飞
- 关键词：最小生成树KRUSKAL算法单链表连通性
