I00110 (I00110)
Testtechnieken*
< 2006/2007 > 04-09-2006 t/m 13-01-2007 () H
Informatica - Master variant C (2003) Thematische specialisatie Embedded systems (6 ec) Software-construction (6 ec) Keuze informatica (6 ec)
Informatica - Master variant E (2003) Keuze informatica (6 ec)
Informatica - Master variant MT (2003) Thematische specialisatie Software-construction (6 ec) Embedded systems (6 ec) Software-construction (6 ec) Embedded systems (6 ec) Keuze informatica (6 ec) (6 ec) (6 ec)
Informatica - Master variant O (2003) Thematische specialisatie Software-construction (6 ec) Embedded systems (6 ec)
Informatica - Master variant O (2005) Thematische specialisatie Software-construction (6 ec) Embedded systems (6 ec)
Informatica - Master na HBO Artificial Intelligence variant MT (2004) Keuze informatica (6 ec)
Informatica - Master na HBO Artificial Intelligence variant O (2004) Keuze informatica (6 ec)
Informatica - Master na HBO Computer Security variant MT (2003) Keuze informatica (6 ec)
Informatica - Master na HBO Computer Security variant O (2004) Keuze informatica (6 ec)
Informatica - Master na HBO Embedded Systems variant MT (2003) Thematische specialisatie (6 ec) Keuze informatica (6 ec)
Informatica - Master na HBO Embedded Systems variant O (2004) Thematische specialisatie (6 ec) Keuze informatica (6 ec)
Informatica - Master na HBO Information Systems variant MT (2003) Keuze informatica (6 ec)
Informatica - Master na HBO Information Systems variant O (2004) Keuze informatica (6 ec)
Informatica - Master na HBO Software Construction variant MT (2003) Thematische specialisatie (6 ec)
Informatica - Master na HBO Software Construction variant O (2004) Thematische specialisatie (6 ec) Keuze informatica (6 ec)
Thematische Specialisatie - Software Constructie (2000) Thematische Specialisatie binnen de informatica Softwareconstructie (6 ec)
omvang
6 ec (168 uur) : 40 uur plenair college, 0 uur groepsgewijs college, 0 uur computerpracticum, 20 uur 'droog' practicum, 3 uur gesprekken met de docent, 25 uur onderling overleg met medestudenten (werkgroepen, projectwerk e.d.), 80 uur zelfstudie
investering
6 ec * 28 u/ec + #std * (1 + 6ec * 0.15 u/student/ec)
inzet tentatief

examinator
afdeling
tijdbesteding

dr.ir. Jan Tretmans
sws
145u.

speciale web-site

 

Testing is part of almost any software development project. The course "testing techniques" deals with a number of techniques, methods and tools which may help in the systematic and effective testing of software systems. Established testing techniques as well as some new developments, such as testing with formal specifications and model-based testing, will be presented. Some guest lectures will be given by people from industrial software testing.

Leerdoelen

The goals of the course "testing techniques" are that students: (1) obtain an overview of, and insight in the importance and the place of structured and systematic testing within the software development cycle; (2) are familiar with standard testing concepts, terms, and nomenclature; (3) know and recognize different kinds, phases, and aspects of structured testing; (4) develop skills in applying some techniques for developing tests; (5) get experience in applying some test tools; (6) have knowledge of, and can apply some of the latest research results in formal methods based testing.

Onderwerpen

Topics which will be discussed are: kinds, aspects, and phases of software testing, testing within the software development trajectory, test automation and test tools, (code-)coverage, test organization, testing standards, developing test cases (black-box, white-box, equivalence partitioning, boundary value analysis), test-driven development, test generation using finite state machines, test generation from logical expressions, the discriminating power of tests (testing equivalencies), test generation from formal specifications, model-based testing.

Toelichting

Testing is part of almost any software development project. Systematic and effective testing is an important technique for quality assessment and control. Yet, testing is often an underexposed and underestimated part of software development. The course testing techniques deals with a number of techniques, methods and tools which may help to systematically, effectively and efficiently test software systems. Established testing techniques as well as new developments will be presented. Emphasis is on techniques for testing technical software systems, such as communication software, control systems and embedded software.

Werkvormen

Lectures; Guest lectures; Exercise lectures; Homework assignments.

Vereiste voorkennis

Some programming experience; some experience with formal methods in software development.

Tentaminering

Homework assignments; Examination

Combinatiemogelijkheden

The course "testing techniques" is related to topics in programming and software engineering, courses in software quality, and to more formal topics such as "protocol validation".

Literatuur

Reader and articles, with links via Blackboard.


Evaluatie: studentenquêtes ; geen docentevaluatie bekend Rendement: 25 begonnen, 19 echt meegedaan, 15 geslaagd met 1e kans, 15 geslaagd totaal
Q: