一种块覆盖软件测试自动化工具的设计与实现

摘要：

本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装器等功能的具体实现.该工具实现了未覆盖代码定位,测试覆盖率与测试用例最小化的自动化分析与运算,已在实际中得到应用。最后用实例展示了SAT的功能.

关键词： 软件测试 代码插装 块覆盖 自动化工具SAT

作者: 徐晓峰 陈艳 林晓鹏 李伊飚 郭东辉

作者单位: 厦门大学物理系,福建 厦门 361005 厦门大学通信工程系,福建厦门,361005 厦门大学物理系,福建 厦门 361005 厦门大学电子工程系,福建 厦门 361005

会议类型: 国内会议

会议名称: 2008年中国智能系统工程学术大会

会议地点: 成都

会议语种:中文

页码: 198-202

在线出版日期: 2008-09-28（万方平台首次上网日期，不代表论文的发表时间）