Groeiende complexiteit van software maakt vooraf testen onmogelijk
Martin Pol, oprichter van Polteq dat softwaretesten uitvoert, noemt twee factoren die het grondig testen van software in de weg staan: haast en technologische pull. In de softwareontwikkeling worden constant nieuwe stappen gezet terwijl men eigenlijk nog niet klaar is met de vorige stap. Jan Friso Groote, professor aan de TU Eindhoven, adviseert ontwikkelaars om specificaties door te rekenen zodat ze foutloos in de softwarecode kunnen verschijnen. In de praktijk wordt echter niet of vaag gespecificeerd.
Veelbelovend is het onderzoek naar het geautomatiseerd bewijzen van de correctheid van software. De code wordt omgezet in propositielogica en kan vervolgens geautomatiseerd worden getest. Groote verwacht dat deze methode over 10 tot 15 jaar algemeen gebruikelijk zal zijn.
