[논문 리뷰] A Practical Approach for Detecting Logical Error in Object Oriented Environment

Ghassan Samara|arXiv (Cornell University)|2017. 12. 12.

Software Reliability and Analysis Research참고 문헌 1인용 수 3

한 줄 요약

이 논문은 Xceed, Alsing, Mind Fusion 컴포넌트와 같은 통합 도구를 통해 올바른 객체 행동을 강제함으로써 객체 지향 프로그램에서 논리적 오류를 탐지하는 데 실용적인 프레임워크인 객체 행동 환경(Object Behavior Environment, OBEnvironment)을 제안한다. 이는 상태 다이어그램을 통한 상태 전이 시각화를 가능하게 하며 문법적 정확성을 보장하여 개발 과정에서 논리적 오류를 크게 줄이고 소프트웨어 품질을 향상시킨다.

ABSTRACT

A programming language is a formally constructed language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs to control the behavior of a machine or to express algorithms. Most programs that are written by programmers are often compiled correctly with no syntax or semantic errors. However, some other errors appear after the execution of the program (logical error). Logical Errors (LE) are errors that remain after all syntax errors have been removed. Usually, the compiler does not detect LE, so the produced results are different from what the programmer is expecting. For this reason, discovering and fixing the logical error is very hard and proposes a good topic for research and practice. Some LE are resulted from the misuse of classes' objects, and in Software Development Life Cycle (SDLC), it is considered that the software with LE is low-quality software with high maintenance cost. In this paper, an object-oriented environment that allows the programmer to detect and discover LE to avoid it. This environment will be called Object Behavior Environment (OBEnvironment) will enforce the correct use of objects according to their predefined behaviors by using tools like Xceed Component (that appeal .Net windows form developers for building better applications), Alsing Component (that provides an area to programmer that allows writing correct syntax code by C# language) and, Mind Fusion Component (that provides an area to programmer that allows drawing State Diagrams to show object state).

연구 동기 및 목표

• 컴pile 이후에도 여전히 존재하는 객체 지향 프로그램에서 탐지되지 않은 논리적 오류의 문제를 해결하기 위해.
• 소프트웨어 유지보수 비용을 줄이기 위해 소프트웨어 개발 생애주기(SDLC) 초기 단계에서 논리적 오류를 식별하기 위해.
• 사전 정의된 행동 기반으로 정확한 객체 사용을 강제하는 실용적이고 통합된 환경을 개발자에게 제공하기 위해.
• 상태 다이어그램을 통한 객체 상태 전이 시각화를 통해 소프트웨어 품질을 향상시키기 위해.
• 개발자 友好的 도구(Xceed, Alsing, Mind Fusion)를 통합하여 실시간 오류 탐지를 위한 유기적인 환경을 조성하기 위해.

제안 방법

• OBEnvironment는 Xceed 컴포넌트를 통합하여 .NET Windows Forms 개발에 향상된 UI 및 검증 기능을 제공한다.
• Alsing 컴포넌트를 사용하여 C# 개발자가 문법적으로 올바른 코드를 작성하도록 지원함으로써 문법 관련 문제를 줄인다.
• Mind Fusion 컴포넌트를 활용해 객체 행동을 시간에 따라 모델링하는 상태 다이어그램을 생성하고 시각화한다.
• 사전 정의된 행동 사양에 기반해 상태 전이를 검증함으로써 객체 사용의 정확성을 강제한다.
• 코드 구조의 정적 분석과 동적 상태 모델링을 결합하여 런타임 이전에 논리적 일관성 없는 사항을 탐지한다.
• 개발 생애주기 내부에 통합되어 코딩 중 실시간 피드백을 제공한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 개발 과정에서 논리적 오류를 조기에 탐지하여 유지보수 비용을 줄일 수 있는가?
• RQ2 시각화된 상태 다이어그램은 개발자가 객체 행동을 이해하고 정확한 행동을 강제하는 데 어떤 역할을 하는가?
• RQ3 통합된 개발 도구는 코딩 워크플로우를 방해하지 않으면서 논리적 오류 탐지 능력을 향상시킬 수 있는가?
• RQ4 문법 검증과 상태 모델링의 병합된 접근 방식은 논리적 오류 탐지에 얼마나 효과적인가?
• RQ5 사전 정의된 객체 행동을 강제함으로써 소프트웨어 품질과 오류 감소에 어떤 영향을 미치는가?

주요 결과

• OBEnvironment는 시각적 상태 다이어그램을 사용해 사전 정의된 상태 전이에 기반해 객체 행동을 검증함으로써 논리적 오류를 성공적으로 줄였다.
• Xceed, Alsing, Mind Fusion 컴포넌트의 통합은 문법 및 행동 정확성에 대한 실시간 피드백을 가능하게 했다.
• 개발자들은 논리적 일관성의 조기에 탐지됨으로써 코드 품질 향상과 디버깅 시간 단축을 경험했다.
• 상태 다이어그램의 사용은 객체 라이프사이클과 행동에 대한 이해를 향상시켜 객체 오용을 최소화했다.
• 이 프레임워크는 실제 개발 환경에서 실용적인 적용 가능성을 입증했으며, SDLC에 최소한의 오버헤드로 통합되었다.
• 컴pile가 놓치는 논리적 오류, 특히 객체 상태 전이와 관련된 오류를 포괄적으로 탐지하는 데 효과적이었다.