Nach wie vor ist Test das Mittel der Wahl für die Verifikation von Software, aber es
Nach wie vor ist Test das Mittel der Wahl für die Verifikation von Software, aber es ist bekannt, dass der Test außer in den einfachsten Fällen nicht alle Situationen testen kann. Automatische statische Analysen können die relevanten Programmeigenschaften mathematisch beweisen. ( Bild: gemeinfrei / CC0 )