[논문 리뷰] Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation

Chao Wei, Xinyi Peng외 3명|arXiv (Cornell University)|2026. 01. 09.

Software Testing and Debugging Techniques인용 수 0

한 줄 요약

논문은 기저 경로 생성을 혼합 정수 프로그래밍 최적화 문제로 재구성하고 Holistic 및 Incremental MIP 전략을 도입하여 CFG에 대해 완전하고 최소하며 독립적인 기저 경로 집합을 생성하며 실제 및 합성 그래프에서 강력한 실험적 결과를 보인다.

ABSTRACT

Basis path testing is a cornerstone of structural testing, yet traditional automated methods, relying on greedy graph-traversal algorithms (e.g., DFS/BFS), often generate sub-optimal paths. This structural inferiority is not a trivial issue; it directly impedes downstream testing activities by complicating automated test data generation and increasing the cognitive load for human engineers. This paper reframes basis path generation from a procedural search task into a declarative optimization problem. We introduce a Mixed Integer Programming (MIP) framework designed to produce a complete basis path set that is globally optimal in its structural simplicity. Our framework includes two complementary strategies: a Holistic MIP model that guarantees a theoretically optimal path set, and a scalable Incremental MIP strategy for large, complex topologies. The incremental approach features a multi-objective function that prioritizes path simplicity and incorporates a novelty penalty to maximize the successful generation of linearly independent paths. Empirical evaluations on both real-code and large-scale synthetic Control Flow Graphs demonstrate that our Incremental MIP strategy achieves a 100\% success rate in generating complete basis sets, while remaining computationally efficient. Our work provides a foundational method for generating a high-quality structural "scaffold" that can enhance the efficiency and effectiveness of subsequent test generation efforts.

연구 동기 및 목표

• 탐욕적 DFS/BFS 방법을 넘어서는 고품질 기저 경로 세트의 필요성을 제시한다.
• 기저 경로 생성 문제를 선언적 최적화 문제로 형식화한다.
• 전역 최적이고 간단한 기저 세트를 보장하는 Holistic MIP 모델을 개발한다.
• 독립성과 확장성을 보장하기 위해 새로움 페널티를 포함한 확장 가능한 Incremental MIP 전략을 제안한다.
• 실코드 및 대규모 합성 CFG에 대한 경험적 평가를 통해 강건성과 확장성을 입증한다.

제안 방법

• 엣지 사용, 노드 방문, 경로 연결성을 포착하는 변수들을 포함한 MIP로 CFG 기저 경로 생성을 형식화한다.
• 제약 조건을 통해 경로 유효성, 연결성 및 기저 속성(완전성 및 선형 독립성)을 강제하고, 네트워크 플로우 기반의 부분 회로 제거를 포함한다.
• 모든 경로의 총 길이를 최소화하여 단순성을 증진하고 Incremental MIP 구성에서 기존 엣지 재사용을 촉진하기 위한 새로움 페널티를 포함한다.
• 모든 k 경로를 동시에 해를 구하는 Holistic MIP 모델과 부분 회로 제거 제약을 제공한다.
• 경로별로 기저 경로 집합을 구축하는 Incremental MIP 전략을 개발하고 길이와 새로움(새 엣지)의 균형을 맞추는 이중 목표를 사용한다.
• 각 새 경로가 이전에 사용되지 않은 엣지를 최소 하나 포함하도록 보장하는 제약 조건으로 커버된 엣지 집합을 업데이트하고 독립성을 강제하는 반복 알고리즘을 설명한다.

실험 결과

연구 질문

• RQ1 기저 경로 생성을 절차적 탐색이 아닌 글로벌 최적화 문제로 효과적으로 프레이밍할 수 있는가?
• RQ2 Holistic MIP 모델이 전역 최적성(짧고 간단한) 완전한 기저 경로 세트를 보장할 수 있는가?
• RQ3 새로움 페널티가 있는 Incremental MIP 전략이 대형 CFG에서 완전한 기저 세트를 신뢰성 있게 생성하면서도 확장성을 유지하는가?
• RQ4 실제 데이터와 합성 데이터에서 성공률, 경로 커버리지, 실행 시간 면에서 이러한 MIP 기반 접근법이 전통적인 BFS 기반 기준선과 어떻게 비교되는가?
• RQ5 이 맥락에서 전역 최적성과 계산 확장성 간의 트레이드오프는 무엇인가?

주요 결과

• 다양한 토폴로지에서 새로움 중심의 목표를 갖는 Incremental MIP가 완전한 기저 세트를 생성하는 100% 성공률을 달성한다.
• 기저 세트의 완전한 생성을 위해서는 기본 BFS가 신뢰할 수 없으며, 특히 사이클로매틱 복잡도가 증가할수록 그렇다.
• Holistic MIP는 전역 최적성을 보장하지만 대형 그래프에서 타임아웃이 발생할 수 있다; Incremental MIP는 확장성을 가지며 타임아웃을 피한다.
• Incremental MIP2(새로움 주도형)는 가장 복잡한 인스턴스를 수십 초 안에 해결하며 여전히 강건하고 효율적이다.
• 새로움 페널티는 나중 경로를 위해 커버되지 않은 엣지를 보존하여 그리디 함정(Greedy Trap)을 완화하고 완전한 기저 세트를 가능하게 한다.