Mschypula: Mschypula verschob die Seite KovidaChecker nach KovidaChecker (Jack2)

2023-06-07T12:22:47Z

Mschypula verschob die Seite KovidaChecker nach KovidaChecker (Jack2)

← Nächstältere Version	Version vom 7. Juni 2023, 14:22 Uhr
(kein Unterschied)

PRanz am 5. Dezember 2018 um 11:09 Uhr

2018-12-05T11:09:02Z

← Nächstältere Version		Version vom 5. Dezember 2018, 13:09 Uhr
Zeile 29:		Zeile 29:

	[[File:KovidaBeispiel.png \|1000px]]		[[File:KovidaBeispiel.png \|1000px]]

			[[Category:Anleitung]]

Pbabucke am 6. Juni 2018 um 10:25 Uhr

2018-06-06T10:25:02Z

← Nächstältere Version		Version vom 6. Juni 2018, 12:25 Uhr
Zeile 27:		Zeile 27:

	Ein mögliches Ergebnis einer Visualisierung ist in der folgenden Abbildung zu sehen.		Ein mögliches Ergebnis einer Visualisierung ist in der folgenden Abbildung zu sehen.

			[[File:KovidaBeispiel.png \|1000px]]

Pbabucke: Die Seite wurde neu angelegt: „Der KovidaChecker führt keine Checks im eigentlichen Sinne aus, sondern erzeugt zu einem Programmlauf eines Java-Programms eine Visualisierung der erzeugten D…“

2018-06-06T10:07:32Z

Die Seite wurde neu angelegt: „Der KovidaChecker führt keine Checks im eigentlichen Sinne aus, sondern erzeugt zu einem Programmlauf eines Java-Programms eine Visualisierung der erzeugten D…“

Neue Seite

Der KovidaChecker führt keine Checks im eigentlichen Sinne aus, sondern erzeugt zu einem Programmlauf eines Java-Programms eine Visualisierung der erzeugten Datenstruktur. Die nötige Konfiguration besteht aus der Angabe der zu prüfenden Dateien (“Source files”) sowie des Testtreibers (“Test driver class”) zur Erzeugung des Programmlaufs und einer Datei mit Anweisungen für die Erzeugung der Visualisierung (“Visualization configuration”).Der Testtreiber muss eine main-Methode enthalten, die von JACK aufgerufen wird, um den Programmlauf anzustößen. In welcher Form diese Methode Aufrufe auf die zu visualisierende Lösung durchführt, ist nicht beschränkt.

=== Beispiel einer Konfiguration ===

Eine beispielhafte Konfiguration der Visualisierung ist im unten stehenden XML-Code dargestellt.

<syntaxhighlight lang="xml" line="line">
<?xml version="1.0" encoding="UTF-8"?>
<project>
<classes>
<class name="Getraenk" style="list_element" />
<class name="Strichliste" style="list_element" />
<class name="Deckel" style="list" />
<class name="Gast" style="list" />
<class name="Kassensystem" style="list" />
</classes>
<breakpoints name="Miniprojekt5Kovida.java">
<breakpoint orderId="1">99</breakpoint>
</breakpoints>
<info>
Standardbelegung und Getraenkekarte wie in der Aufgabenstellung vorgegeben.
</info>
</project>
</syntaxhighlight>

Die Einträge im Tag <code><classes></code> geben an, welche Klassen für die Visualisierung berücksichtigt werden sollen. Über das style-Attribut kann optional angegeben werden, ob diese Klassen eine Datenstruktur in Form einer Liste definieren oder Listenelemente darstellen. Dies wirkt sich auf die Darstellung aus. Weitere gültige Werte für dieses Attribut sind ''“tree”'', ''“tree_element”'', ''“tree_list”'', ''“tree_list_element”'', ''“tree_list_element_subgraph”'', ''“array”'', ''“graph”'', ''“graph_node”'' und ''“graph_edge”''. Über den Tag <code><breakpoints></code> wird gesteuert, zu welchem Zeitpunkt der Programmausführung eine Visualisierung erzeugt wird. Es ist empfehlenswert, diese nur auf Dateien zu beziehen, die von Studierenden nicht verändert werden können, um ein verlässliches Ergebnis zu erzielen. Wird ein Breakpoint im Laufe einer Programmausführung mehrfach durchlaufen, wird nur zum letzten Durchlauf eine Visualisierung erzeugt. Im Tag <code><info></code> kann eine beliebige Nachricht eingetragen werden, die den Studierenden als allgemeine Information zur Visualisierung angezeigt wird.

Ein mögliches Ergebnis einer Visualisierung ist in der folgenden Abbildung zu sehen.

KovidaChecker (Jack2) - Versionsgeschichte

Mschypula: Mschypula verschob die Seite KovidaChecker nach KovidaChecker (Jack2)

PRanz am 5. Dezember 2018 um 11:09 Uhr

Pbabucke am 6. Juni 2018 um 10:25 Uhr

Pbabucke: Die Seite wurde neu angelegt: „Der KovidaChecker führt keine Checks im eigentlichen Sinne aus, sondern erzeugt zu einem Programmlauf eines Java-Programms eine Visualisierung der erzeugten D…“