基于失效聚集度改进自适应随机测试算法

来源 :计算机应用 | 被引量 : 12次 | 上传用户:deiaw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于现有的自适应随机测试(ART)算法针对点状失效模式普遍存在有效性和效率均比随机测试(RT)差的问题,提出一种基于失效聚集度的自适应随机测试(CLART)算法,对传统的ART——固定候选集(FSCS)、区域排除随机测试(RRT)等算法进行改进。首先,根据被测程序的输入域估计主失效聚集度,确定局部搜索区域;然后,在区域内使用传统ART算法生成若干测试用例(TC)进行测试;若未发现错误,重新选择局部区域生成TC;重复这一过程直至发现错误。仿真实验显示在点状失效模式和块状失效模式下CLART算法的有效性
其他文献
通过本企业建立与实施环境/职业健康安全管理体系,并结合建筑施工行业的经营特点,阐述了建筑施工企业建立和实施环境/职业健康安全管理体系的具体步骤和方法,对建筑施工企业充分、
技术型员工作为中小企业的核心人才,是企业发展的关键因素,也是员工激励的重点。中小企业难以采用股权激励等方式留住技术人才,但可借鉴晋商"身股制"模式,根据自身实际和技术
建筑陶瓷行业是晋江市的支柱产业之一,属于高能耗、高污染行业。近年来,在晋江市建筑陶瓷项目环评过程中常遇到企业选址不合理,资源能源利用低效,总量控制指标不足以及清洁生
目前大多数时域视频帧复制粘贴篡改检测算法都是针对至少20帧以上的视频子序列的复制粘贴篡改,而对单帧复制粘贴篡改无法判断。而根据人眼视觉感知的特性,修改视频内容需要至
结合金山立交工程概况,阐述了该工程一次顶入法的施工方案,重点探讨了线路加固及其技术要求以及顶进施工,为既有铁路改造的桥涵顶进施工提供了技术资料。
纤维素是由葡萄糖单元通过β-1,4-糖苷键连接而成的高聚物,水解可获得葡萄糖等一系列化合物。目前常使用生物酶、无机酸、超临界水催化纤维素水解,却存在生产成本高、产品难
针对高等级公路的建设,提出了公路工程建设中存在的质量问题,就影响工程质量的因素进行了分析研究,指出了人人都应树立质量忧患意识,以防治公路工程质量通病,从而确保公路工
结合AutoCAD技术的广泛应用,总结了AutoCAD在水利工程制图中的应用,包括巧借Excel在AutoCAD中绘曲线、用AutoCAD制作表格、Wrod文档中插入AutoCAD图形等,重点介绍了AutoCAD中修剪、延伸及镜像命令的巧用,同时对BAK及PURGE的应用也进行了说明,以推广AutoCAD软件的应用。
我国实行教师资格证书制度必要性之辨护陈振华近年来,我国有许多人士每当谈到教师问题或者教育管理问题时,总是呼吁建立教师资格证书制度。国务院颁布的《中国教育改革和发展纲
寻父回乡“起初有些混沌,然后便有了光。光和暗渐渐分离,便有了白天和黑夜。”《圣经·创世纪》中的故事我们都很熟悉。影片开头,这个故事来得不期而遇。故事在海伦·卡兰德