Master Seminar: Software Testing

Software testing aims at checking the correctness of programs by means of executing the program on given inputs and comparing its output against the expected one. Software testing is thus a dynamic software analysis technique. In the seminar, we will look at different ways of testing software for different sorts of software and correctness properties.

Prerequisite:

Successful participation in class “Software Analysis” or “Model Checking” (successful = exam passed).

Application:

For taking part in this seminar, you need to apply to it in written form (by email). For this, take a look at the below given article and write a half-page summary of the different aspects of testing discussed in the article. Do not just copy sentences from the article. Send this together with your name and student id (Matrikelnummer) to Arnab Sharma, arnab.sharma@uni-paderborn.de by October,14th , 2018. We will then select the participants on the basis of these statements. We will most likely have more applications than places, thus participation cannot be guaranteed.

Organizational issues:

Language:   

The language of the seminar is English, i.e. you will need to give your presentation in English as well as write your report in English.

Important Dates:                                                                                                                                   

Submission of the first version of the slides: 9th December, 2018 till 11.59.00 pm

Your presentation: 7th and 9th January, 2019, 04.00 pm to 07.00 pm

Submission of the first version of the summary report: 23rd January, 2019 till 11.59.00 pm

Submission of the review: 30th January, 2019 till 11.59.00 pm

Submission of the final version of the summary report: 6th February, 2019 till 11.59.00 pm

Your submissions of slides, reports etc. will have to be handed in via the Panda system.

Questions: 

Questions regarding the seminar are answered by Arnab Sharma (english only).

Requirements for passing the seminar

  • give an approx. 30-minute talk and prepare for a follow up discussion
  • written report (ca. 9 pages)
  • active participation in the discussion
  • adhere to the dates and appointments
  • review reports of two other participants

Before the talk, there should have been at least two meetings with your supervisor. More information on this will be given in the preliminary meeting.

Topics and articles:

Articles:

Alessandro Orso, Gregg Rothermel:
Software testing: a research travelogue (2000-2014). FOSE 2014: 117-132

Topics:

Testing of Android apps, Atomicity testing, Search-based testing, Metamorphic testing, Model-based testing, Testing JML, Runtime verification