Software Testing (Seminar)

GUI Testing

The widespread use of GUIs (Graphical User Interfaces) that allows people to interact with programs is leading to the construction of more and more complex GUIs. With the growing complexity come challenges in testing the correctness of GUIs and its underlying software system. Since manual black-box testing of GUI's is tedious and laborious, test engineers create GUI test scripts to automate the testing process. These GUI test scripts interact with the GUI of a program by performing actions on their GUI objects.

Delta Debugging

Delta Debugging automates the scientific method of debugging. The basic idea of the scientific method is to establish a hypothesis on why something does not work. You test this hypothesis, and you refine or reject it depending on the test outcome. When debugging, people are doing this all the time. Manually. Delta Debugging automates this process. Delta Debugging is fully automatic; all it requires is an automated test that detects whether the expected failure is present or not.

The topics of the seminar are primarily based on the papers linked beneath. These are the direct download links of the documents. In order to get an overview with the respective abstracts of the papers check out the available resources.

• Hierarchical GUI Test Case Generation Using Automated Planning
  Assigned to Pavankumar Videm and Paresh Paradkar
• Call-Stack Coverage for GUI Test-Suite Reduction
  Assigned to Robert Jakob and Hamed Ladan
• An event-flow model of GUI-based applications for testing
  Assigned to Muhammad Irfan Nazir
• Coverage criteria for GUI testing
  Assigned to Alibek Kulzhabayev and Rakeshkumar Kachhadiya
• Inferring Types Of References To GUI Objects In Test Scripts
  Assigned to Christian Simon
• Maintaining And Evolving GUI-Directed Test Scripts, Experimental Assessment of Manual Versus Tool-Based Maintenance of GUI-Directed Test Scripts
• Finite state testing and analysis of graphical user interfaces
  Assigned to Tuti Andriani and Chang Zhilu
• Simplifying and Isolating Failure-Inducing Input, Locating Causes of Program Failures
  Assigned to Dirk Kienle and Dragos Alexandru Sorescu
• Hierarchical Delta Debugging
  Assigned to Anton Lastochkin and Oday Jubran
• Finding and Reproducing Heisenbugs in Concurrent Programs
  Assigned to Ahmed Mahdi and Yusra Alkhazraji
• Feedback-directed Random Test Generation
  Assigned to Mohammad Shahabi and Arda Akcay

You can additionally write Stephan Arlt or Martin Mehlmann if you have own exciting proposals of topics in Software Testing. The language of the course is English.

The seminar will be a block course and take place at the Fachschaftshaus Schauinsland. There will be no kick-off meeting. Just contact Stephan by e-mail and we will make a personal appointment with you.

Please register using the Moodle e-Learning Platform (IIF username and WWW password required).

• Instructors: Andreas Podelski | Stephan Arlt | Martin Mehlmann
• Times & Locations: There will be no kick-off meeting. Just contact Stephan by e-mail and we will make a personal appointment with you.