基于参数依赖关系检查的测试用例空间约简方法 | |
陈亚莎 ; 叶清 ; 廖建华 | |
刊名 | 北京工业大学学报 |
2010 | |
关键词 | 软件测试 依赖关系 符号执行 可信软件栈 |
英文摘要 | 针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 05; 616-620 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/248987] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 陈亚莎,叶清,廖建华. 基于参数依赖关系检查的测试用例空间约简方法[J]. 北京工业大学学报,2010. |
APA | 陈亚莎,叶清,&廖建华.(2010).基于参数依赖关系检查的测试用例空间约简方法.北京工业大学学报. |
MLA | 陈亚莎,et al."基于参数依赖关系检查的测试用例空间约简方法".北京工业大学学报 (2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论