基于测试覆盖的嵌入式软件可靠性评估

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:naimiu2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了提高软件可靠性的评估和预测精度,提出了一个基于测试覆盖的非齐次泊松过程类软件可靠性增长模型,通过将测试覆盖率信息考虑到软件可靠性模型中去,使模型能够更准确地描述软件的测试过程,并能避免由于测试的不充分性而导致的可靠性评估偏离软件的真实情况。提出了结合变点思想的基于测试覆盖的软件可靠性评估方法,该方法解决了工程实践中经常出现的测试过程中剖面发生变化而导致失效数据不服从同一分布的实际问题。最后,通过实例分析,验证了该方法的准确性和有效性。
其他文献
齐元富教授认为,宫颈癌是在人体正气亏虚,脏腑阴阳气血失调的基础上,气湿痰瘀等相互搏结的产物。肝失疏泄,气机郁结,脾虚湿困,湿毒胶积,冲任脉虚,肾阳虚衰,胞脉气血运行受阻,
<正>现在,人类研制的一些机器人即将或已经可以代替人类承担某些特定的工作和任务。也许有一天,他们甚至能拥有"齐天大圣"孙悟空都没有的本领。
采用充填浮选柱正-反柱式浮选工艺流程,以云南某胶磷矿为研究对象,考察了捕收区高度、表观气体流速、表观洗水流速等操作条件对分选效果的影响。结果表明,采用柱式正-反静态
流感是由A型流感病毒引起的急性高度接触性传染病,特别是鸡对禽流感有较高的易感性。A型禽流感病毒历来被认为是人类流感的最大基因库,是人流感病毒发生变异的新基因来源。国
三维激光扫描技术以获取被测物体三维轮廓数据为目的,提取激光照射到被测物体形成的激光条纹的三维信息,从而快速获取被测物体表面的三维坐标数据。在图像处理中,经过去噪处理、图像灰度二值化、激光条纹细化等一系列改进的算法,较好地实现了激光条纹图像信息的提取,从而获得了较为理想的效果图。
在小学义务教育阶段,美术教学是学生不可获缺的学习课程。在美术教学中,如何进一步培养学生的审美能力是值得每个美术教师高度重视的问题。为小学美术教师日后的教学提供有效
信息系统核属性求解是粗集理论中的重要问题之一。为了避免因决策表中存在不相容性,导致所求核的错误,提出一种新的求核方法。首先将不相容决策表信息系统转换为相容决策表信息
针对清平磷矿矿石特性.因地制宜地提出“矿浆无需加温”、“正浮选无需添加碳酸盐抑制剂”、“反浮选无需添加磷酸”、“反浮选无需添加碳酸盐捕收剂”的“四无”正反浮选工艺
【正】万寿菊‘京鸿’Tagetes erect’Jinghong’学名Tagetes erecta‘Jinghong’科属菊科万寿菊属行态特征’京鸿’为矮生型万寿菊新品种,花朵为鲜艳的桔红色(RHS23A),蜂窝
通过分析造成地震发生的各种因素之间的关系,提出了将极值理论和地震时间序列匹配相结合用于地震趋势研究的基本思想。针对传统地震时间序列匹配算法的不足,提出了将基于形态的时间-震级二维相似性匹配算法和极值理论相结合对未来地震趋势进行分析的方法。该方法采用时间-震级二维相似性匹配的方法寻找最佳地震匹配区域,用极值理论对该区域地震活动的复发周期和发震概率及其概率阈值进行数据处理,从而获得对该地区未来一段时间