[논문 리뷰] Compositional Testing For FSM-Based Models

Bilal Kanso, Omar Chebaro|arXiv (Cornell University)|2014. 06. 11.

Machine Learning and Algorithms참고 문헌 18인용 수 4

한 줄 요약

이 논문은 유한 상태 기계(FSM) 기반 컴포넌트 시스템을 위한 조합적 테스팅 프레임워크를 제안하며, 전역 시스템의 적합성 검증을 위해 개별 컴포넌트를 투영된 사양에 대해 테스트함으로써 가능하게 한다. 이는 적합한 컴포넌트의 정확한 통합이 전역 시스템의 정확성을 보장함을 증명하며, 컴포넌트 수준의 검증과 시스템 맥락 인식을 통해 복잡한 시스템에서 효율적이고 확장 가능한 테스팅을 가능하게 한다.

ABSTRACT

The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification. Third, it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components. This result is useful to build adequate test purposes for testing components taking into account the system where they are plugged in.

연구 동기 및 목표

• 유한 상태 기계(FSM)와 통합 규칙를 사용하여 컴포넌트 기반 시스템을 모델링하기 위한 형식적 프레임워크를 정의하기.
• 통합된 컴포넌트 시스템이 전역 사양에 적합한지 검증하는 조합적 적합성 테스팅 접근법을 수립하기.
• 전역 시스템의 정확성이 개별 컴포넌트 사양에 대해 전역 사양의 투영을 기반으로 테스트함으로써 보장될 수 있음을 입증하기.
• 컴포넌트가 통합되는 시스템 맥락을 고려한 효과적인 테스트 목적을 개발하기 지원하기.

제안 방법

• 프레임워크는 입력/출력 행동이 명확히 정의된 유한 상태 기계(FSM)로 컴포넌트를 모델링한다.
• 통합 규칙은 컴포넌트 행동을 전역 시스템 모델로 조합하기 위해 형식적으로 정의된다.
• 논문은 전역 사양을 개별 컴포넌트 사양에 투영하는 개념을 도입하여 컴포넌트 수준의 테스팅을 위해 사용한다.
• 각 컴포넌트가 자신의 투영된 사양을 충족하면 통합 시스템도 전역 사양을 충족함을 증명함으로써 조합적 적합성을 확립한다.
• 조합 및 적합성의 정확성을 보장하기 위해 형식적 언어 이론과 오토마타 이론에 기반한다.
• 사양 투영을 통해 컴포넌트 테스트 케이스를 시스템 수준의 행동과 일치시킴으로써 테스트 생성을 지원한다.

실험 결과

연구 질문

• RQ1 전역 시스템 사양를 컴포넌트 전용 사양으로 분해할 수 있는가? 이 경우 컴포넌트 적합성이 전역 시스템 적합성을 암시하는가?
• RQ2 컴포넌트 간의 통합 규칙를 어떻게 형식적으로 정의할 수 있는가? 이는 조합 시 행동적 정확성을 유지하는가?
• RQ3 컴포넌트 기반 시스템에서 컴포넌트 수준의 테스팅과 전역 시스템 테스팅 간의 관계는 무엇인가?
• RQ4 통합된 시스템을 단일 시스템으로 전체 테스트하지 않고도 구성된 시스템의 정확성을 검증할 수 있는가?
• RQ5 개별 컴포넌트를 테스트할 때, 컴포넌트가 통합되는 시스템 맥락을 반영할 수 있는 테스트 목적은 어떻게 설계할 수 있는가?

주요 결과

• 전역 시스템의 정확성은 개별 컴포넌트를 그 자체의 사양에 대한 전역 사양의 투영에 대해 테스트함으로써 보장될 수 있다.
• 제안된 프레임워크는 각 컴포넌트가 자신의 투영된 사양을 충족할 경우 전역적으로 적합한 시스템이 되도록 보장한다.
• 컴포넌트 수준의 테스트에 맥락 인식 사양을 적용함으로써 단일 시스템 테스트에서의 검증 부담을 이전에 이동시킴으로써 확장 가능한 테스트를 가능하게 한다.
• 이 방법은 오토마타 이론에 철저히 기반하여 조합적 테스팅 과정의 타당성과 정확성을 보장한다.
• 컴포넌트가 전체 시스템 아키텍처 내에서 수행하는 역할을 반영할 수 있도록 허용하므로 실용적인 테스트 설계를 지원한다.