Vorhandensein aller Programmierkonzepte und Entwurfsparadigmen

Korrektheit (zumindest partiell überprüfen)

Terminierung (Algorithmus hat ein Ende)

Vollständigkeit (z. B. sind alle Fälle abgedeckt?)

Aspekte der Ausführung bedenken (Worst-Case-Analysen anstellen, Aufwand für Berechnungen, ...)