CAJ | 학술논문

针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下.实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性.
침대대마결함연구중존재적결함산생장경불명학이급형식화정도교저등문제,기우모식적정의급출대마결함모식정의,이기핵심삼요소위기출,대대마결함모식형식화표시진행연구,채용기우확전모식묘술어언적형식화표시법,장직접장경화결함대마결구공동반영우동일개념하.실례험증료대마결함모식개념적합이성급기형식화표시법적유효성.
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 pattern. It investigates the formalization description of code error pattern based on 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.