Anforderungen an Compiler

Optimiererer

• Wenn die Codeüberdeckung mit dem Softwarelevel konsistent ist, muß die Korektheit der Optimierung nicht verifiziert werden,
• Sonst muß das Ausmaß auf die Überdeckungsanalyse analysiert werden

Code der vom Compiler automatisch generiert wird und nicht auf den Sourcecode rückverfolgt werden kann

• Initialisierung
• Error Detection
• Ausnahmebehandlung

Diese Codeteile müssen identifiziert werden, und mit in die Verifikation einbezogen werden.

weitere Entwicklung