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.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Roberto Bagn... at arxiv.org 03-12-2024
https://arxiv.org/pdf/1610.07914.pdfDeeper Inquiries