Da in der Praxis immer wieder gravierende Softwarefehler festgestellt werden, die zu enormen wirtschaftlichen Schäden führen (so sind z. B. die Schwierigkeiten des dt. Maut-Systems der Firma Toll Collect im Herbst 2003 wohl überwiegend auf eine fehlerhafte Software zurückzuführen), ist die Qualitätssicherung von Software ein besonders wichtiger Bereich. Dabei unterscheidet man in die