Refaktoren in Python
Wir nehmen an, daß es folgende Anforderungsspezifkation (Sammlung aller Anforderungen) für ein Programm gibt:
- Anforderungsspezifikation
- Das Programm soll »'abc'« ausgeben.
Wir nennen ein Programm korrekt, wenn es seine Anforderungsspezifikation erfüllt.
Dann erfüllen folgende beide Programm die Anforderung.
- Programm 0 (korrekt)
"abc"
- Programm 1 (korrekt)
'abc'
Ein Überarbeitung eines korrekten Programms zu einem anderen, ebenfalls (hinsichtlich derselben Spezifikation) korrektem, Programm, nennt man einen Refaktor.
Refaktoren haben oft Namen. Den Übergang von Programm 0 zu Programm 1 könnte man als „Ersetzen von Anführungszeichen durch Apostrophe“ bezeichnen.
Refaktoren werden oft verwendet, um den Quelltext bereits korrekter Programme zu verbessern.
Wenn es in einer Organisation eine Regel gäbe, derzufolge Apostrophe zu bevorzugen sind, würde die Anwendung des Refaktors „Ersetzen von Anführungszeichen durch Apostrophe“ den Quelltext »"abc"« aus der Sicht jener Organisation beispielsweise verbessern.