TU Wien:Einführung in die Programmierung 2 VU (Puntigam)/Fragenkatalog 2. Test

Beim Test bekommt man zufällig 5 Fragen mit je 5 Antwortmöglichkeiten. Um neue Fragen hinzuzufügen konvertiere sie mit dieser Website.

Pluspunkt für eine richtige Antwort:
Punkte für eine falsche Antwort:
Ignoriere die Fragen-Koeffizienten:

1 Welche der folgenden Aussagen treffen in Bezug auf Algorithmen und Datenstrukturen zu?

	Absicherung gegen schlechte Datenverteilung kann die Laufzeit erhöhen.
	Arrays sind sehr effizient wenn normale Arrayzugriffe ausreichen.
	Bei unbekannter Datenverteilung gehen wir von Zufallsverteilung aus.
	Ein AVL-Baum ist stets effizienter als ein einfacher Suchbaum.
	Lineare Listen sind einfach zu implementieren.
	Mergesort wird auf linearen Listen häufiger eingesetzt als Quicksort.
	Hash-Tabellen eignen sich vor allem gut für geordnete Daten.
	Bäume verwenden wir meist nur wo andere Datenstrukturen nicht passen.

2 Welche der folgenden Aussagen treffen auf die Ein- und Ausgabe über Streams in Java zu?

	'new FileWriter(s)' erzeugt einen gepufferten Stream.
	'new FileWriter(s)' erzeugt einen ungepufferten Stream.
	'new FileWriter(s)' wirft eine IOException wenn s schon existiert.
	Ausgaben über gepufferte Streams gehen direkt an das Betriebssystem.
	Puffer können als Wrapper vor nichtgepufferte Streams gehängt werden.
	Viele Methoden von PrintStream werfen keine IOException.
	Die meisten Methoden von Writer werfen eine IOException.
	Streams vom Typ Reader wandeln die Kodierung automatisch um.
	Streams werden nach der Verwendung mittels close() geschlossen.
	Gepufferte Streams sind meist effizienter als ungepufferte.
	Ab Java 7 schließen sich am Methodenende offene Streams automatisch.
	Streams vom Typ Writer wandeln die Kodierung automatisch um.
	Streams vom Typ InputStream wandeln die Kodierung automatisch um.
	Ungepufferte Streams sind meist effizienter als gepufferte.

3 Welche der folgenden Aussagen treffen auf Schleifen und Schleifeninvarianten zu?

	Die Abbruchbedingung kann nicht Teil einer Schleifeninvariante sein.
	Durch Schleifeninvarianten werden Schleifen im Debugger iterierbar.
	Eine Schleifeninvariante beschreibt, was jede Iteration ändert.
	Schleifeninvarianten garantieren den Fortschritt jeder Iteration.
	Schleifeninvarianten helfen dabei, Programme statisch zu verstehen.
	Schleifeninvarianten müssen auch vor und nach der Schleife gelten.
	Schleifeninvarianten müssen vor jedem Methodenaufruf erfüllt sein.
	Termination muss unabhängig von Schleifeninvarianten geprüft werden.
	Schleifeninvarianten beschreiben, was Iterationen unverändert lassen.

4 Welche der folgenden Aussagen treffen auf das Testen großer Programme zu?

	Anwender sind wegen möglicher Verfälschungen nicht einzubeziehen.
	Auch intensives Testen kann nicht alle Fehler aufdecken.
	Eine Code-Review hilft beim Auffinden von Fehlerursachen.
	Experten für Softwaresicherheit sollen einbezogen werden.
	Debugger eignen sich zum Aufdecken fast aller Fehlerursachen.
	Regressions-Tests müssen fast immer händisch durchgeführt werden.
	White-Box-Testen legt Testfälle vor der Implementierung fest.
	White-Box-Testen leitet Testfälle aus der Implementierung ab.
	Black-Box-Testen leitet Testfälle aus Anwendungsfällen ab.
	Mit absichtlichen Fehlern ist die Qualität des Testens prüfbar.
	Schnittstellen-Tests überprüfen die Benutzeroberfläche.
	Wiederholte Fehlerkorrektur führt rasch zu fehlerfreien Programmen.

5

public int median(int[] a) { return a[a.length / 2]; }

Welche der folgenden Aussagen können (jede für sich) als Vor- bzw. Nachbedingungen dieser Methode sinnvoll sein?

	Nachbedingung: Gibt einen Eintrag etwa in der Mitte von a zurück.
	Nachbedingung: Setzt voraus, dass a mindestens einen Eintrag hat.
	Nachbedingung: Wirft eine Exception wenn a.length == 0.
	Nachbedingung: Halbiert die Länge von a.
	Nachbedingung: Lässt a unverändert.
	Nachbedingung: a.length > 0.
	Vorbedingung: a != null
	Vorbedingung: a ist absteigend sortiert.
	Vorbedingung: a ist aufsteigend sortiert.
	Vorbedingung: Gibt den Median zurück wenn a sortiert ist.
	Vorbedingung: Greift auf einen Eintrag von a zu.
	Vorbedingung: Wirft eine Exception wenn a == null.

6 Welche der folgenden Aussagen treffen auf Iteratoren in Java zu?

	Lineare Listen sind meist einfacher iterierbar als Binärbäume.
	Mehrere Iteratoren auf dem gleichen Objekt stören sich gegenseitig.
	Iterator-Implementierungen sind eigene Klassen.
	Iterator-Implementierungen bestimmen die Reihenfolge der Iterationen.
	Iteratoren über Bäume sind häufig rekursiv implementiert.
	Die Reihenfolge der Iterationen zeigt die Art der Datenstruktur.

7 Welche der folgenden Aussagen treffen auf die notwendige Überprüfung von Eingabedaten zu?

	Alle Parameter einer Methode müssen in der Methode überprüft werden.
	Die Validierung soll erst möglichst knapp vor der Ausgabe erfolgen.
	Java-Objekte vom Typ Pattern lesen nur überprüfte Daten ein.
	Plausibilitätsprüfungen sollen direkt nach der Eingabe erfolgen.
	Reparaturversuche nicht plausibler Daten können gefährlich sein.
	Unzureichende Prüfung kann z.B. zu einer SQL-Injection führen.
	Nicht validierbare Daten reparieren wir direkt nach der Eingabe.
	Reguläre Ausdrücke können Prüfungen von Datenformaten vereinfachen.
	Alle Daten von außerhalb des Programms müssen überprüft werden.
	Wir müssen die Korrektheit prüfen, nicht nur die Plausibilität.

8 Welche der folgenden Aussagen treffen auf Klassen und Interfaces im Java-Collections-Framework zu?

	Einträge in einem TreeSet<E> sind sortiert (über Iterator sichtbar).
	Set<E> erweitert Collection<E>, verbietet aber mehrfache Einträge.
	Map<K,V> implementiert Set<K> als balancierten binären Suchbaum.
	ArrayDeque<E> erweitert ArrayList<E> um die Methoden von Deque<E>.
	In eine Queue<E> kann man neben add auch mittels offer einfügen.
	LinkedHashMap<K,V> ist sowohl Hash-Tabelle als auch lineare Liste.
	LinkedList<E> implementiert Deque<E> als doppeltverkettete Liste.
	LinkedList<E> implementiert Set<E> als einfachverkettete Liste.
	Einfügen mittels add ist in einer ArrayList<E> besonders effizient.
	Einträge in einem HashSet<E> sind sortiert (über Iterator sichtbar).

9 Welche der folgenden Aussagen treffen auf die Einhaltung von Zusicherungen entsprechend Design-by-Contract zu?

	Clients müssen für die Einhaltung von Invarianten sorgen.
	Clients müssen für die Einhaltung von Nachbedingungen sorgen.
	Clients können sich auf die Einhaltung von Nachbedingungen verlassen.
	Invarianten müssen zu ausnahmslos jedem Zeitpunkt erfüllt sein.
	Server müssen für die Einhaltung ihrer Nachbedingungen sorgen.
	Server müssen für die Einhaltung ihrer Vorbedingungen sorgen.
	Server müssen für die Einhaltung ihrer Invarianten sorgen.
	Server können sich auf die Einhaltung ihrer Vorbedingungen verlassen.
	Server können sich auf die Einhaltung ihrer Nachbedingungen verlassen.

10 Welche der folgenden Hoare-Tripel gelten (für Anweisungen in Java)?

	{true} x = y<z ? y : z; {x>=y}
	{y>0} while (x>0) x--; {y>0}
	{true} x=0; {x>=0}
	{x>0} while (x>0) x--; {x>0}
	{true} x++; {x>=0}
	{x>2} if (x<0) x--; {x>2}
	{x>2} if (x>0) x--; {x>2}
	{y<=0} while (++x < 0) y--; {y<0}
	{x==5} x++; {x==6}
	{true} x = y>z ? y : z; {x>=y}
	{y<0} while (++y <= 0) x--; {y>0}
	{x==6} x++; {x==5}

11 Welche der folgenden Aussagen treffen für Design-by-Contract zu?

	Invarianten beziehen sich auf Objektzustände.
	Es gilt nur das, was explizit in Zusicherungen steht.
	Auch ohne Zusicherungen muss gelten, was allgemein erwartet wird.
	Vorbedingungen beschreiben häufig Eigenschaften von Parametern.
	Invarianten beschreiben häufig Eigenschaften von Methodenparametern.
	Invarianten beziehen sich auf einzelne Methoden.
	Eine Vorbedingung darf im Untertyp stärker sein als im Obertyp.
	Eine Nachbedingung darf im Untertyp schwächer sein als im Obertyp.
	Nachbedingungen beschreiben häufig Eigenschaften von Parametern.
	Vor Methodenaufrufen müssen alle Invarianten erfüllt sein.
	Nachbedingungen beziehen sich auf einzelne Methoden.
	Objektzustände dürfen nur geändert werden, wo dies erwartet wird.
	Vorbedingungen beziehen sich auf einzelne Methoden.
	Eine Invariante darf im Untertyp schwächer sein als im Obertyp.
	Objektzustände dürfen geändert werden, wo dies nicht explizit verboten ist.

12 Welche der folgenden Aussagen treffen auf gut gewählte Kommentare in Programmen zu?

	Invarianten sollen bei Deklarationen lokaler Variablen stehen.
	Vor Methoden stehen hauptsächlich Vor-und Nachbedingungen.
	Hinweise zur Programmanwendung stehen meist bei Schleifenköpfen.
	Kommentare sollen sich nur auf die Implementierung konzentrieren.
	In Methodenrümpfen stehen hauptsächlich Schleifeninvarianten.
	Die meisten Kommentare beschreiben, wie Anweisungen zu lesen sind.
	Die meisten Kommentare stehen an Schnittstellen (Methoden, Klassen).
	Besonders gute Programmstellen enthalten besonders viele Kommentare.
	Kommentare legen auch fest, wer wofür verantwortlich ist.
	Schleifeninvarianten finden wir meist bei Variablendeklarationen.
	Invarianten sollen bei Deklarationen von Objektvariablen stehen.
	Kommentare sollen aus Sicht der Anwendung geschrieben sein.

13 Welche der folgenden Aussagen treffen auf Ausnahmen und Ausnahmebehandlungen in Java zu?

	Das Ergebnis von getMessage() soll die Fehlerart konkretisieren.
	'Propagieren einer Ausnahme' bedeutet: 'Ausnahme wird abgefangen'.
	Alle Ausnahmen sind vom Typ Throwable.
	Überprüfte Ausnahmen sind vom Typ RuntimeException oder Error.
	Gibt es mehrere catch-Blöcke, wird der erste passende ausgeführt.
	Ausnahmen vom Typ IOException sind überprüft (checked).
	Ausnahmen vom Typ Error werden in der Regel nicht abgefangen.

14 "int n=8, f=1, i=1; while (i < n) f *= ++i;" Welche der folgenden Aussagen sind gültige Schleifeninvarianten dieser Schleife?

	f >= n
	f >= i
	i >= 1 && i <= n
	i > 0 && i < n
	f ist das Produkt aller Zahlen von 1 bis n, also 1*...*n
	f ist das Produkt aller Zahlen von 1 bis i, also 1*...*i
	n == 8

15 Welche der folgenden Aussagen treffen auf die Qualität großer Programme und das zur Erreichung der geforderten Qualität nötige Qualitätsmanagement zu?

	Zur Effekivitätssteigerung sind Team-Besprechungen zu vermeiden.
	Qualitätsanforderungen sollen analysiert und dargestellt werden.
	Misstrauen gegenüber Teammitgliedern kann die Qualität verbessern.
	Alle Qualitätskriterien müssen als gleich wichtig gesehen werden.
	Pair-Programming gilt als qualitätssteigernde Maßnahme.
	Konfigurierbarkeit kann die Brauchbarkeit des Programms verbessern.
	Maßnahmen zur Schulung des Qualitätsbewusstseins sind effektiv.
	Formale Korrektheitsbeweise sind für große Programme extrem.
	Abhängigkeiten zu anderer Software sollen möglichst stark sein.
	Konfigurierbarkeit beeinflusst die Brauchbarkeit des Programms nicht.
	Vertrauen gegenüber Teammitgliedern kann die Qualität verbessern.

16 q, r und s seien Objektreferenzen ungleich null. Welche der folgenden Bedingungen müssen für jede Implementierung der Methoden 'boolean equals(Object obj)' und 'int hashCode' in Java gelten?

	Aus r.equals(s) folgt s.equals(r).
	Aus q.equals(r) und r.equals(s) folgt s.equals(q).
	Aus !r.equals(s) folgt !s.equals(r).
	Aus r.equals(s) folgt r.hashCode() == s.hashCode.
	Aus r.hashCode() == s.hashCode() folgt r.equals(s).