Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Wann und Wo

Semesterprojekt: Montag, 13-17 Uhr, RUD 25, 4.113

Wer

Dozent: M.Sc. Sinem Getir / Prof. Grunske

Beschreibung und Aufbau der Lehrveranstaltung

Achtung: dieser Kurs wird in englischer Sprache gehalten.

Today’s large-scale software systems have to satisfy numerous functional and quality requirements. The satisfaction of these requirements should be checked at an abstract model level. Every quality requirement, especially probabilistic quality requirements need to be designed with different and complementary modelling languages (e.g Markov models).

However, abstract models needs validation mainly because of two issues: 1.The abstract model may produce a behaviour which cannot be produced by the software. 2: It does not include some behaviours of the software. Various methods like over-approximation, simulating or learning the event logs of the software systems are a way to create quality models, as well as validating models like conformance checking …etc.

The goals of this project are to design and implement:

• A tool allowing to check the conformance between the software and the given probabilistic model
• A tool which keeps consistent when there is a stimuli by the user (change in the usage profile…etc) or version change in the software.

Experiences gained by the participants will include:

• Managing a software development project (e.g., agile process) in a group
• Software quality modelling, learning to analyse software with probabilistic models
• Learning new methods on testing and model checking
• Using state-of-the-art software technologies and development tools
• Getting in touch with real challenges from academia and common case studies

1st Meeting: 24.04.2017 @ 13:00 in Room 4.413

Registration for the Project

• Send an e-mail to Sinem Getir, which includes your name and your student ID number (Matrikelnummer).

• Register via AGNES

• A binding decision for participation is due by April 27, 2017.

Timeline

The group is responsible for keeping track of upcoming milestones!

1. Preparation Phase (during lecture period, i.e., until July 21, 2017)

2. Development Phase

Deliverables

Presentations

The group should use a consistent template for all presentations!

Reports

• Contents: Documentation of requirements, foundations, architecture, evaluation results (including experimental setting), development process, table of individual contributions to the group, …
• The report is in continuous progress and intermediate statuses are to be provided to the advisor regularly
• Information on authors should be added to chapters/sections/paragraphs (where appropriate)
• Table mapping responsibilities of participants to topics/areas of work

Roles in the Group

Project Roles – e.g., leader, QA (code + document) – can rotate among the participants (does not refer to the areas of expertise listed before, which should remain fixed). To be organized by the group.

Seminar Topics/Areas of Specialization

The topics and areas of specialization are to be defined and assigned to the participants by the group.

Technical Infrastructure

Java Development Constraints / Suggestions

Big emphasis will be put on code and product quality!