Theory Makes Beautiful Programs

Explore the importance of Modified Condition/Decision Coverage (MC/DC) in a conference talk from NDC TechTown 2022. Delve into the significance of MC/DC for code correctness, particularly in safety-oriented industries like automotive and aerospace. Learn about an innovative algorithm designed to determine condition coverage from control flow graphs, implemented in gcc. Discover the benefits of MC/DC, understand why it should be incorporated into development practices, and see how theoretical concepts can lead to elegant programming solutions. This 59-minute presentation offers valuable insights for developers interested in enhancing code quality and safety through advanced testing techniques.