Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C...
summary
Boeing is adapting open source LLVM coverage tooling to meet DO-178C requirements and selects llvm-cov with University of Illinois support to measure the Linux kernel. llvm-cov already reports statement and decision coverage and an MC/DC merge lands in LLVM 18.1, but it cannot yet produce object code coverage. Initial kernel runs with kselftest and kunit show roughly 1% MC/DC exercised by existing tests, work is ongoing to collect PGO-style performance data and scale MC/DC beyond six conditions to practical levels.
AI-written summary · about
chapters (13)
- 0:00Code coverage and DO-178C
- 1:24DO-178C safety levels
- 3:51Code coverage in safety-critical software
- 5:57Source code coverage types
- 10:14Development phases and testing independence
- 12:20Object code coverage challenges
- 15:06Open-source vs commercial tools
- 17:53LLVM COV research
- 20:46LLVM COV certification advantages
- 22:29LLVM COV limitations
- 24:35Future object code coverage plans
- 27:01Open-source community benefits
- 31:15Q&A
related talks
46mLinux Kernel Functional Testing, or How to Build and Test Millions of Linux Kernels
44mKUnit - Unit Testing for the Linux Kernel
27mFaster Linux Kernel Testing with Linaro's Open-Source Tools and LKFT Automation
27mDebating Linux in Aerospace: Objections and Paths Forward
29mBuilding the Linux kernel with Clang
30mKernel Testing with KUnit: Bridging the Gap
19mClangBuiltLinux: What's Next?
46mStatus Report: Broken Dependency Orderings in the Linux Kernel