교호작용 및 종속성 분석을 통한 테스트 케이스 생성

Abstract

실험계획법의 직교배열은 일부실시법(fractional factorial design)의 배치에 사용되는데, 일부실시법이란 불필요한 교호작용이라든가 고차의 교호작용을 구하지 않고 실험의 크기를 작게 할 수 있도록 파라미터의 조합 중 일부만을 실험하는 방법이다. 이 때 일부 조합하는 파라미터의 수가 2이면 pair-wise, 3이상이면 t-way(n>2) 테스트이라고 부른다. 소프트웨어 테스트에서는 이러한 방법을 교호작용 테스트(interaction testing)이라 하는데, 실제로는 결함을 일으키는 교호작용 강도가 몇인지 알 수 없기 때문에 100% 교호작용 커버리지를 만족하기 어렵다. 또한 시스템의 행위를 정형화된 모델링을 통하여 테스트 케이스를 생성하는 모델기반 테스트(model based testing)가 소프트웨어 테스트에 많이 활용된다. 이 방법은 시스템 요구사항과 특정 기능을 모델링 함으로써 효율적인 테스트 절차 및 순서를 자동적으로 생성할 수 있는 장점이 있다. 하지만 입력 순서가 고려되어야 하는 모델 기반 테스트는 테스트 케이스의 수가 폭발(explosion)적으로 증가 하여 시간 제약으로 인해 테스트가 불가능해 질 수 있기 때문에 테스트 케이스의 수를 적절히 줄일 수 있어야 한다. 따라서 본 논문에서는 센서 등 환경 입력에 대한 입출력 분석을 통한 교호작용 테스트 방법과 입력 순서가 고려되어야 하는 모델 기반 테스트의 입력 파라미터인 스위치, 버튼 등의 사용자 입력에 대해 시스템 종속성 분석을 통해 테스트 케이스의 수를 줄이는 방법을 제안하고자 한다.