Testen und Laufzeit

Wie prüft man systematisch, ob ein Programm korrekt ist? Und wie beurteilt man, ob es effizient ist?