Testing, Debugging, and Verification TDA567/DIT082, LP2, HT2015


We will have three labs during the course. Each submssion of a lab is either rejected (meaning you must improve it) or accepted (meaning you have passed the lab). If the first submission is rejected you have ca. one week to resubmit a corrected version. The labs should be carried out in groups of two persons.

Needless to say, each lab group must produce their own solution. If we catch you copying the solution of someone else, then this will have serious consequences. Among them is that you will fail the course.

If you have questions regarding the labs, you are encouraged to post them to the course's Google group.


The links will be activated before the first lecture on the topic of the lab takes place.

  • Lab 1: Testing (deadline Tuesday, November 22 2016 23:59):
    Informal specifications, black-box testing and white-box testing. The JUnit tool is used in the lab.
  • Lab 2: Formal Specification (deadline Tuesday, December 6 2016 23:59)
  • Lab 3: Formal Verification (deadline Tuesday, December 20 2016 23:59)

  • Reporting The assignments should be handed in using the Fire report system.

    Before you submit: Create an account and join a lab group

    The first step is to register yourself and your lab group in the submission system. This has to be performed only once for all labs and works as follows:

    1. Go to the system site, click on "Register here" and fill in the requested information. Students without "personnummer" can use their Chalmers- or GU-number.
    2. Log on using the account you just created.
    3. For each lab group, one in the pair should create a new group and the other should join that group.
    4. The selected group is used as your default group for all of the labs.
    5. If you want to hand in some of the labs as member of a different group, you can click on "Leave group" for these particular labs and select another one.

    Submitting a lab assignment (1) Log on to the submission system (for a group of two persons it does not matter which one is submitting the solution, as long as both persons have joined the group). (2) Upload the files that make up your solution for the lab. Make sure that your solution is in accordance with the description of the lab regarding file formats, output of programs etc. (3) Once all files are uploaded, you can submit your solution. (4) As soon as your submission has been reviewed (that means either accepted or rejected) you will receive a mail. (5) You can possibly download comments to your solution: Therefore you have to log on to the submission system again and display the files called comment. (6) In the case of a rejected solution you will have to upload a corrected version and submit again.

    Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Atze van der Ploeg, Dec 9, 2015