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

第３１卷第４期 计 算 机 应 用 研 究 Ｖｏｌ．３１Ｎｏ．４ ２０１４年４月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ａｐｒ．２０１４ 基于有限状态机的Ｃ＋＋重载唯一性确定 牟永敏，刘梦婷 （北京信息科技大学计算机开放系统实验室，北京 １００１０１） 摘　要：重载是面向对象技术中的重要特性，由于它在程序中的普遍使用，在使用基于函数调用的路径覆盖方 法对程序进行测试时，会出现很多冗余函数路径，浪费测试资源和时间。针对这一问题，提出了一种基于状态机 的重载唯一性确定方法。依据面向对象特点，分析提取出函数所有调用信息，将提取到的函数原型与函数调用 点在状态机上进行迭代比对，确定每个调用点唯一对应的函数原型。实验表明，该方法针对程序代码中的重载 函数调用点，能确定与之唯一对应的函数，有效剔除重载导致的冗余函数路径，提高测试效率。 关键词：重载；函数路径；唯一性确定；有限状态机 中图分类号：ＴＰ３１１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１４）０４１０５９０４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１４．０４．０２５ ＤｅｔｅｒｍｉｎａｔｉｏｎｏｆｏｖｅｒｌｏａｄｕｎｉｑｕｅｎｅｓｓｉｎＣ＋＋ｂａｓｅｄｏｎｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ ＭＵＹｏｎｇｍｉｎ，ＬＩＵＭｅｎｇｔｉｎｇ （ＯｐｅｎＣｏｍｐｕｔｅｒＳｙｓｔｅｍＬａｂｏｒａｔｏｒｙ，ＢｅｉｊｉｎｇＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅ＆ＴｅｃｈｎｏｌｏｇｙＵｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ１００１０１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｏｖｅｒｌｏａｄｉｓａｎｉｍｐｏｒｔａｎｔｆｅａｔｕｒｅｉｎｔｈｅｏｂｊｅｃｔｏｒｉｅｎｔｅｄｔｅｃｈｎｏｌｏｇｙ．Ｄｕｅｔｏｉｔｓｇｅｎｅｒａｌｕｓｅｉｎｔｈｅｐｒｏｇｒａｍｓ，ｔｈｅｒｅｗｉｌｌ ｂｅｍａｎｙｒｅｄｕｎｄａｎｔｆｕｎｃｔｉｏｎｃａｌｌｉｎｇｐａｔｈｓ．Ｔｈｅｒｅｄｕｎｄａｎｔｐａｔｈｓｗａｓｔｅｔｈｅｔｅｓｔｒｅｓｏｕｒｃｅｓａｎｄｔｉｍｅ．Ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｄａｎａｌ ｇｏｒｉｔｈｍｔｏｄｅｔｅｒｍｉｎｅｔｈｅｏｖｅｒｌｏａｄｕｎｉｑｕｅｎｅｓｓｂａｓｅｄｏｎｔｈｅｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ（ＦＳＭ）．Ｔｈｅａｌｇｏｒｉｔｈｍａｎａｌｙｓｅｄａｎｄｅｘｔｒａｃｔｅｄ ｔｈｅｉｎｆｏｒｍａｔｉｏｎｏｆｔｈｅｆｕｎｃｔｉｏｎｃａｌｌｉｎｇａｃｃｏｒｄｉｎｇｔｏｔｈｅｆｅａｔｕｒｅｓｏｆｔｈｅｏｂｊｅｃｔｏｒｉｅｎｔｅｄｔｅｃｈｎｏｌｏｇｙ．Ｔｈｅｎｉｔｍａｔｃｈｅｄｔｈｅｆｕｎｃｔｉｏｎ ｃａｌｌｉｎｇｐｏｉｎｔｓａｎｄｔｈｅｆｕｎｃｔｉｏｎｐｒｏｔｏｔｙｐｅｓｏｎｔｈｅＦＳＭｉｔｅｒａｔｉｖｅｌｙ．Ａｎｄｉｔｄｅｔｅｒｍｉｎｅｄｔｈｅｕｎｉｑｕｅｆｕｎｃｔｉｏｎｃｏｒｒｅｓｐｏｎｄｉｎｇｔｏｅａｃｈ ｆｕｎｃｔｉｏｎｃａｌｌｉｎｇｐｏｉｎｔ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅａｌｇｏｒｉｔｈｍｃａｎｄｅｔｅｒｍｉｎｅｔｈｅｕｎｉｑｕｅｆｕｎｃｔｉｏｎｏｆｅａｃｈｏｖｅｒｌｏａｄ ｃａｌｌｉｎｇｐｏｉｎｔｉｎｔｈｅｐｒｏｇｒａｍ．Ｉｔｒｅｊｅｃｔｓｔｈｅｒｅｄｕｎｄａｎｔｆｕｎｃｔｉｏｎｐａｔｈｓｇｅｎｅｒａｔｅｄｂｙｏｖｅｒｌｏａｄｅｆｆｉｃｉｅｎｔｌｙａｎｄｉｍｐｒｏｖｅｓｔｈｅｔｅｓｔｉｎｇ ｅｆｆｉｃｉｅｎｃｙ． Ｋｅｙｗｏｒｄｓ：ｏｖｅｒｌｏａｄ；ｆｕｎｃｔｉｏｎｐａｔｈｓ；ｕｎｉｑｕｅｎｅｓｓｄｅｔｅｒｍｉｎａｔｉｏｎ；ＦＳＭ 确定问题抽象为一种模型，并且根据静态分析时获得函数重载 　引言 调用点信息，建立状态机的实例，并通过在对静态分析时提取