1. DAIMIHenrik Bærbak Christensen1 SRaT Software Reliability and Testing

2. DAIMIHenrik Bærbak Christensen2 The lecturer Henrik Bærbak Christensen Associate professor (lektor) since 2003 –adjunkt and phd –Software developer/architect in industry, 91-94 –Ms.Sc. in Astrophysics Faglig koordinator for Master og Diplom (SWK) Owner of Course development and consultancy http://www.imhotep.dk

3. DAIMIHenrik Bærbak Christensen3 SRaT The audience: –Master students: 1st of 3 courses Model-based test and validation (“Aalborg”) Project (AU/AAU) –Diploma students: Chosen course Consequence: –This course can stand alone.

4. DAIMIHenrik Bærbak Christensen4 SRaT Focus: –Theory to support practice –... and practice to understand theory which means –concrete techniques –concrete tools –that is, dirty fingers...

5. DAIMIHenrik Bærbak Christensen5 Topics Reliability techniques –Testing at the various levels: unit, subsystem, system –Reviewing –... and the context it is rooted in –Process and planning

6. DAIMIHenrik Bærbak Christensen6 Mandatory Project Three deliverables –Unit testing: [21th Feb] test case design based upon black-box and white-box testing techniques tool usage: JUnit and EMMA –Integration testing (system testing?) [7th Mar] Integrate your unit with other groups –Review [16th Mar] Review other group’s units

7. DAIMIHenrik Bærbak Christensen7 Course layout The main elements –Seminars: I talk you to death; exercises; discussions –Week plan: Defines the course’s heartbeat –Mandatory project: Ensure your hearts beat Learning is doing... Contact: –The others: AULA discussion forum –Me Tricky questions Process issues, exam, etc.

8. DAIMIHenrik Bærbak Christensen8 Ilene Burnstein Practical Software Testing –Reasonable discussion of central techniques a bit superficial from time to time –Heavily focused on process TMM is her invention We will use it and “spice it up” with additional material...

9. DAIMIHenrik Bærbak Christensen9 Web site [Demo] –Schedule / week plan –Lessons and exercises –anarchistic updating is my specialty...

10. DAIMIHenrik Bærbak Christensen10 Exam Exam is a pass/fail exam. Dates are on Web. It is an oral exam –without preparation I think Focus –terminology and concepts –ability to apply them on concrete small examples –combine and relate topics Censor: Arne Schou

11. DAIMIHenrik Bærbak Christensen11 Practical information Access to DAIMI machines –You have all been added as users on DAIMI machines Access to ACM/IEEE libraries Common repositories for development –Passwords are provided by Marianne Dammand, course secretary... dammand@daimi.au.dk

12. DAIMIHenrik Bærbak Christensen12 Exam You have to enrol the exam already now: Eksamenstilmeldningsperioden er 1/2 - 15/2. De tilmelder sig på https://mit.au.dk/da/. Studerende der følger kurser på 4. kvarter skal også tilmelde sig eksamen nu.https://mit.au.dk/da/

13. DAIMIHenrik Bærbak Christensen13 Your turn... Who are you?