Diese Arbeit beschäftigt sich mit theoretischen Werkzeugen zur Überprüfung von Eichinvarianz in numerischen Berechnungen von Streuquerschnitten sowie mit der Konsistenz von Näherungsschemata, die in realistischen Rechnungen angewendet werden. Ein endlicher Satz von Ward Identitäten von 4 Punkt Streuamplituden wird bestimmt, der es erlaubt, die korrekte Implementierung der Feynmanregeln einer spontan gebrochenen Eichtheorie modellunabhängig zu verifizieren. Diese Identitäten wruden in den Matrixelementgenerator O'Mega implementiert und zur Überprüfung der Implementierung des vollständigen Standardmodells in Rξ Eichung benutzt. Als theoretisches Hilfsmittel wird eine neue Identität für Vertexfunktionen mit mehreren Impulskontraktionen hergeleitet. Im letzten Teil der Arbeit wird das Problem der Konsistenz von Näherungen in tree-level Rechnungen diskutiert. Wir bestimmen die Eichinvarianzklassen in spontan gebrochenen Eichtheorien und geben einen neuen Beweis des Formalismus der Eich- und Flavorflips. Die in O'Mega implementierten Schemata zur Behandlung endlicher Zerfallsbreiten werden vorgestellt. Zum Vergleich mit existierenden Rechnungen untersuchen wir die Konsistenz dieser Schemata im Prozess e-e+→ e- νe. Verletzungen der Eichinvarianz durch die Einführung laufender Kopplunskonstanten werden analysiert.