Wednesday
Room 2 - Level 3
15:00 - 16:00
(UTC+02)
Talk (60 min)
Condition coverage in gcc: introduction and intuition
Different kinds of test coverage are vital to certain safety-oriented industries, and somewhat underutilized in general. Partly because of diminishing returns, and partly because of the inaccessibility of tooling. I have tried to address the latter by writing support for modified condition/decision coverage in gcc.
This session will be a mix of things. A thorough description of the
algorithm and feature in gcc will be covered in the talk "Theory makes
beautiful programs", so this will be an introduction and (live) tutorial
on MC/DC and on the problem it solves (and what it doesn't). I will demo
the MC/DC feature in gcc and try to give some intuition to the very
confusing phenomenon of masked conditions.
Jørgen Kvalsvik
Jørgen is a programmer and has mainly been writing free software in his career - lately targeting gcc. He left the energy industry for work on compiler toolchains and build systems in Japan, before returning to his native Norway where he is currently programmer & director at patch. Now he solves hard and interesting problems where he can find them, does bespoke programming as well as teaching, training, and consulting. He holds an MSc in Computer Science from NTNU.