[논문 리뷰] Spreadsheet Debugging

Yirsaw Ayalew, Roland T. Mittermeir|arXiv (Cornell University)|2008. 01. 28.

Spreadsheets and End-User Computing참고 문헌 18인용 수 24

한 줄 요약

이 논문은 데이터플로우 분석과 셀 마킹을 활용하여 공식 셀에서 전파된 오류의 원인으로서 가장 영향력 있는 고장 난 셀을 식별하는 스프레드시트 디버깅을 위한 고장 추적 기법을 제시한다. 간격 기반 테스팅을 기반으로 하여 비프로그래머가 개발한 스프레드시트에서 수치적 부정확성의 근본 원인을 효율적으로 고립시키며, 디버깅 정밀도를 크게 향상시키고 수동 작업량을 줄인다.

ABSTRACT

Spreadsheet programs, artifacts developed by non-programmers, are used for a variety of important tasks and decisions. Yet a significant proportion of them have severe quality problems. To address this issue, our previous work presented an interval-based testing methodology for spreadsheets. Interval-based testing rests on the observation that spreadsheets are mainly used for numerical computations. It also incorporates ideas from symbolic testing and interval analysis. This paper addresses the issue of efficiently debugging spreadsheets. Based on the interval-based testing methodology, this paper presents a technique for tracing faults in spreadsheet programs. The fault tracing technique proposed uses the dataflow information and cell marks to identify the most influential faulty cell(s) for a given formula cell containing a propagated fault.

연구 동기 및 목표

• 비프로그래머가 개발한 스프레드시트에서 흔히 발생하는 품질 문제를 해결하기 위해.
• 전파된 오류가 있는 스프레드시트 프로그램에서 고장 난 셀을 찾는 데 소요되는 시간과 노력을 줄이기 위해.
• 데이터플로우 및 셀 마킹을 통한 정밀한 고장 추적 기능을 제공함으로써 간격 기반 테스팅의 효과를 향상시키기 위해.
• 프로그래밍 전문 지식 없이도 비프로그래머가 복잡한 스프레드시트를 디버깅할 수 있도록 지원하기 위해.

제안 방법

• 이 방법은 수치 범위를 기반으로 스프레드시트 계산에서 이질성을 탐지하는 데 의존하는 간격 기반 테스팅을 기초로 한다.
• 고장이 발생한 공식 셀에서 오류 정보를 역방향으로 전파하여 고장 난 원천 셀을 식별하기 위해 데이터플로우 분석을 적용한다.
• 셀 마킹을 사용하여 오류 전파에 기여하는 셀을 추적하고 강조 표시함으로써 영향력 있는 고장 난 셀을 시각적 및 알고리즘적으로 식별할 수 있도록 한다.
• 기호 테스팅 개념과 간격 분석을 결합하여 고장 위치 특정의 정밀도를 향상시킨다.
• 스프레드시트의 공식 네트워크 내 의존성과 전파 경로를 분석하여 고장을 추적한다.
• 실제 스프레드시트 응용 프로그램에 적합한 효율성과 확장성을 갖추도록 설계되어 있다.

실험 결과

연구 질문

• RQ1 스프레드시트 공식 셀에서 전파된 고장의 근본 원인을 효율적으로 식별할 수 있는 방법은 무엇인가?
• RQ2 데이터플로우 관계와 셀 마킹은 고장 난 셀을 고립시키는 데 어떤 역할을 하는가?
• RQ3 간격 기반 테스팅은 스프레드시트에서 효과적인 고장 추적을 얼마나 잘 지원하는가?
• RQ4 비프로그래머는 프로그래밍 지식 없이도 자동 고장 추적 기술의 이점을 얻을 수 있는가?

주요 결과

• 고장 추적 기법은 스프레드시트 공식에서 전파된 오류의 원인이 되는 가장 영향력 있는 고장 난 셀을 성공적으로 식별한다.
• 셀 마킹은 오류 전파에 대한 영향력이 높은 셀을 강조 표시함으로써 고장 위치 특정의 정밀도를 크게 향상시킨다.
• 데이터플로우 분석과 간격 기반 테스팅의 통합은 스프레드시트 환경에서 디버깅의 정확성과 효율성을 향상시킨다.
• 이 방법은 잠재적 고장 원천을 소수의 후보 셀로 좁혀 수동 디버깅 작업량을 줄인다.