基于参数依赖关系检查的测试用例空间约简方法
针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.
软件测试、依赖关系、符号执行、可信软件栈
36
TP309(计算技术、计算机技术)
国家"九七三"计划资助项目2007CB311100;国家"八六三"计划资助项目2006AA01Z440
2011-05-23(万方平台首次上网日期,不代表论文的发表时间)
616-620