白盒测试中指定路径测试用例的自动生成
周奇
武汉数字工程研究所,武汉,430074
摘要：单元测试阶段结构覆盖测试往往要求语句覆盖率和分支覆盖率均达到100%.然而对于含有复杂控制算法的程序,人工编写测试用例较为复杂,很难达到100%的覆盖率.利用迭代松弛法作为核心算法实现了结构覆盖测试用例的自动生成.文章首先简单介绍了迭代松弛法的思想及具体实施步骤,然后给出了系统的实现方法,最后对于该方法的扩展应用进行了展望.
关键词：软件测试结构覆盖测试迭代松弛法非线性约束测试用例
分类号：TP311.5(计算技术、计算机技术)
论文发表日期：2005-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 67-69,79 )
英文信息