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.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Roberto Bagn... a las arxiv.org 03-12-2024
https://arxiv.org/pdf/1610.07914.pdfConsultas más profundas