【摘 要】
：
随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位,但其冗余度高、覆盖率低的缺陷限制了它的应用.程序不变量是程序的某个或某些
【机 构】
：
中国科学技术大学计算机科学与技术学院,合肥230026安徽省计算与通讯软件重点实验室,合肥230026中国科学技术大学计算机科学与技术学院,合肥,230026;
论文部分内容阅读
随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位,但其冗余度高、覆盖率低的缺陷限制了它的应用.程序不变量是程序的某个或某些特定的点上保持为真的属性,它可以提供程序运行时的有价值的信息.提出一种不变量指导下的随机测试用例的自动化生成方法.这种方法通过提取程序运行时的动态不变量,指导随机测试用例的生成,并且利用随机生成的无效用例的反馈信息,约简冗余的随机用例空间,增大了选中有效用例的概率.实验结果表明,该方法在保持随机测试的高揭错能力的前提下,可以有效的降低随机测试的冗余度,提高其覆盖率.
其他文献
不久前,上海唐龙海产食品有限公司新近研制成功的面包虾系列产品,向美国发出了第三个集装箱.
为进一步加强无疫区管理,提高全省兽医实验室口蹄疫等动物疫病检测技术水平,促进全省监测工作,吉林省口蹄疫等动物疫病检测技术培训班5月11日在甘肃兰州顺利开班.
随着我国经济的快速发展,城市化进程的加快,土地资源越来越紧张,无论是大城市还是经济发达的小城镇,高层建筑如雨后春笋拔地而起.高层建筑因其总体架构比较庞大,需要坚实的地
针对车载自组织网络(VANET)中的通信拥塞问题,提出一种结合和声搜索(HS)和禁忌搜索(TS)的VANET分布式拥塞控制方案。首先,周期性的检测信道使用率并判断拥塞;然后,以最小化延
高强预应力混凝土管桩,简称PHC管桩,该桩经过近几年的发展使用范围越来越广,桩身混凝土强度已达C80及以上,工厂化生产质量稳定可靠,经济性比好等优点,被广泛应用于公共建筑和
在按需计算的网格环境下,通常运行在同一个网格结点中的服务可能来自不同的组织。因此,在实际的网格系统中,要保护这些服务不受结点内其它非法服务的攻击。论文主要分析了基于WSRF网格结点中运行的服务所面临的两种安全威胁。
高层建筑土建施工包括土的运作和土上建筑,与普通建筑相比,高层建筑施工更加复杂,难度也有所增加.近年来,新材料和新技术被不断应用到高层建筑施工中,有力地推动了建筑业的发
文章提出了一种新的小波域鲁棒性水印算法,将载体图像小波变换后的近似子带进行分块,结合HVS,用密钥对子块进行选择,直接进行灰度水印的嵌入。该算法具有嵌入和提取过程十分简单、水印嵌入信息量大、鲁棒性强等突出特点,并能够实现水印盲检测。
预算管理是建筑施工企业财务管理中最为重要的一部分,随着建筑施工行业的不断发展,人们对于预算管理的要求也越来越高,现在的大部分建筑施工企业都在实行全面预算的管理方式,
针对目前南美白对虾养殖环节存在的溯源点不清晰、养殖过程监管薄弱、品质评价不健全等品质风险问题,以HACCP为基准,结合国内外在养殖环节关键影响要素研究现状,对养殖环节建