speck: weil wingit das so will :/

[hwmod.git] / spec / speck.tex

diff --git a/spec/speck.tex b/spec/speck.tex
index 29bdfcaf4ca928ff18b3c70bb0e1d019be5fb67d..76d9a06f180665b469510e450a6268b1e4218519 100644 (file)
--- a/spec/speck.tex
+++ b/spec/speck.tex
@@ -311,7 +311,8 @@ Alle Textausgaben sind in wei
 \paragraph{Fehlermeldungen}
 Fehlermeldungen werden als Strings wie ein korrektes Ergebnis in die entsprechende Ausgabezeile geschrieben.
 
-Fehlerhafte Eingaben und Fehlermeldungen werden ebenso am Bildschirm dargestellt wie korrekte. Bei Abfrage der History über RS232 werden daher auch fehlerhafte Ein- und Ausgaben dazugezählt.
+Fehlerhafte Eingaben und Fehlermeldungen werden ebenso am Bildschirm dargestellt wie korrekte. Bei
+Abfrage der History \"uber RS232 werden daher auch fehlerhafte Ein- und Ausgaben dazugez\"ahlt.
 
 \paragraph{Taster}
 Bei Drücken des Buttons \emph{A} wird eine einmalige Übertragung des History-Inhalts über
@@ -330,16 +331,38 @@ Der History Inhalt wird im ASCII Format 
 mit der 1. Eingabe begonnen, dann die 1. Ausgabe, die 2. Eingabe usw. Die aktuelle Eingabezeile
 wird NICHT mit übertragen. Die Ein- und Ausgabezeilen werden nur bis zum letzten erlaubten
 Eingabe- bzw. Ausgabezeichen gesendet. Nach jeder Zeile folgt ein \emph{` \textbackslash n'} Zeichen.
-%TODO das format hat irgendwie anders geheißen bild ich mir ein
-%oder doch immer die volle zeilenlänge von 70 zeichen senden weil einfacher?
 
+\subsection{Testf\"alle}
+\tcc{$9*55*-6+3000/2-1-1-1*50\text{\textasciicircum B}00 = -1972 $}
+Erf\"ullt \textbf{Req 1, 2, 3, 6}
 
-\subsection{Testfälle}
+\tcc{$9---2 \Rightarrow$ Err}
+Erf\"ullt \textbf{Req 2}
 
-alle requirements muessen von testfaellen abgedeckt werden!
+\tcc{$-2147483648 + 1 = -2147483647$}
+Erf\"ullt \textbf{Req 4}
 
-%29 zeilen am bildschirm
+\tcc{$-2147483649 + 1 \Rightarrow$ Err}
+Erf\"ullt \textbf{Req 4}
 
+\tcc{$2147483647 - 1 = 2147483646$}
+Erf\"ullt \textbf{Req 4}
+
+\tcc{$2147483644 + 100 \Rightarrow$ Err}
+Erf\"ullt \textbf{Req 4}
+
+\tcc{$1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 1 +1 + 2 +2 + 2 + 1
+\Rightarrow$ ab dem ersten `2'er soll die Eingabe verweigert werden (man beachte die Leerzeichen)}
+Erf\"ullt \textbf{Req 5}
+
+\tcc{Es sollen 20 Rechnungen eingegeben werden (ob g\"ultig oder nicht spielt dabei keine Rolle).
+Ab der 15. Berechnung soll ein Scrollen des Bildschirms festgestellt werden k\"onnen.}
+Erf\"ullt \textbf{Req 7, 8, 9}
+
+\tcc{Es sollen 52 Berechnungen der Art $i + i\text{<ENTER>}$ eingegeben werden, wobei $i$ der
+aktuellen Berechnung entspricht. Danach soll eine RS232 \"Ubertragung (einmal per Button und einmal
+per PC) in Gang gesetzt werden. Am PC sollen nur die letzten 50 Berechnungen ersichtlich sein.}
+Erf\"ullt \textbf{Req 10, 11}
 
 \section{Detailed Design Description}
 \subsection{VGA}