Je hebt een klacht over de onderstaande posting:
Door RobertGG: Eind vorige eeuw werkte ik bij het project millennium overheid. Daarvoor nam ik o.a. in Londen deel aan een driedaagse workshop over de milleniumbug. Één van de specialisten, ik meen van systeme evolutif, overtuigde ons met vele voorbeelden ervan dat softwareontwikkelaars meestal wel testen of de software doet wat ‘ie moet doen, maar zelden of die dingen doet die juist nièt mogen. Dat kost tijd en geld. Kennelijk is er nog maar weinig vooruitgang geboekt. Dit, hier, dit is nog steeds een van de hele grote heikele punten en reden waarom "security consultants" nog jaaaaaaren werk zullen hebben. Veelal met eindeloos broodkruim zoeken in de vorm van "exploits" zonder ooit werkelijk grote verbeteringen aan te (kunnen) wijzen, zodat er altijd wel een volgend kruimpje te vinden zal zijn. En toch hoeft het niet zo moeilijk te zijn. Stel invarianten vast, bijvoorbeeld "de invoer voldoet aan deze eisen" en hou die religieus vast. Zolang je dat doet kun je veilig die invariant als aanname ...
Beschrijf je klacht (Optioneel):