基于参数依赖关系检查的测试用例空间约简方法

作者：陈亚莎 叶清 廖建华软件测试依赖关系符号执行可信软件栈

摘要：针对待测功能函数各参数间存在的控制或数据依赖关系，提出了一种利用符号执行约简测试用例空间的算法．具体内容包括：给出了基于控制流图的程序参数依赖关系定义；在此基础上，根据输入参数变量在程序执行时的信息流，提出了一种参数依赖关系的动态分析算法；将该方法应用于可信软件栈的功能测试中．实验结果表明：该方法在约简测试用例空间上具有较强的实用性，同时不会降低测试原有的检错能力．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社