Adding Testable Code Specifications in the Linux Kernel

Explore a comprehensive conference talk that addresses the critical gap between design intent and testing in Linux kernel development, presented by industry experts from Red Hat and the Linux Foundation. Learn how the current kernel development process struggles under its own success despite tools like syzkaller, kselftest, and KUnit, and discover why most kernel testing relies on reverse engineering rather than explicit design specifications. Understand the proposed solution of implementing "testable expectations" - software requirements that can be directly implemented without further information - and how these create a virtuous cycle linking code to design intent through maintainer agreement, test case derivation, and coverage analysis. Examine detailed examples of this approach in practice, including current limitations of Linux kernel design guidelines and progress toward bridging the specification-testing gap. Gain insights into how this methodology could shift maintainer burden from verification to validation while addressing the practical challenges of implementing such changes across the massive Linux kernel codebase.