计算机应用

作者：张家奇, 牟永敏, 张志华

单位：网络文化与数字传播北京市重点实验室(北京信息科技大学), 北京 100101

关键词：控制流,函数特征,函数调用,伪代码,一致性检测

基金：网络文化与数字传播北京市重点实验室开放课题（5221935409）。

针对目前软件设计与实现一致性检测方法需要大量模板集，难以一般化的问题，提出一种基于控制流的软件设计与实现一致性分析方法。首先，将设计文档伪代码和程序源代码转换为具有相同特征的中间表示，从中间表示中分别提取设计特征和实现特征，特征包括能反映系统结构的函数调用关系和能反映函数内部结构的控制流信息；然后，根据设计特征和实现特征分别建立设计特征模型和实现特征模型；最后，通过计算特征相似度来度量特征模型的相似度，进而获取一致性检测结果。实验结果表明，所提方法在软件实现的函数调用关系与设计不一致时，能够正确检测不一致函数调用关系；而在软件实现的函数调用关系与设计一致时，能够正确检测函数内部结构的不一致情况，准确度达到了92.85%。该方法可以有效获取一致性检测结果，不需要模板集，具有更优越的一般性。

来源：2020年第10期

《计算机应用》期刊编辑部

查看计算机应用杂志2020年第10期