白盒测试中指定路径测试用例的自动生成

摘要：

单元测试阶段结构覆盖测试往往要求语句覆盖率和分支覆盖率均达到100%.然而对于含有复杂控制算法的程序,人工编写测试用例较为复杂,很难达到100%的覆盖率.利用迭代松弛法作为核心算法实现了结构覆盖测试用例的自动生成.文章首先简单介绍了迭代松弛法的思想及具体实施步骤,然后给出了系统的实现方法,最后对于该方法的扩展应用进行了展望.

关键词：软件测试、结构覆盖测试、迭代松弛法、非线性约束、测试用例

所属期刊栏目：25

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：67-69,79