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

摘要：

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

关键词：代码缺陷、模式、形式化表示

所属期刊栏目：36

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家部委基金

在线出版日期：2010-05-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：47-49