基于有限状态机的C++重载唯一性确定  

Determination of overload uniqueness in C++ based on finite-state machine

作　　者：牟永敏[1] 刘梦婷[1] 

机构地区：[1]北京信息科技大学计算机开放系统实验室,北京100101

出　　处：《计算机应用研究》2014年第4期1059-1062,共4页Application Research of Computers

基　　金：北京市学科与研究生教育基金资助项目(PXM2013_014224_00004);北京市教委计划科研资助项目(KM201110772016)

摘　　要：重载是面向对象技术中的重要特性,由于它在程序中的普遍使用,在使用基于函数调用的路径覆盖方法对程序进行测试时,会出现很多冗余函数路径,浪费测试资源和时间。针对这一问题,提出了一种基于状态机的重载唯一性确定方法。依据面向对象特点,分析提取出函数所有调用信息,将提取到的函数原型与函数调用点在状态机上进行迭代比对,确定每个调用点唯一对应的函数原型。实验表明,该方法针对程序代码中的重载函数调用点,能确定与之唯一对应的函数,有效剔除重载导致的冗余函数路径,提高测试效率。Overload is an important feature in the object-oriented technology. Due to its general use in the programs, there will be many redundant function calling paths. The redundant paths waste the test resources and time. This paper proposed an al- gorithm to determine the overload uniqueness based on the finite-state machine （ FSM ）. The algorithm analysed and extracted the information of the function calling according to the features of the object-oriented technology. Then it matched the function calling points and the function prototypes on the FSM iteratively. And it determined the unique function corresponding to each function calling point. The experiment results show that the algorithm can determine the unique function of each overload calling point in the program. It rejects the redundant function paths generated by overload efficiently and improves the testing efficiency.

关 键 词：重载 函数路径 唯一性确定 有限状态机 

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