论文标题
灰色：灰箱模糊+一致性执行指导测试生成高水平设计
GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design
论文作者
论文摘要
由于复杂的分支条件，循环结构和硬件设计的固有并发，对高级设计的详尽测试构成了艰巨的挑战。测试工程师旨在生成满足各种代码覆盖指标的质量测试箱，以确保设计中的错误最少。在测试SystemC设计方面的先前工作效率低下，它阻碍了较短的时间跨度所需的覆盖范围。我们以系统的方式交织了灰盒构函和共同执行，并生成质量测试箱加速测试覆盖率指标。我们的结果在某些基准测试案例和分支覆盖的方面优于最先进的方法，其中大多数基准的运行时间。
Exhaustive testing of high-level designs pose an arduous challenge due to complex branching conditions, loop structures and inherent concurrency of hardware designs. Test engineers aim to generate quality test-cases satisfying various code coverage metrics to ensure minimal presence of bugs in a design. Prior works in testing SystemC designs are time inefficient which obstruct achieving the desired coverage in shorter time-span. We interleave greybox fuzzing and concolic execution in a systematic manner and generate quality test-cases accelerating test coverage metrics. Our results outperform state-of-the-art methods in terms of number of test cases and branch-coverage for some of the benchmarks, and runtime for most of them.
