【摘 要】
：
动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究
【基金项目】
：
国家973计划资助项目（2005CB321801）
论文部分内容阅读
动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构（ISA）的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,
其他文献
央视春晚通过歌舞、相声、小品等多种样态的节目编排,通过对国家符号、社会元素、时代热点话题的串联,以中华民族大联欢的形式在荧屏呈现。经过长期发展,央视春晚已形成了一
应用级checkpointing技术是同构系统上最为常用和成熟的容错技术，但在异构系统下的应用还处于起步阶段，还没有一套严谨合理的针对异构系统架构和故障模型特点的实现方案和配置
（A）根据上下文内容及所给首字母提示，写出空白处的单词完成对话。
现如今,越来越多优秀的文化类综艺节目开创了传统文化在电视媒体中传播的新局面,促使中华传统文化得以大力弘扬。其中,央视原创的综艺节目《中国诗词大会》打造诗词文化的盛
在当前的课堂教学中，教师的教学观念和方式都已发生了可喜的变化，合作学习、探究学习等现代教学方式已广泛运用于中小学的课堂教学，课堂教学逐渐活了起来。然而，透视课堂细节，也可
本文在深入研究基于M-最优假设航迹关联方法和假设管理技术的基础上,提出了构建组合关联体的假设管理技术。利用该技术,提出了基于M-最优假设组合航迹关联算法。该方法在有效
为使农民的精神生活更加丰富，本文根据我国农村地区现今广播电视的现状，提出了对农村地区实施“户户通”工程的主要方向，并针对工程实施过程中出现的一系列问题提出有效的解决办
近几年国内真人秀节目迅速繁荣、发展、扩充,目前已经成为在内容制作方、播放平台、参与者、受众等多个范畴内同时受到重视、关注和热议的节目类型。其中旅行类真人秀是一个
教学反思是教师教学思考和教学策略调整过程中的重要一环，它是教师在教学实践中不断提高自身能力的一种表现。文章结合中学教师教学反思现象，就中学教师教学反思问题与对策进行
基于虚拟机环境下虚拟块设备多样性的特点以及对高可用、容错等能力的需求,本文针对目前主流的虚拟机体系结构,提出了一种在虚拟机管理器中为虚拟块设备扩展通用快照功能的机