基于子路径扩展的不可达路径检测方法

Zjianeng

摘 要： 不可达路径是造成软件测试资源消耗的一个重要方面．在路径测试之前，检测程序中的不可达路径可 以有效节约软件测试资源．提出了一种基于子路径扩展的不可达路径静态检测方法．该方法首先生成程序的子路径 集，将路径的可达性问题转换为不等式组的求解问题．使用约束求解器判断子路径的可达性，可以分为：可达子路径， 不可达子路径和无法判定三个部分，并对后面两部分的子路径扩展出的路径做二次可达性检测，最终获得程序中所有 路径的可达性信息．可达性检测工作主要在子路径集上进行，因此有效地解决了路径爆炸问题．实验结果表明本文方 法可以准确有效地检测出程序中的不可达路径．
; f2 b5 i9 u5 I% O* G. J7 k6 q3 i
关键词： 软件测试；子路径扩展；不可达路径检测；约束求解



软件测试是保证软件质量的重要手段．测试工作 中，如果测试人员期望覆盖的路径是一条不可达路径， 那么针对该路径的测试用例生成工作会耗费大量的时 间与精力，却达不到预期的测试目标，造成测试资源的 浪费．人们需要在测试工作之前，识别出不可达路径以 避免资源浪费．可见，针对不可达路径检测技术的研究 具有重要意义．


附件下载: 基于子路径扩展的不可达路径检测方法.pdf (542.74 KB, 下载次数: 0)

2021-4-26 10:40 上传

点击文件名下载附件
下载积分: 威望 -5

  P: C/ b* _  F5 ~6 G# N' m& P

senlenced3

子路径扩展