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

Design and Implementation of an Integrated Testing Platform for C/C++ Programs

作　　者：毛澄映[1] 卢炎生[1] 谢晓东[1] 江胜[1] 顾海波[1] 

机构地区：[1]华中科技大学计算机科学与技术学院

出　　处：《小型微型计算机系统》2007年第6期1037-1043,共7页Journal of Chinese Computer Systems

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

摘　　要：研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.The automatic or semi-automatic testing tools bring great effect on software development, in particular, they can improve the software production greatly. In order to facilely perform testing on C or C＋ ＋ programs, a prototype tool called CppTest is designed and implemented. It can employ three levels＇ testing, namely （1） structural testing in method level by analyzing program＇s constrcuts, instrumenting probes, redirecting I/O stream and etc., （2） state-based class level testing through modeling state transition behaviors using an extended finite state machine （EFSM） from the class specifications, and （3） system level black-box testing with some traditional strategies such as equivalence partitioning and boundary-value analysis. In addition, the tool can employ clustering analysis on the failure executions and then sample fairly few representative test executions to direct program diagnosis. Multi-levelsr testing capability, test project management, high automation, visualization and scalability are the remarkable merits of the prototype system.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]