Metamorphic testing 发现了 147 个编译器 bug 和一个自动驾驶汽车缺陷。它是这样工作的。
Metamorphic testing 在 GCC、LLVM、Vulkan shader 编译器和 ADAS 模拟器中发现了真实 bug。本文用可运行的代码解释这项技术,并说明它在你 test suite 中的定位。
Metamorphic testing 在 GCC 和 LLVM 中发现了 147 个已确认的 bug,在汽车 OEM 使用的商用 ADAS 模拟器中发现了缺陷,并在一辆自动驾驶汽车撞死行人前八天,在其感知系统中发现了一个致命缺陷。这项技术听起来很学术,但这些 bug 并非理论虚构。 问题在于 oracle…