Inleiding
Reliability of Software Systems:Case studies in software reliability, preferably in the context of LaQuSo, the Laboratory for Quality Software of TU Eindhoven and RU Nijmegen.
|
Leerdoelen
Experience with tools for assessing reliability aspects of software systems Experience with level of reliability in practice Experience with practical applicability of academic tools Academic evaluation of applicability of reliability tools
|
Onderwerpen
Many different subjects: varying from security issues via static analysis, to formal verification, testing and performance analysis. Tools that can be used are e.g. JML, Spec#, Findbugs, Fortify, Esc-Java, Sparkle, PVS, Yasper, mcrl2, Gast, Torx.
|
Studielastverdeling
- 32 uur hoorcollege
- 4 uur individuele begeleiding
- 76 uur projectwerk
- 56 uur zelfstudie
|
Toetsvorm
Evaluation Report, End presentation
|
Vereiste voorkennis
Bachelor
|
Website
https://lab.cs.ru.nl/laquso/
|
Bijzonderheden
A few lectures for general instruction followed by a case study guided by a supervisor. Regular supervisory meetings. Regular progress meetings with all case study groups.
|