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