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

• 来源期刊: 计算机应用研究
• 关键词: 重载 函数路径 唯一性确定 有限状态机
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1059-1062
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.04.025

摘要

重载是面向对象技术中的重要特性，由于它在程序中的普遍使用，在使用基于函数调用的路径覆盖方法对程序进行测试时，会出现很多冗余函数路径，浪费测试资源和时间。针对这一问题，提出了一种基于状态机的重载唯一性确定方法。依据面向对象特点，分析提取出函数所有调用信息，将提取到的函数原型与函数调用点在状态机上进行迭代比对，确定每个调用点唯一对应的函数原型。实验表明，该方法针对程序代码中的重载函数调用点，能确定与之唯一对应的函数，有效剔除重载导致的冗余函数路径，提高测试效率。