TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation
Document Type
Conference Proceeding
Publication Date
8-30-2024
Department
Department of Computer Science
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/or Npath complexity.
Publication Title
Fundamentals of Software Engineering
Recommended Citation
Fazli, E.,
&
Ebnenasir, A.
(2024).
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation.
Fundamentals of Software Engineering, 40-54.
http://doi.org/10.1007/978-3-031-42441-0_4
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p2/1665