Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 4 » Grobe uebersicht der Fragen:   (Übersicht)

Allgemein: VEZS 7.5 ECTS, WS23, 12.04.2023.

Pruefungsatmosphaere war sehr angenehm.

Pruefer war Peter Waegemann, Beisitzer Simon Schuster

Note war am Ende eine 1.3, ich hatte bei der WorstCaseStackUsage ein paar Haenger vorallem bei den Interrupts und wusste zu Benchmarks quasi nichts.

War das ganze Semester aktiv dabei. Hab mir zur Vorbereitung alle Vorlesungen angeschaut und nebenbei zusammengefasst. Dann nur noch mit der Zusammenfassung ein paar tage gelernt. Zusaetzlich am Tag vor der Klausur alle alten Protokolle angeschaut was sehr hilfreich war, da viele Fragen 1zu1 so dran kamen.

Grobe uebersicht der Fragen:

Was ist ein Fehler? Fehlerkette nennen und Implikationen von Fehlern(zB kann ein transienter Fehler zu permanenten Fehlverhalten fuehren)

Man konnte sich aussuchen ob erst Fehlervermeidung oder erst Fehlertoleranz, ich hab mich fuer Fehlertoleranz entschieden

Wie bekommt man Fehlertoleranz? → Alle Redudanzarten nennen mit Beispielen und Vor und Nachteilen. Codierungen, alle (AN, ANBD etc) auch mit recht vielen Details

Wie bekommt man strukturelle Toleranz sicherer → CoRed Ansatz TMR erklaeren, was vorteile von Prozess TMR und was muss man hier beachten

Wie kann man seine Toleranzmassnahmen ueberpruefen? Fehlerinjektion, Fail* nennen, fault-space-pruning nennen und erklaeren. Wollten auch wissen wie man mit relativen & absoluten fehlern aufpassen muss

Testen: Alle Testueberdeckungsmassnahmen nennen mit verfeinerungen zB bei Pfadueberdeckung. McCabe Cyclomatic complexity kurz erklaeren. White/Black/Grey Box testing, V-Modell

Statische Verifikation: Abstrakte & konkrete Semantik aufzeichnen, das mit dem Schlauch aus der VLS. Soundness, Praezision und komplexitaet erklaeren und skizieren

Stackanalyze: Wollten sie recht viel wissen, auch das mit den Interrupts.

Benchmarks: Habe ich ueberhaupt nicht mit gerechnet dass sie dazu was fragen. Fragen waren so richtung wie kann man statische Verfahren ueberpruefen gestellt.