[논문 리뷰] A Metamodel of Unit Testing for Object-Oriented Programming Languages

Martin Lévesque|ArXiv.org|2009. 12. 18.

Software Testing and Debugging Techniques참고 문헌 9인용 수 3

한 줄 요약

이 논문은 객체 지향 소스 코드에 직접 단위 테스트를 통합하는 메타모델을 제안한다. 이로써 테스트는 새로운 문법(예: 'Test TestName { ... }')을 사용해 클래스와 함께 작성될 수 있으며, 테스트 상속, 자동 실행, 코드와의 밀접한 결합을 지원함으로써 테스트 유지보수를 줄이고 클래스 계층에서 테스트를 재사용함으로써 테스트 커버리지를 향상시킨다.

ABSTRACT

A unit test is a method for verifying the accuracy and the proper functioning of a portion of a program. This work consists to study the relation and the approaches to test Object-Oriented Programming (OOP) programs and to propose a metamodel that enables the programmer to write the tests while writing the source code to be tested by exploiting the key features of OOP programming languages such as inheritance, polymorphism, etc.

연구 동기 및 목표

• 객체 지향 프로그래밍에서 테스트를 소스 코드에서 분리하여 작성함으로써 발생하는 문제를 해결하기 위해, 테스트를 소스 코드와 함께 유지보수할 수 있도록 하는 것.
• 사양 기반 테스팅의 한계를 극복하기 위해, 별도의 언어가 필요로 하며 다형성과 상속과 같은 객체 지향 원칙을 활용하지 못하는 문제를 해결하는 것.
• 테스트를 직접 클래스에 통합하는 프로그램 기반 접근 방식을 제공하여, 테스트의 발견성, 유지보수성, 커버리지를 향상시키는 것.
• 컴파일러가 메타모델을 통해 클래스, 메서드, 패키지 수준의 테스트 속성을 지원함으로써 테스트를 자동으로 실행할 수 있도록 하는 것.
• 상속 계층에서 하위 클래스가 슈퍼클래스의 테스트를 상속하고 확장할 수 있도록 하여, 중복 코드 없이도 테스트 재사용을 가능하게 하는 것.

제안 방법

• 로컬 테스트 속성(LTP), 글로벌 테스트 속성(GTP), 패키지용 테스트 속성(LTC)의 세 수준의 테스트 속성을 포함하는 메타모델을 정의하여, 계층적 테스트 조직을 가능하게 한다.
• 클래스 내부에 직접 테스트 메서드를 정의하기 위해 'Test' 키워드를 사용하는 새로운 문법을 도입한다. 예: 'Test TestName { ... }'로, 특정 메서드와 연결된다.
• 테스트 실행 중 현재 클래스의 새 인스턴스를 나타내기 위해 'Current' 키워드를 사용하여, 자가 포함된 테스트 컨텍스트를 보장한다.
• 클래스 계층을 재귀적으로 탐색하여 LTP, GTP, LTC를 체계적으로 실행하는 테스트 실행 알고리즘(ExecTests)을 설계한다.
• 상속을 통한 테스트 지원: 슈퍼클래스에 정의된 테스트는 자동으로 하위 클래스에 상속되며, 코드 중복 없이도 커버리지를 증가시킨다.
• 메타모델을 컴파일러나 런타임 환경에 통합하여, 컴iles 또는 실행 중에 테스트를 자동으로 탐지하고 실행하며 결과를 보고할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 객체 지향 프로그래밍 언어에서 소스 코드와 테스트를 어떻게 밀접하게 결합하여 유지보수성과 테스트 이격 문제를 개선할 수 있는가?
• RQ2 클래스 계층을 따라 상속되는 테스트가 테스트 커버리지 향상과 중복 테스트 코드 감소에 얼마나 기여하는가?
• RQ3 하나의 통합 프레임워크 내에서 흰 상자, 검은 상자, 회색 상자 테스트 추상화 수준을 모두 지원할 수 있는 메타모델을 설계할 수 있는가?
• RQ4 기존 외부 테스트 프레임워크와 비교했을 때, 새로운 문법을 사용해 소스 코드에 직접 테스트를 통합하는 데 실질적인 영향은 무엇인가?
• RQ5 JUnit과 같은 기존 접근 방식과 비교했을 때, 제안된 메타모델은 테스트 실행, 유지보수성, 객체 지향 원칙과의 통합 측면에서 어떻게 다른가?

주요 결과

• 메타모델을 통해 새로운 문법을 사용해 테스트를 클래스 내부에 직접 작성할 수 있어 별도의 테스트 파일이 필요로 하지 않으며, 코드와 테스트의 공위치를 향상시킨다.
• 슈퍼클래스에 정의된 테스트는 자동으로 하위 클래스에 상속되어 실행되며, 코드 중복 없이도 커버리지를 증가시킨다.
• 컴파일러는 컴파일 또는 런타임 중에 테스트를 자동으로 실행할 수 있으며, 클래스 계층을 따라 테스트가 순차적으로 실행되는 예시 출력을 통해 이를 입증한다.
• 'Current'를 사용함으로써 테스트 메서드는 현재 클래스의 새 인스턴스를 기반으로 작동하여, 테스트의 격리성과 정확성을 보장한다.
• 다형성 기반 테스트 실행을 지원한다: 메서드가 오버라이드되면 동적 타입에 따라 해당 테스트가 실행되며, 다형적 동작의 커버리지를 향상시킨다.
• 메서드, 클래스, 패키지 수준에서의 구성 가능한 테스트 속성을 통해, 메타모델은 흰 상자, 검은 상자, 회색 상자 테스트 추상화 수준을 모두 지원한다.