曹青
- 作品数：2 被引量：7H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于库函数动态跟踪的Fuzzing测试方法被引量：2
- 2010年
- 在分析库函数安全性的基础上,提出基于库函数动态跟踪的Fuzzing测试方法,通过动态跟踪目标程序对不安全库函数的调用,并在输入数据中搜索匹配函数调用参数,以此来准确定位错误注入点。设计并实现了基于该方法的测试工具,经过对漏洞软件测试的对比实验,验证了该方法的有效性和高效性。
- 黄奕曾凡平曹青
- 关键词：漏洞挖掘FUZZING技术
- 随机测试用例的自动化生成和约简被引量：5
- 2011年
- 自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设计实现了带预设值的随机测试用例自动生成器,并利用不变量提取技术进行约简,实现了高质量测试用例的全自动化生成和约简.实验证明,本文实现的技术有效提高了随机测试的代码覆盖率;测试用例约简效果明显;并能有效揭示程序中的错误.
- 潘能刚曾凡平曹青
- 关键词：软件测试测试用例程序不变量
