사용자 정의에 의한 프로그램의 변칙구조의 검출 = A Detection Method of User Defined Irregular Styles

다국어 초록 (Multilingual Abstract)

A static program analyzing tool has been desined and developed. The specific feature of this tool is that a user can define target properties.
Even if a software system is developed according to a standard procedure each project must have the variety of details in the standard procedure. This tool regards the coding standard as a set of static properties of user program. In this tool, a target of detection, which is called Irregular Style, can be freely defined by a user.
This paper describes the notation of definition of Irregular Styles, the detection strategy, and the results of its evaluation.

목차 (Table of Contents)

• ABSTRACT = 187
• Ⅰ. 序論 = 187
• Ⅱ. 본도구의 槪要 = 188
• Ⅲ. 변칙구조 모델의 記述法 = 188
• 1. 表題 = 188
• 2. 構造記述 = 188
• 3. 條件記述部 = 189
• Ⅳ. 變則構造의 檢出 = 191
• 1. 모델술어의 成否 = 192
• 2. 기호실행 = 192
• 3. 실행결과 = 192
• Ⅴ. 評價 = 193
• Ⅵ. 結論 = 194
• 參考文獻 = 194