标签 · 差分测试
2 篇文章,记录每一次探索。
[链接器的世界-实验篇15] 让反例决定质量:差分、变异与鲁棒性
2026-10-06
实现可重放的变异与 panic 调查工具,通过原生运行、确定性检查和 GNU ld 差分测试检验此前的链接器后端。
阅读全文
[链接器的世界-原理篇16] 链接器工程:从能链接,到值得信赖
2026-10-04
当输入增长到数万个目标文件,链接器既要提高速度,又要保持结果确定、错误可诊断。从并行阶段的依赖关系出发,讨论结构不变式、运行测试、差分测试、变异测试与模糊测试,分析增量链接和工具链集成怎样改变工程取舍。
阅读全文