In my talk I will first discuss the importance and necessity of testing for verification and validation of software and systems. After introducing the basic concepts and testing approaches, I will focus particularly on model-based testing and its application in practice. In particular I will show a wide variety of applications ranging from testing graphical user interfaces over protocol testing to security testing in order to at least give a partial answer to the question about the boundaries of test automation. Finally, I will discuss open research questions and important research directions of test automation.
Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Vienna University of Technology. He is currently professor of software engineering at the Graz University of Technology and Dean of the Computer Science Faculty. Since the founding of the Institute for Software Technology in 2003 to the year 2009 Franz Wotawa had been the head of the institute. His research interests include model-based and qualitative reasoning, theorem proving, mobile robots, verification and validation, and software testing and debugging. Beside theoretical foundations he has always been interested in closing the gap between research and practice. For this purposes he founded Softnet Austria in 2006, which is a non-profit organization carrying out applied research projects together with companies. During his career Franz Wotawa has written more than 260 papers for journals, books, conferences, and workshops. He supervised 61 master and 26 PhD students. Franz Wotawa has been member of a various number of program committees and organized several workshops and special issues of journals. He is a member of the Academia Europaea, the IEEE Computer Society, ACM, AAAI, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence.
This talk is organized by the Business Informatics Group at the Institute of Software Technology & Interactive Systems.