The ACPATH metric is introduced to address the shortcomings of the NPATH metric in accurately counting acyclic paths in C-like languages. The article discusses the importance of software testing, the challenges in creating adequate test suites, and the significance of unit testing. It highlights the limitations of the NPATH metric and presents examples where it fails to provide accurate path counts. The paper outlines the structure of the ACPATH metric, its computation methods, and its experimental evaluation results. It also delves into the complexity of acyclic paths in control flow graphs and the syntax of C-like languages.
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問