王校锋
- 作品数：2 被引量：2H指数：1
- 供职机构：中国人民解放军海军装备部更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于动态贝叶斯网络的调距桨任务可靠性模型及应用被引量：1
- 2013年
- 为了解决调距桨在可靠性分析时动态的、可修复性的问题,引入了一种基于动态贝叶斯网络理论的新方法,提出了动态的和可修复的可靠性建模分析技术,弥补了传统方法在动态可靠性分析时模型描述上的局限性及算法上的缺陷问题。在模型方面,用贝叶斯网络能有效地刻画系统的动态行为、修复行为;在此基础上建立了系统任务可靠度数学模型,运用MATLAB软件中贝叶斯网络工具箱编写了MATLAB计算语句,输入有关元件的故障率与修复率能够实现推进装置的任务可靠性数值仿真。
- 王校锋戚珩
- 关键词：贝叶斯网络动态系统
- 软件可靠性测试用例生成技术研究被引量：1
- 2015年
- 运行剖面是对一个系统如何被使用的定量描述,其描述的好坏直接影响到后续的软件可靠性测试工作。用传统的构造运行剖面的方法构造出的运行剖面往往只体现单独的操作,为了解决这一问题,提出了剖面分解的方法,将传统的运行剖面分解为独立运行剖面和交互运行剖面,并详细的分析了操作序列剖面的构造过程及由操作剖面随机生成测试用例的方法。提出利用等价类,边界值,正交试验的黑盒测试技术,对随机生成的用例进行优化,并验证了优化的效果。
- 金永明翁平王校锋
- 关键词：软件可靠性测试运行剖面测试用例黑盒测试
