vix.ing · top · new · best · stats · spec

TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation

2022/10/31 by Ebrahim Fazli, Fazli, Ebrahim, Ali Ebnenasir +1 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Low-power high-performance VLSI design #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing

paper · pdf · doi:10.48550/arxiv.2210.16998

openalex publication_date 2022/10/31 · openalex created_date 2022/11/06 · openalex updated_date 2026/07/28

Abstract

This paper presents a novel scalable GPU-based method for Test Paths (TPs) and Prime Paths (PPs) Generation, called TPGen, used in structural testing and in test data generation. TPGen outperforms existing methods for PPs and TPs generation in several orders of magnitude, both in time and space efficiency. Improving both time and space efficiency is made possible through devising a new non-contiguous and hierarchical memory allocation method, called Three-level Path Access Method (TPAM), that enables efficient storage of maximal simple paths in memory. In addition to its high time and space efficiency, a major significance of TPGen includes its self-stabilizing design where threads execute in a fully asynchronous and order-oblivious way without using any atomic instructions. TPGen can generate PPs and TPs of structurally complex programs that have an extremely high cyclomatic and Npath complexity.

Cited by

Related