Blatt 00 PDF

Preview

Summary

Blatt00...

Description

Lehrstuhl für Software and Computational Systems Gidon Ernst, Stephan Holzner

Übungen zur Vorlesung Formale Spezifikation und Verifikation Wintersemester 2020 Übungsblatt 00 Bekanntgabe am 002.11.2020

1 Einrichten einer Java-Entwicklungsumgebung Im Rahmen der Veranstaltung werden wir zahlreiche Java-Beispiele vorstellen und Programmieraufgaben stellen. Es ist daher wichtig sicherzustellen, dass Sie Java 11 und Eclipse installiert haben. Sollten Sie bei einem er folgenden Schritte Fragen haben, können Sie diese im sozialen Forum in unserem Moodle stellen1 . (a) Falls noch nicht vorhanden, laden Sie Java 11 herunter und installieren es 2 (b) Laden Sie Eclipse herunter und installieren Sie es3 (c) Erstellen Sie ein neues java-Projekt mit folgender Testklasse: 1 2 3 4 5 6 7 8 9 10

package com . example ; import s t a t i c org . j u n i t . j u p i t e r . ap i . A s s e r t i o n s . * ; import org . j u n i t . j u p i t e r . a p i . Te st ; c lass TestClass { @Test void t e s t ( ) { a s s e r t Tr u e ( System . g e t Pr o p er ty ( " j a v a . v e r si o n " ) . s t a r t s W i t h ( " 1 1 . " ) , " Es i s t ni c h t di e r i c h t i g e Jav a −V er s i on i n s t a l l i e r t ! " ) ; } }

Bei der Projekterstellung können Sie auf die Erstellung eines Moduls verzichten, um unnötigen Problemen vorzubeugen (siehe Abbildung 1). Falls Fehler angezeigt werden, müssen Sie JUnit5 zum BuildPath hinzufügen (wenn Sie ihre Maus über dei rot unterstrichenen Annotation “@Test“ im Quelltext positionieren, werden Ihnen entsprechende Fixes vorgeschlagen, siehe Abbildung 2). (d) Führen sie die Testklasse als JUnit-Test (Tastenkürzel Strg+Umschalt+X T) aus und überprüfen Sie, ob der Test erfolgreich war. Falls nicht haben Sie eventuell die falsche JavaVersion in Benutzung. (e) Falls Sie erfolgreich waren, helfen Sie ihren Kommilitonen im Forum 1 .

1 https://moodle.lmu.de/mod/forum/view.php?id=500512 2 https://www.oracle.com/java/technologies/javase-jdk11-downloads.html 3 https://www.eclipse.org/downloads/packages/release/2020-03/r/eclipse-ide-java-developers

Abbildung 1: Wir werden in dieser Veranstaltung keine Module benutzen. Um unnötigen Problemen vorzubeugen können Sie also in diesem Dialog auf “Don’t Create“ klicken

Abbildung 2: Um die Fehler zu beheben, klicken Sie auf “Add JUnit 5 library to the build path“...