基于缺陷模式的软件测试中的区间运算应用

作者：杨朝红 宫云战 肖庆 王雅文软件测试静态分析区间运算缺陷模式状态机

摘要：基于缺陷模式的软件测试采用静态分析技术，误报问题比较严重．通过对区间数学理论扩展，提出了区间集的运算，以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法；采用May和Must集合来描述条件语句对区间的限定；通过修改数据流方程来跟踪控制流图遍历中的区间变化．将区间运算应用于基于缺陷模式的软件测试，实验结果表明，区间运算能够较好地减少误报和提高缺陷检测精度．

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