![]() |
TESTING TECHNIQUES |
|
||||
Audience![]() This advanced course addresses Bachelor and Master students in Computer Science, Bioinformatics, CuK or Computerlinguistics. The modules Nebenläufige Programmierung, or Verification are prerequisites. If you did not participate in one of these two courses, but are very interested, please contact us. ![]() Contents ![]()
Testing is the main technique used today to assess the quality of software. Testing often follows a manual process. It is time consuming and error prone. In contrast, model-based testing aims at the automation of the testing process and at providing formal foundations to assess the quality of testing. This modules first motivates model-based testing compared to the
current state of practice. The first part of the lectures brings in a model-based testing approach named ioco with an emphasis on the use of tools rather than full understanding of the basic theory. The second part of the lectures covers the details of the formal foundations of model-based testing. It also presents current research challenges and opportunities. In particular, recent results obtained within the European project Quasimodo about testing real-time systems are discussed.
After successful completion of the course, participants are able to:
model-based testing
about testing
![]() Dates ![]() The module spans the period March 2 - 20, 2009. Lectures and tutorials take place on March 2-4 and 16-20.
On these days lectures are generally from 09:30 to 11:30. Tutorials start 13:30 and run until about 15:00. The lectures will take place in SR015 (Seminarraum 015).
Further details are available at the CMS. ![]() Please login into the CMS to get more information! ![]() ![]() Instructor ![]()
![]() Examiner ![]()
![]() Lecture Notes & Exercises ![]() Lecture Notes and exercises are available in the CMS. ![]() |
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |