comparison docs/lyx/emu.lyx~ @ 42:792da050d8c4 tip

more dox

 The assemblers memory structures and access functions were tested by using
  the access function to set the memory structures to know values, and then
  request the values back and write them to a file.
  The file was then inspected by hand.
  The test files and results can be found in the Supporting Material.
+ 
 \end_layout
 
 \begin_layout Standard
 \begin_inset ERT
 status open

 
 
 \end_layout
 
 \begin_layout Standard
-The emulator could be more rigorously tested in conjunction with the debugger.
+The emulator could be more rigorously tested in conjunction with the debugger
+ and assembler.
  Below is a pseudo-code representation of an automated test procedure that
  could be implemented with the debug class in python.
 \end_layout
 
 \begin_layout Standard

 \end_inset
 
 
 \end_layout
 
+\begin_layout Standard
+\begin_inset listings
+lstparams "basicstyle={\ttfamily},frame=tb,framexbottommargin=1em,framextopmargin=1em,language=C"
+inline false
+status open
+
+\begin_layout Plain Layout
+
+for instruction in instruction set:
+\end_layout
+
+\begin_layout Plain Layout
+
+	reset emulator memory state
+\end_layout
+
+\begin_layout Plain Layout
+
+	assemble instruction
+\end_layout
+
+\begin_layout Plain Layout
+
+	write instruction to memory
+\end_layout
+
+\begin_layout Plain Layout
+
+	execute instruction
+\end_layout
+
+\begin_layout Plain Layout
+
+	
+\end_layout
+
+\begin_layout Plain Layout
+
+	get all registers
+\end_layout
+
+\begin_layout Plain Layout
+
+	get all flags
+\end_layout
+
+\begin_layout Plain Layout
+
+	get any affected memory cells
+\end_layout
+
+\begin_layout Plain Layout
+
+\end_layout
+
+\begin_layout Plain Layout
+
+	if and only if expected register changes occoured:
+\end_layout
+
+\begin_layout Plain Layout
+
+		register test passed
+\end_layout
+
+\begin_layout Plain Layout
+
+	if and only if expected flag changes occoured:
+\end_layout
+
+\begin_layout Plain Layout
+
+		flag test passed
+\end_layout
+
+\begin_layout Plain Layout
+
+	if expected memory modification occoured:
+\end_layout
+
+\begin_layout Plain Layout
+
+		memory test passed
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
 \end_body
 \end_document