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