During this summer school, you will acquire hands-on experience with thorough testing and verification of software systems, to guarantee with a certain degree of confidence that a given software system meets its specification.
This course combines practical application with foundational theoretical content. Lectures will introduce key concepts, while homework readings will deepen your understanding. Students will also participate in several engaging lab sessions, trying out several test techniques and strategies on an existing software system.
Target group
The summer school is designed for students who have followed 3-4 years of computer science, software engineering at university level, or a similar educational programme (for instance, master's students from a European computer science programme).
Prerequisites
You have profound experience with programming in an object-oriented language (e.g. C++, Java). Advanced programming constructs (exceptions, threads) contain no secrets for you.
You have hands-on experience with the testing of software (e.g. you wrote unit tests using XUnit).
You are capable of reading and interpreting a design written down in the most commonly used design notations (UML, statecharts, ...)
You can demonstrate deep knowledge concerning the formal foundations of computer science (logics, algorithms, complexity theory, finite automata).
You can specify the pre- and post-conditions and the invariants for a given software module (cfr. design by contract).
You are well aware of the various phases in a software project (requirements, analysis, design, implementation, testing, maintenance).
You have knowledge about techniques for managing quality during a project (cost estimation, code reviews, metrics)
The easiest way to satisfy these prerequisites is to have a passing grade for a bachelor level course in Software Engineering.
Campus
This summer school takes place at Middelheim Campus of the University of Antwerp. This campus can be reached from the city centre by bike or public transport. However, please check the travel info and the distance before booking accomodation.
Micro-credential and study credits (ECTS)
Successful completion of the summer school can be awarded with 6 credits according to the European Credit Transfer System (ECTS). Credits will be awarded by the University of Antwerp on the base of attending the preparatory track, 100% (active) participation during the course, passing the exam, and submission of the individual projects after the course.
To include the credits in the curriculum at the home institution, participants need an agreement with the responsible person at their university. A certificate will be awarded at the end of the programme. All certificates of completion are issued as a micro-credential.
Learning outcomes
After following this course you will be able to:
apply white-box and black-box test techniques to build a test-suite;
assess and improve the coverage of a test suite;
distinguish between various test automation strategies;
select black-box model-learning techniques;
select the most appropriate test techniques for a given test strategy.
Social Programme
Participants will be able to get in touch with peers attending other summer schools at the Antwerp Summer University. A visit to the beautiful city hall, a networking reception, a guided city walk, a quiz night are only some examples of these activities.
All activities of the social programme are offered free of charge. In some cases participants will be asked for a deposit which will be reimbursed upon participation to the activity.