Optimierung einer Softwarebibliothek für sicherheitsrelevante

4 Konzept und Implementierung 43
Da bei allen Register-Tests das Register R1 als Referenz dient, wird dieses auf eine
andere Weise überprüft. Anstelle der Schiebeoperation LSL wird die zweier Multiplikation
verwendet. Durch das Testen des Register R1 auf zwei verschiedene Weisen wird
mit sehr hoher Wahrscheinlichkeit sichergestellt, dass das Register fehlerfrei ist. Die
Funktionsweise kann an dem folgenden Listing nachvollzogen werden:
1. " mov r0,#0x1; "
2. " mov r1,#0x1; "
3. " mov r2,#0x2; "
4. " Schleife_r0_r1: mul r3,r0,r2;"
5. " mov r0,r3; "
6. " mov r3,#0; "
7. " mul r3,r1,r2; "
8. " mov r1,r3; "
9. " mov r3,#0; "
10. " teq r0,r1; bne Error;"
11. " teq r0,#0x80000000; bne Schleife_r0_r1;"
Wobei zu diesem Listing gesagt werden muss, dass die Fehlerfreiheit des Registers R3
angenommen wird.
4.1.4 CPU-Test
Konzept
Wie schon in den Grundlagen erwähnt wurde, bedeutet das Testen einer CPU eigentlich
das Testen von einzelnen Befehlen der CPU. Die Befehle des Philips LPC2148 wurden
in dem Kapitel Grundlagen aufgelistet.
Beim Testen wird das Vergleichsprinzip der Fehleraufdeckung benutzt. Der CPU-Test
wird in mehrere kleinere Tests aufgeteilt. In einzelnen Funktionen werden arithmetische
und logische, Load und Store, Vergleichs- sowie Sprungbefehle getestet.
Implementierung der arithmetischen, logischen und Multiplikation-Befehl-Tests
Wie bei der Implementierung aller CPU-Tests wird die Assemblersprache verwendet,
weil sich nicht alle Befehle der CPU in Programmiersprache C implementieren lassen.
Die Funktionsweise des Testens aller arithmetischen, logischen sowie Multiplikations-
Befehlen ist folgende:
1. Zwei Register werden mit Testmustern beladen.
2. Der zu prüfende Befehl wird auf diese Register angewendet.
3. Das Resultat wird mit dem erwarteten Wert verglichen.
4. Ist die Prüfung erfolgreich, wird der nächste Befehl getestet.