Software Testing - Trends and Visions

Den 1. december 2004 afviklede CISS i samarbejde med Nouhauz en konference om Software Testing.

Arrangementet havde 90 deltagere, hvoraf lidt over halvdelen kom fra industrien. De resterende deltagere kom fra danske universiteter, heriblandt Aarhus Universitet, IT Universitetet i København og MCI Syddansk Universitet.

Dagen bød på spændende oplæg fra fire foredragsholdere, der alle er internationale eksperter i software testing: Tom Ball, Microsoft Research; Klaus Havelund, NASA Ames Research Center; Ed Brinksma, Twente Universitet samt Jens Grabowski, Universität Göttingen. Formålet med arrangementet var at viderebringe de nyeste forskningsresultater på en måde, så de kan omsættes til praksis i industrien.

 Tom Ball, Microsoft Research

Læs interview med Klaus Havelund på Compurteworld Online

Drømmejob: Softwareforsker for NASA

Præsentationer fra foredragsholderne vil løbende blive tilgængelige her:

Tom Ball: "SLAM and static driver verifier - technology transfer of formal methods inside Microsoft"

Tom Ball.pdf (688 KB)

Klaus Havelund: "Automated runtime verification"

Klaus Havelund.pdf (2764 KB)

Ed Brinksma: "Testing times: On model-based functional testing for real-time embedded systems"

Ed Brinksma.pdf (1339 KB)

Jens Grabowski: "Model-based testing with UML applied to a roaming algorithm for Bluetooth devices"

Jens Grabowski.pdf (1659 KB)