东华大学计算机科学与技术学院嵌入式技术研究所
- 作品数：2 被引量：4H指数：2
- 发文基金：上海市科委科技攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- Markov控制转换多模块软件可靠性测评方法被引量：2
- 2008年
- 针对软件多模块化发展的趋势以及当前软件可靠性测评把软件当成一个整块进行处理的缺点,本文提供了一种Markov控制转换多模块软件的可靠性测评方法。方法的主要思想包括建立基于软件体系结构的可靠性模型,并依据该模型把系统级的可靠性指标优化分配到模块级,实现在模块级对整个软件系统可靠性的监控,并在系统级的测评中进行确认。文中针对系统级测评缺少失效数据的情况,重点阐述了如何基于最大熵原理求解系统可靠性参数分布函数,以实现对系统可靠性指标的验证。
- 覃志东王洪亚李继云乐嘉锦
- 关键词：最大熵原理
- 基于关联风险剖面的软件防危性增长测试被引量：2
- 2009年
- 针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。
- 覃志东刘晓强王洪亚乐嘉锦
- 关键词：统计测试软件测试
