CASA 성능 향상을 위한 기본 피처 모델 분석 활용

초록

본 논문은 기존 시뮬레이티드 어닐링 기반 t‑wise 커버링 배열 생성 도구인 CASA에 기본 피처 모델 분석을 통한 두 가지 감소 규칙을 적용하여 실행 시간을 평균 61.8 % 단축시켰으며, 배열의 커버리지와 크기는 유지됨을 실험적으로 입증한다.

상세 분석

본 연구는 소프트웨어 제품 라인(SPL) 테스트에서 핵심적인 역할을 하는 t‑wise 커버링 배열(tCA)의 생성 비용을 감소시키는 방법론을 제시한다. 먼저, 피처 모델(FM)에서 루트 피처와 모든 필수 자식 피처는 어떤 유효한 제품 구성을 만들 때 반드시 포함되어야 한다는 사실에 주목한다. 이를 기반으로 두 가지 감소 규칙을 정의한다. 규칙 1은 루트 피처가 포함된 t‑set은 무시해도 된다는 것이며, 규칙 2는 필수 자식 피처가 포함된 t‑set 역시 무시해도 된다는 것이다. 이러한 규칙을 적용하면 전체 t‑set 공간 |FL| ! t · (|FL|‑t)! · 2^t 에서 무시 가능한 피처 수 m 만큼을 제외한 |FL \ reduceable| ! t · (|FL \ reduceable|‑t)! · 2^t 로 크게 축소된다. 논문은 이 이론적 근거를 기존 연구