christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

fault-coverage: intro comment translated

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@2033 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
adrian
2013-01-31 12:18:51 +00:00
parent cb429fddb2
commit bede34d0c9
1 changed files with 17 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
src/experiments/fault-coverage/experiment.cc
View File

@ -13,25 +13,24 @@ using namespace fail;
bool FaultCoverageExperiment::run() bool FaultCoverageExperiment::run()
{ {
// FIXME: This should be translated (-> English)!
/* /*
Experimentskizze: Sketch of experiment:
- starte Gastsystem - start guest system
- setze Breakpoint auf Beginn der betrachteten Funktion; warte darauf - set breakpoint to the beginning of the function under consideration
- sichere Zustand - wait until breakpoint triggers, save state
- iteriere über alle Register - loop over all registers
-- iteriere über alle 32 Bit in diesem Register -- loop over all 32 bits of the each register
--- iteriere über alle Instruktionsadressen innerhalb der betrachteten Funktion --- loop over all instruction addresses of the function of interest
---- setze Breakpoint auf diese Adresse; warte darauf ---- set breakpoint to each address, wait until breakpoint triggers
---- flippe Bit x in Register y ---- toggle bit x in register y
---- setze Breakpoint auf Verlassen der Funktion; warte darauf ---- set breakpoint to the last address of function, wait
---- bei Erreichen des Breakpoint: sichere Funktionsergebnis (irgendein bestimmtes Register) ---- if breakpoint triggers: save result (eax/rax register)
---- lege Ergebnisdaten ab: ---- save result data:
a) Ergebnis korrekt (im Vergleich zum bekannt korrekten Ergebnis für die Eingabe) a) result correct (compared to the valid result for the current input)
b) Ergebnis falsch b) result wrong
c) Breakpoint wird nicht erreicht, Timeout (z.B. gefangen in Endlosschleife) c) breakpoint never reached, timeout (e.g. caught in endless loop)
d) Trap wurde ausgelöst d) trap triggered
---- stelle zuvor gesicherten Zustand wieder her ---- restore previously saved simulator state
*/ */
// set breakpoint at start address of the function to be analyzed ("observed"); // set breakpoint at start address of the function to be analyzed ("observed");