GreyConE：灰盒模糊测试+符号执行引导的高层设计测试生成
软件工程
2022-07-15 v3 密码学与安全
摘要
由于硬件设计复杂的分支条件、循环结构及内在并发性，高层设计的穷尽测试是一项艰巨挑战。测试工程师旨在生成满足各类代码覆盖率指标的高质量测试用例，以确保设计中缺陷的最小存在。先前针对 SystemC 设计测试的工作时间效率低下，阻碍了在较短时间内达成期望覆盖率。我们以系统方式交错灰盒模糊测试与符号执行，生成高质量测试用例以加速测试覆盖率指标。对于一些基准，我们的结果在测试用例数与分支覆盖率上优于最先进方法，且在大多数基准的运行时间上更优。
引用
@article{arxiv.2205.04047,
title = {GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design},
author = {Mukta Debnath and Animesh Basak Chowdhury and Debasri Saha and Susmita Sur-Kolay},
journal= {arXiv preprint arXiv:2205.04047},
year = {2022}
}
备注
5 pages, 5 figures, 2 tables, 2 algorithms. Accepted in International Test Conference (ITC 2022)