Het bewijs van betrouwbare software bestaat

Als iemand met een pacemaker overlijdt, denkt de arts niet snel aan een deadlock in de pacemaker. Als een altijd trouw werkende brug opeens op hol slaat, wordt niet snel de link gelegd met een fundamentele fout in de besturingssoftware, die alleen problemen geeft doordat – in een uitzonderlijke situatie – twee conflicterende processen tegelijk starten. "Grote blunders ontdek je met reguliere testmethoden.

Thijs DoorenboschMeer van deze auteur

© Anthony Donner - anthonydonner.com

Anthony Donner - anthonydonner.com

Lees dit PRO artikel gratis

Maak een gratis account aan en geniet van alle voordelen:

Toegang tot 3 PRO artikelen per maand

Inclusief CTO interviews, podcasts, digitale specials en whitepapers

Blijf up-to-date over de laatste ontwikkelingen in en rond tech

Word gratis lid en lees verder
Heb je al een account? Log in

Bevestig jouw e-mailadres

We hebben de bevestigingsmail naar %email% gestuurd.

Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.

Er is iets mis gegaan

Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.

Maak een gratis account aan en geniet van alle voordelen:

Toegang tot 3 PRO artikelen per maand

Inclusief CTO interviews, podcasts, digitale specials en whitepapers

Volg je favoriete topics

Heb je al een account? Log in
Maak een gratis account aan en geniet van alle voordelen:

Toegang tot 3 PRO artikelen per maand

Inclusief CTO interviews, podcasts, digitale specials en whitepapers

Volg je favoriete topics

Heb je al een account? Log in