Swe on Wachter Space :rocket:

Software Engineering 2 Lecture Summary

Mon, 20 Feb 2023 00:00:00 +0000

Software Engineering 2 (SWT II) is the follow-up lecture to Software Engineering 1 and is held by Prof. Dr. Reussner. It focuses on software architecture, quality and development processes. The first part of this post is a lecture summary organized as self test questions for active recall. Below there are answers to the learning goals presented in the last lecture.

Design & Realization

Clean Coding

Lehman’s first law
A system that is used will be changed

Automatic Unit Test Generation from Formal Verification

Fri, 06 Jan 2023 00:00:00 +0000

Presentation about: Using stainless for Full Coverage Unit Test Generation

Rollenbasierte Modellierung für das Domain-driven Design

Sun, 30 Aug 2020 00:00:00 +0000

Dieser Blogpost ist meine Proseminararbeit mit dem Titel „Nutzbarkeit von Rollenbasierter Modellierung im Domain-driven Design“ aus dem Sommersemester 2020. Während das KIT noch einiges an der Vergabe der Proseminare verbessern sollte, habe ich im Nachhinein viel über wissenschaftliches Schreiben und Software-Entwurf gelernt. (Trotz kompliziertem und intransparentem Vergabesystem ist es letztendlich gefühlter Zufall, ob und welches Thema man bekommt.) Es gab ein Peer-Review durch zwei andere Teilnehmende des Seminars, allerdings lagen die Themengebiete sehr weit auseinander. Die nicht optimale Formatierung dieses Blogposts liegt daran, dass ich die Quelldateien in zwei Schritten mit pandoc umgewandelt habe.

Softwaretechnik 1 am KIT

Wed, 19 Jun 2019 00:00:00 +0000

hilfreichen Materialien (als ich die VL gehört habe) #

Ausführliche Zusammenfassung und Beispiele zu den SWT1 Themen: SWT1 Revision by example
Hier ist eine gute Zusammenfassung von Lukas Bach
Meine Anki Karten, Was ist Anki?! (Passwortgeschützt, da Folien nicht unter freier Lizenz)

mein Tutorium im SS20 #

Meine LaTeX-Folien: Gitlab
Aus diesem Git Repo nehme ich einige meiner Beispiele zum Thema Design Pattern: Design patterns implemented in Java
- Später habe ich auch noch sourcecodeexamples.net gefunden
Gute Übung zum Thema Git: Learn Git Branching
Gute Übung zum Thema Parallelität: Deadlock Empire

Entwurfsmuster #

Programmieren am KIT

Tue, 18 Jun 2019 00:00:00 +0000

Im ersten Semester des Informatikstudiums am KIT besucht man üblicherweise die Vorlesung Programmieren. Diese soll grundlegende Konzepte der Programmierung am Beispiel von Java einführen.

Hier ein paar Tipps von mir:

Benutzt git
Schreibt viele Tests. Zum Beispiel durch Erweitern der Terminalklasse, sodass diese Textdateien einliest in denen Eingaben und erwartete Ausgaben stehen. Außerdem gibt es: Eine Onlinetestumgebung in der mehrere User Testfälle beitragen können.
An vielen Stellen ist sinnvoll reguläre Ausdrücke zu verwenden. Diese werden schnell unübersichtlich. Mit dem Onlinetool DebuggEx kann man sie testen und visualisieren.
Benutzt möglichst abstrakte Datentypen, also z.B. Collection und nicht LinkedList wo immer möglich.
Trennt UI und Logik (Stichwort Entwurfsmuster Fassade), am besten in zwei Paketen.
Benutzt keine Magic-Numbers und lagert Ausgabetext in extra Klassen aus. Man kann sich einen Checkstyle bauen, sodass so etwas erkannt wird.
Verzichtet auf Plagiate, es findet auch eine automatisierte Prüfung statt.
Es gibt keine extra Punkte für besonders „anspruchsvolle“ Lösungen, sondern nur Abzug für Fehler. Es ist deshalb zu empfehlen genau das zu machen, was in den Aufgaben steht und was an Hinweisen zu Stil und Aufbau in der Vorlesung, den Tutorien, dem Wiki, etc. gegeben wurde.
Versucht möglichst viele Fehlerarten automatisch erkennen zu lassen, zum Beispiel durch Erweitern des Checkstyles oder durch den Code Inspector von IntelliJ.

Um einen Eindruck vom Umfang der Abschlussaufgaben zu bekommen hier meine Lösungen aus dem Wintersemester 18/19.