论文部分内容阅读
针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件推导规则,用于描述文件中结构的组织形式、结构与结构之间的依赖关系,生成同一格式下不同类型的文件并对每类文件进行模糊测试。实验结果表明,该方法能有效找到文件处理软件的脆弱点。
基于文件规范描述的文件模糊测试
【摘 要】
：
针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件推导规则,用于描述文件中结构的组织形式、结构与结构
【机 构】
：
解放军信息工程大学信息工程学院,北京北方计算中心,中国科学院软件研究所
【出 处】
：
计算机工程
【发表日期】
：
2010年16期
【基金项目】
：
国家自然科学基金资助项目（60603017）, 国家部委基金资助项目
其他文献
屯溪绿茶检验借鉴了祁门红茶的经验，检验程序与检验内容也多与祁红检验类似，他们都是以全国检验条例及标准为基础，结合了当地条件，免收检验费用，得到了茶商、茶号的支持，进展也较为
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句
物流金融是多方合作的操作模式,是发达国家广泛开展的一项增值业务。仓储企业开展物流金融协同下的管理工作涉及到物流金融、供应链、协同学等理论知识。本文通过对国内外物
6月9日-10日，福建省农业厅、财政厅组织有关人员，对安溪县2009年现代茶业生产发展项目进行全面验收。验收组深入华祥苑有机茶园有限公司、八马茶业生产基地等各文施点，进行现场
信息时代背景下,现代教育装备也得到了广泛的应用,并成为了帮助学生获取、掌握更多知识的重要教育工具。信息化教学有显著的互动性、可控性、多变性,将其应用到教学实践活动
提出一种在多核平台上的快速多线程编程模型ThreadXML。该模型通过使用标记语言形式,提高程序的开发效率,支持可视化,增强并行程序设计的移植性。其中,语言模型编译器的实现
针对现有分块算法并行度低、负载不平衡的缺陷,提出一种基于多区域多代码问题的自动分块算法。通过循环分配算法实现计算区域间的处理器分配,基于Block的递归二分法对无向图
样本标记是一个重要但又比较耗时的过程。得到一个多标签分类器需要大量的训练样本,而手工为每个样本创建多个标签会存在一定困难。为尽可能降低标记样本的工作量,提出一种加
本科生导师制是构建素质教育、培养创新人才的一种教育改革新模式，是对传统本科教育模式的补充和丰富。目前已在国内许多高校尝试实行，并取得了良好效果，但在具体实施与实践中仍