[논문 리뷰] Automated Debugging In Java Using OCL And JDI

David J. Murray, Dale E. Parson|ArXiv.org|2001. 01. 03.

Model-Driven Software Engineering Techniques참고 문헌 12인용 수 8

한 줄 요약

이 논문은 객체 제약 언어(OCL)를 사용하여 정확성 제약 조건을 명세화하고, 런타임 검증을 위해 자바 디버그 인터페이스(JDI)를 사용하는 비침습적이고 자동화된 디버깅 방법을 제안한다. OCL을 형식적 명세로 활용하고 JDI를 안전하고 부작용이 없는 런타임 검사 수 Mittel로 활용함으로써, 소스 코드를 수정하거나 맞춤형 JVM이 필요 없이도 프로그램 실행 중 위반 사항을 자동으로 탐지할 수 있다. 이는 프로토타입 감사기로 검증되었다.

ABSTRACT

Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language ("OCL") as a specification language and the Java Debug Interface ("JDI") as a verification API. OCL provides a standard language for expressing object-oriented constraints that can integrate with Unified Modeling Language ("UML") software models. JDI provides a standard Java API capable of supporting type-safe and side effect free runtime constraint evaluation. The resulting correctness constraint mechanism: (1) entails no programming language modifications; (2) requires neither access nor changes to existing source code; and (3) works with standard off-the-shelf Java virtual machines ("VMs"). A prototype correctness constraint auditor is presented to demonstrate the utility of this mechanism for purposes of automated debugging.

연구 동기 및 목표

• 자바 개발에 형식적 정확성 제약 조건을 통합하는 데 있어 언어나 런타임을 수정하지 않고도 이를 해결하고자 한다.
• 표준, 유통 중인 자바 가상 머신을 사용하여 실행 중 소프트웨어 결함을 자동으로 탐지하고자 한다.
• 형식적 타입 검사와 부작용이 없는 방식으로 객체 지향 제약 조건을 런타임에서 검증할 수 있는 메커니즘을 제공하고자 한다.
• OCL 통합을 통해 UML 모델과 연계하여 모델 기반 개발 관행을 지원하고자 한다.
• JDI와 OCL를 기반으로 한 프로토타입 정확성 제약 조건 감사기 구축을 통해 실현 가능성을 입증하고자 한다.

제안 방법

• UML 기반 소프트웨어 모델의 일부로 형식적 정확성 제약 조건을 표현하기 위해 객체 제약 언어(OCL)를 사용한다.
• 실행 중인 자바 가상 머신을 점검하고 모니터링하기 위한 표준적이고 타입 안정적인 API로 자바 디버그 인터페이스(JDI)를 활용한다.
• 소스 코드나 JVM 동작 방식을 변경하지 않고도 런타임 환경을 JDI를 통해 인스트루멘테이션하여 OCL 제약 조건을 평가한다.
• 실행 중 객체 상태를 관찰하고 OCL의 불변식, 전제 조건, 후置 조건을 검사하는 제약 조건 감사기 구현하기.
• JDI의 읽기 전용 점검 기능에 의존하여 모든 제약 조건 평가가 부작용이 없도록 보장한다.
• 기존의 표준 유통 중인 자바 가상 머신과 호환되도록 설계되어, 수정이 필요하지 않다.

실험 결과

연구 질문

• RQ1 표준 자바 환경에서 OCL로 표현된 정확성 제약 조건이 런타임에서 효과적이고 안전하게 평가될 수 있는가?
• RQ2 소스 코드나 JVM을 수정하지 않고 OCL 제약 조건을 자바 개발에 통합할 수 있는가?
• RQ3 JDI는 객체 지향 제약 조건의 형식적 타입 검사와 부작용이 없는 런타임 검증을 어떻게 가능하게 하는가?
• RQ4 OCL과 JDI를 기반으로 한 프로토타입 감사기가 프로그램 실행 중에 제약 조건 위반을 성공적으로 탐지할 수 있는가?
• RQ5 제안된 방법은 UML 모델링과 모델 기반 개발 워크플로우에 어떻게 통합을 지원하는가?

주요 결과

• 이 방법은 표준 자바 도구와 JDI API를 사용하여 OCL 제약 조건을 런타임에서 평가함으로써 자동 디버깅을 성공적으로 구현한다.
• 자바 프로그래밍 언어나 JVM에 대한 수정이 필요 없어 기존 시스템과의 호환성을 유지한다.
• 제약 조건 감사기 프로토타입은 OCL 제약 조건의 런타임 검증이 실제 자바 응용 프로그램에서 실현 가능하고 실용적임을 입증한다.
• 모든 제약 조건 평가가 부작용이 없어 디버깅 과정이 프로그램 동작 방식을 변경하지 않는다.
• OCL 통합을 통해 UML 모델과 연계되어 설계 명세와 런타임 동작 간 일관성을 확보할 수 있다.
• 시스템은 표준 유통 중인 자바 가상 머신에서 작동하므로 특수 설정 없이도 생산 및 개발 환경에 배포 가능하다.