Liveness-Driven Random Program Generation
Liveness-Driven Random Program Generation
复制标题
活跃度驱动的随机程序生成
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Gergö Barany
中科院分区：
文献类型：
--
作者：
Gergö Barany
随机生成的程序是测试编译器和程序分析工具的常用工具，通过随机测试发现了真实C编译器中的数百个错误。然而，现有的随机程序生成器可能会生成大量的死代码（其结果永远不会被使用的计算）。这使得相对较少的代码可以执行目标编译器的更复杂的优化。
Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (computations whose result is never used). This leaves relatively little code to exercise a target compiler’s more complex optimizations.