| 基于参数依赖关系检查的测试用例空间约简方法 |
| |
| 引用本文： | 陈亚莎,叶清,廖建华.基于参数依赖关系检查的测试用例空间约简方法[J].北京工业大学学报,2010,36(5). |
| |
| 作者姓名： | 陈亚莎 叶清 廖建华 |
| |
| 作者单位： | 海军工程大学,电气与信息工程学院,武汉,430033;北京大学,信息科学技术学院,北京,100871 |
| |
| 基金项目： | 国家"九七三"计划资助项目，国家"八六三"计划资助项目 |
| |
| 摘 要： | 针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.
|
| 关 键 词： | 软件测试 依赖关系 符号执行 可信软件栈 |
Dynamic Arguments Dependence Analysis Technique for Test-suite Deduction |
| |
| CHEN Ya-sha,YE Qing,LIAO Jian-hua.Dynamic Arguments Dependence Analysis Technique for Test-suite Deduction[J].Journal of Beijing Polytechnic University,2010,36(5). |
| |
| Authors: | CHEN Ya-sha YE Qing LIAO Jian-hua |
| |
| Affiliation: | CHEN Ya-sha1,YE Qing1,LIAO Jian-hua2 (1.Department of Electrical and Information Engineering,Naval University of Engineering,Wuhan 430033,China,2.School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China) |
| |
| Abstract: | For the purpose of test-suite deduction,we present an algorithm that combines symbolic execution with dynamic computation and maintenance of dependence relationship between arguments is presented.Firstly,the definitions of dependence relationship between arguments are introduced.Secondly,our algorithms can dynamically analysis the information flow of arguments inside the program is conducted by the algorithm.The proposed theory and method are then applied in TCG Software Stack testing,which proves that they... |
| |
| Keywords: | software testing dependence relationship symbolic execution TCG software stack |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
