Slides for a presentation at Fondation UQAC, February 2012 (the half-dozen words throughout the slides are in French). It is intended to be a gentle introduction to the concept of software bugs, their cost, the increasing complexity of computer programs and some methods to analyze them mathematically.
I leave the viewer to guess what was the speech that accompanied each drawing. Enjoy!
93. On ne peut s
e servir de la
seule fois au potion qu'un
cours d'une e
histoir
La baguette
ne doit pas e
le sac pour je tre rangee d
ter un sort ans
94. On ne peut s
e servir de la
seule fois au potion qu'un
cours d'une e
histoir
X
La baguette
ne doit pas e
le sac pour je tre rangee d
ter un sort ans
95. On ne peut s
e servir de la
seule fois au potion qu'un
cours d'une e
histoir
X
La baguette
ne doit pas e
le sac pour je tre rangee d
ter un sort ans
96. On ne peut s
e servir de la
seule fois au potion qu'un
cours d'une e
histoir
X
La baguette
ne doit pas e
le sac pour je tre rangee d
ter un sort ans
98. 1 2 6
X 4
3
5
Coloriage
homomorphisme de graphe (n. m.)
Si G et H sont deux graphes dont on note les sommets V(G) et V(H)
et les arêtes E(G) et E(H), une application f: V(G) → V(H) qui envoie
les sommets de G sur ceux d H est un morphisme de graphes si:
∀(u,v) ∊ E(G), (f(u),f(v)) ∊ E(H). Plus sih plement, f est un morphisme
de graphes si l'image de e arête de G est une arête de H. S'il y a
un morphisme de G dans H, on dit classiquement que G "se projette"
dans H.
129. COVERSTO Y
Verified software
My computer won’t fail me
Web-browser crashes are annoyinc but as far as software malfunctions go, the
consequence are mild. With a plane’s autopilot or the control room of a nuclear power
station, it’s another matter. As our lives become ever more saturated with computers,
how can we know they won’t fail? Currently, we systematically test all conceivable
scenarios un er which they might. A better insurance might be logic. [...]
32 | New Scientist | 16 October 2010
130. COVERSTO Y
Verified software
My computer won’t fail me
Web-browser crashes are annoyinc but as far as software malfunctions go, the
consequence are mild. With a plane’s autopilot or the control room of a nuclear power
station, it’s another matter. As our lives become ever more saturated with computers,
how can we know they won’t fail? Currently, we systematically test all conceivable
scenarios un er which they might. A better insurance might be logic. [...]
32 | New Scientist | 16 October 2010