| 一种自动机学习和符号化执行的软件自动测试方法 |
| |
| 引用本文： | 陈曙,叶俊民,张帆.一种自动机学习和符号化执行的软件自动测试方法[J].计算机科学,2013,40(8):161-164. |
| |
| 作者姓名： | 陈曙 叶俊民 张帆 |
| |
| 作者单位： | 华中师范大学计算机学院 武汉430079;华中师范大学计算机学院 武汉430079;杭州电子科技大学通信工程学院 杭州 310018 |
| |
| 基金项目： | 本文受中央高校自主科研基金(CCNU11A01012,CCNU11A02007),湖北省自然科学基金(2010CDB04001)资助 |
| |
| 摘 要： | 针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
|
| 关 键 词： | 自动机 自动测试 符号化执行 抽象机 |
| 收稿时间： | 2012/10/21 0:00:00 |
| 修稿时间： | 2013/1/14 0:00:00 |
Automatic Program Testing with Dynamic Symbolic Execution and Model Learning |
| |
| CHEN Shu,YE Jun-min and ZHANG Fan.Automatic Program Testing with Dynamic Symbolic Execution and Model Learning[J].Computer Science,2013,40(8):161-164. |
| |
| Authors: | CHEN Shu YE Jun-min and ZHANG Fan |
| |
| Affiliation: | School of Computer Science,Huazhong Normal University,Wuhan 430079,China;School of Computer Science,Huazhong Normal University,Wuhan 430079,China;Communication School,Hangzhou Dianzi University,Hangzhou 310018,China |
| |
| Abstract: | |
| |
| Keywords: | Automation Auto testing Symbolic execution Abstract machine |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
