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.
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Roberto Bagn... alle arxiv.org 03-12-2024
https://arxiv.org/pdf/1610.07914.pdfDomande più approfondite