一个C/C++程序集成测试平台的设计与实现

摘要：

研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.

关键词：静态分析、结构性测试、基于状态的类测试、测试驱动器、聚类分析

所属期刊栏目：28

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

资助基金：国家科技预研项目413150902;10104010201;湖北省自然科学基金2005ABA266

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

页数：共7页

页码：1037-1043