Softwaregarantie: graag helder en redelijk
De discussie is ten minste een halve eeuw oud. Softwarecode van enige omvang bevat nu eenmaal fouten – dat is inherent aan de technologie – en kan daarom niet zonder onderbrekingen werken. Vandaar dat softwareproducenten verre van scheutig zijn met het geven van de garantie dat de programmatuur blijft draaien volgens specificaties, terwijl zij bovendien hun aansprakelijkheid voor schade ontstaan door gebrekkige code contractueel beperken of zelfs geheel uitsluiten.
Maar wellicht kunnen we nu vaststellen dat er sinds het begin van commerciële elektronische gegevensverwerking veel ten goede is veranderd. Dan luidt het standpunt dat nieuwe programmeertalen, (deels) automatische ontwikkeltools en bijvoorbeeld innovatieve testmogelijkheden de softwarekwaliteit dusdanig hebben verbeterd of kunnen verbeteren, dat een solide garantieverlening – eindelijk – tot de praktische mogelijkheden behoort. Het woord is aan de informatici.