TPGen：一种基于 GPU 的自稳定素路径与测试路径生成方法
软件工程
2022-11-01 v1
摘要
本文提出一种新颖的可扩展基于 GPU 的测试路径（TPs）与素路径（PPs）生成方法，称为 TPGen，用于结构测试与测试数据生成。TPGen 在时间与空间效率上均比现有的 PPs 和 TPs 生成方法高出数个数量级。时间与空间效率的双重提升得益于设计了一种称为三级路径访问方法（TPAM）的新型非连续分层内存分配方法，其实现了内存中最大简单路径的高效存储。除高时空效率外，TPGen 的重要意义还在于其自稳定设计，其中线程以完全异步且无序的方式执行，无需使用任何原子指令。TPGen 能够生成具有极高圈复杂度和 Npath 复杂度的结构复杂程序的 PPs 和 TPs。
引用
@article{arxiv.2210.16998,
title = {TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation},
author = {Ebrahim Fazli and Ali Ebnenasir},
journal= {arXiv preprint arXiv:2210.16998},
year = {2022}
}