A unified framework for efficient test case generation and prioritization driven by multiple coverage criteria
摘要
Software testing is fundamental to system reliability and remains resource-intensive. Traditional frameworks often treat test case generation and prioritization as disconnected phases, neglecting the rich coverage metadata produced during generation and necessitating costly pre-execution. To bridge this gap, we present an integrated framework that enables profiling-free prioritization by reusing generation-time coverage metadata, with the objective of enabling earlier accumulation of multi-criteria structural coverage during test execution, and empirically facilitating earlier fault exposure. The proposed framework features Multiple Coverage Test Case Generation (MCTCG), an enhanced symbolic execution tool engineered to generate test suites satisfying six diverse coverage criteria while simultaneously capturing granular coverage data. Leveraging this intrinsic data,