CAJ | 학술논문

软件缺陷是导致软件不可靠的根本原因，提高软件可靠性的关键在于减少软件缺陷。基于缺陷模式的代码分析技术根据预先设定好的缺陷模式对待测代码进行缺陷分析，这种缺陷分析具有使用简单、查找速度快等优点，是近年来静态代码分析技术中发展比较迅速的新技术。但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力。本文出了一种支持用户定制语法相关缺陷模式的测试方法及系统，该方法能够让用户根据实际情况需要对缺陷模式进行定制，目的是检测程序代码中是否包含语法相关的缺陷。
연건결함시도치연건불가고적근본원인，제고연건가고성적관건재우감소연건결함。기우결함모식적대마분석기술근거예선설정호적결함모식대대측대마진행결함분석，저충결함분석구유사용간단、사조속도쾌등우점，시근년래정태대마분석기술중발전비교신속적신기술。단시목전기우저충분석기술적대다수공구병몰유위용호제공족구역용、고효적확전방식이확충기결함검측능력。본문출료일충지지용호정제어법상관결함모식적측시방법급계통，해방법능구양용호근거실제정황수요대결함모식진행정제，목적시검측정서대마중시부포함어법상관적결함。
Software defects are the basic reasons causing software unreliable, thus reducing defects is the key to reliability of software. The pattern based code defect analysis approach finds defects for subject programs with the aid of predefined defect pattern knowledge. The advantage of this kind of approach lie in the simplicity of its usage and the efifciency of its analysis, which make it a new technique with more rapid development among different approaches of static code defect analysis recently. However, among the available tools based on the approach, the extension modes provided by most of them are neither friendly nor efifcient enough for users to extend their defect analysis capability. The author proposes a method for defect patterns customization. The method enabled its users to customize defect patterns according to their needs. The purpose is to examine whether there exists software defects in the object programs.