测试资源受约束的安全关键软件加速测试方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:gulongliu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法。该方法利用一种新的随机优化技术——交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数据集。实验结果表明该方法能有效地降低软件失效风险,提高测试效率,是一种快速有效的加速测试方法。
其他文献
在这里会忘记的人是不知道标准数量的人,也即不懂得适度,这是因为没有智慧的帮助。智慧是如何获得的?通过灵魂转向,而灵魂转向发生在《王制》第七卷的"洞穴"之中。"洞穴"影像
<正>"智慧城市"不仅在于对城市未来发展的战略构想,更为具有表象意义的是让广大的市民能切身感受到城市的"智慧"存在,而这也是智慧城市展现
随着世界能源的紧张,各国越来越重视稠油的开发。目前在稠油的输送中使用的输送泵存在诸如效率低、维护周期短、维护费用高、对环境存在污染等问题。因此开发高效、节能、环
利用室内生物测定的方法研究了三种不同来源的水溶性煤基酸对六种除草剂(2,4-D丁酯、草甘膦、巨星、禾大壮、乙草胺和百草枯)生物活性的影响.结果表明:水溶性煤基酸对2,4-D丁
鲁迅对翻译问题作了许多精湛的论述,其中他提出的"硬译"观点在当时译学界产生了极大的影响。通过当时的社会背景分析,探究这一观点提出的原因、目的、内涵及其深远意义。
回顾了灌溉水利用效率评价指标的发展历史,分析了现有灌溉水利用效率评价指标的不足,总结了其适用条件。结果表明,目前还没有一套在任何条件均适用的灌溉水利用效率评价的量
分析了电力负荷管理终端的功能需求;提出了基于嵌入式数据库的电力负荷管理终端的解决方案;在研究了嵌入式数据库SQLite内部结构的基础上,设计了电力负荷管理终端的数据库系
<正>出版:人民美术出版社定价:60元发行:连环画出版社订购方式:全国各地新华书店也可向中国美术出版总社读者服务部联系购买详情请向读者服务部咨询
本文主要介绍了我国高新技术产业的重要性、必要性、迫切性。论述了建立技术创新体系,让中小企业成为创新的主体的设想;引进风险投资机制,为我国高新技术产业提供良好的发展机会