×

活性驱动的随机程序生成。 (英语) Zbl 06932826

Fioravanti,Fabio(ed.)等人,基于逻辑的程序综合与转换。第27届国际研讨会,2017年10月10日至12日,比利时纳穆尔,2017年10月10日至12日。修订部分论文。查姆:斯普林格。选择。笔记计算。科学。10855112-127(2018年)。
摘要:随机生成的程序在测试编译器和程序分析工具时很流行,在实际的C编译器中随机测试发现了数百个错误。然而,现有的随机程序生成器可能会生成大量的死代码(其结果从未使用过的计算)。这使得相对较少的代码可以执行目标编译器更复杂的优化{
}为了解决这个缺点,我们引入了活性驱动的随机程序生成。在这种方法中,随机程序是自下而上构造的,由同步的结构数据流分析指导,以确保生成器永远不会生成死代码{
}该算法是作为Frama-C框架的插件实现的。我们将其与标准随机C程序生成器Csmith进行比较。我们的工具生成的程序可以用更复杂的指令组合编译成更多的机器代码。
整个系列请参见[Zbl 1392.68017号].

理学硕士:

68N30型 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式 BibTeX公司 XML 引用