[논문 리뷰] Four Conceptions of Instruction Sequence Faults

J.A. Bergstra|arXiv (Cornell University)|2012. 04. 09.

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

한 줄 요약

이 논문은 기계적, 제품 권한, 과정 권한, 부정확성 대체라는 네 가지 서로 다른 지시어순 장애 개념을 제안하며, 각각 고장 식별 및 테스트에 대한 서로 다른 시각을 제공한다. 이 시각들은 상호 보완적이며, 기계적 시각은 확인 테스트에 중점을 두고 있으며, 맥락에 따라 이러한 개념들을 민첩하게 활용할 것을 주장한다. 이는 공식적 의미론과 실용적 검증에 기반한 지시어순 테스트를 위한 정교한 프레임워크 기여한다.

ABSTRACT

The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are formulated. An integration of these views is proposed.

연구 동기 및 목표

• 프로그램 고장을 정의하는 데 있어 애매함을 해결하기 위해 지시어순을 프로그램 행동의 형식화된 모델로 사용함으로써.
• 일반적인 프로그램보다 정의가 더 명확한 지시어순에 초점을 맞춤으로써 기존 문헌과의 모순을 줄임.
• 여러 상호 보완적 시각을 통해 고장을 분석함으로써 지시어순 테스트에 대한 일관된 프레임워크를 개발함.
• 고장 개념이 테스트 관행, 특히 확인 테스트에 의존함을 부각하고, 소프트웨어 공학 맥락에서 고장 시각의 민감한 적용을 지원함.

제안 방법

• 기존 이론들 [11, 15, 12, 9]을 활용하여 지시어순을 프로그램의 모델로 형식화함으로써 정의의 명확성을 확보함.
• 기계적(실행 및 확인 테스트 기반), 제품 권한(결함 중심), 과정 권한(과정 기반 적합성), 잘못된 것의 대체(‘결함’을 ‘결함’의 대체로 사용하는 의사소통적 사용)라는 네 가지 서로 다른 고장 개념을 도입함.
• '실행'이라는 용어의 한계를 피하기 위해 '구현에 이르기'라는 일반적 용어를 사용하여 실행, 해석, 컴파일, 시뮬레이션, 하이브리드 메커니즘을 모두 포함함.
• 고장 정의가 절대적이지 않고 맥락에 따라 달라지며, 각 시각이 테스트 및 품질 보증에서 서로 다른 목적을 수행함을 주장함.
• ‘오류’, ‘고장’, ‘결함’, ‘실패’, ‘위반’, ‘오류’ 등의 용어를 구분하여 개념적 경계를 명확히 함으로써 이 시각들을 통합함.
• 확인 테스트가 기계적 시각의 핵심임을 강조하고, 시각 통합을 위해서는 한 시각이 우세해지지 않도록 주의 깊은 용어 사용이 필요함.

실험 결과

연구 질문

• RQ1 ‘프로그램’에 대한 표준 정의가 없음에도 불구하고, 지시어순 맥락에서 고장 개념을 어떻게 의미 있게 정의할 수 있는가?
• RQ2 기계적, 제품 권한, 과정 권한, 잘못된 것의 대체라는 네 가지 지시어순 고장 개념의 각각의 역할과 정당성은 무엇인가?
• RQ3 특히 확인 테스트를 통해 기계적 고장 시각이 이상화된 수리 기준과는 어떻게 관련되어 있으며, 회귀 테스트와 같은 실용적 제약은 어떠한가?
• RQ4 기계적 고장의 중심적 역할을 감안할 때, 네 가지 고장 시각을 상호 우월성을 부여하지 않고 어떻게 통합할 수 있는가?
• RQ5 지시어순 고장에서의 통찰은 실제 프로그램 고장으로 일반화할 수 있는가? 그 일반화의 위험 요소는 무엇인가?

주요 결과

• 이dealized 수리 기준을 달성할 수 없더라도, 확인 테스트에 기반한 기계적 고장 시각은 실용적 고장 탐지에 필수적이다.
• 제품 권한 및 과정 권한 시각은 품질 공학 및 조직 기준에서 특히 중요한 비기계적 고장 시각을 제공한다.
• 잘못된 것의 대체 시각은 형식적 정확성이 확보되지 않는 맥락에서 명확한 의사소통을 가능하게 하며, ‘고장’을 ‘결함’의 대체로 사용할 수 있도록 한다.
• 기계적 시각의 지배를 방지하기 위해 ‘결함’과 ‘위반’을 ‘고장’과 구분함으로써 네 시각의 통합이 가능하다.
• 기계적 시각이 본질적으로 우월한 것은 아니며, 향후 공학적 발전이 더 나은 사양 및 검증을 통해 기계적 고장을 제거한다면 그 중심성은 감소할 수 있다.
• 이 논문의 주요 기여는 형식적 정확성이 검증되지 않을 경우에도 기계적 고장을 정의하는 데 있어 확인 테스트의 역할을 명확히 한 것이다.