代码缺陷模式的概念及形式化表示

Concept and Formalization Description of Code Error Pattern

针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下。实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性。

Aiming at the problems that many defects, e.g., obscure error generation-scenario and lacking of formalization exist in field of code error research, this paper represents definition of code error pattern based on definition of pattcrn. It investigates the tbrmalization description of code error pattern based o11 the three key elements of the code error pattern. It adopts extended pattern description language-based formalization description method. This method reflects both the direct scenario and the error code structure in the same concept. This paper represents a case study and confirms the rationality of the code error pattern concept and the effectiveness of the formalization description method.