YoVDO

Theory Makes Beautiful Programs

Offered By: NDC Conferences via YouTube

Tags

NDC Conferences Courses Software Development Courses GCC Courses Safety-Critical Systems Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Theory makes beautiful programs - Jørgen Kvalsvik - NDC TechTown 2022


Taught by

NDC Conferences

Related Courses

Software as a Service
University of California, Berkeley via Coursera Software Testing
University of Utah via Udacity The Hardware/Software Interface
University of Washington via Coursera Software Debugging
Saarland University via Udacity Introduction to Systematic Program Design - Part 1
The University of British Columbia via Coursera