MC 10 - Model Based Testing Adenilso Sim�o (ICMC-USP) Andr� Endo (ICMC-USP) Friday, October 1, 2010 (14:00-17:30)

Abstract:

Software testing requires the use of models to guide the selection and evaluation of tests. In general, such models are implicit; the tester applies test inputs in an ad hoc way, using a mental model that encapsulates the application behavior. When these mental models are explicitly described via a common notation, they become sharable and reusable test artifacts. In this case, testers are executing what is known as model-based testing. The built models allow testers to understand better the application and verify more effectively the possible behaviors. Currently, model-based testing has received much attention due to the widespread adoption of models (e.g. UML) in the software development. In this short course, we present the main concepts and techniques of model-based testing, discussing the advantages, disadvantages, and limitations of existing approaches. Formal model-based testing, such as Input/Output Transition Systems and Finite State Machines, will be used as examples of discussed techniques.

Lecturers:

• Adenilso Sim�o received the BS degree in computer science from the State University of Maringa (UEM), Brazil, in 1998, and the MS and PhD? degrees in computer science from the University of Sao Paulo (USP), Brazil, in 2000 and 2004, respectively. Since 2004, he has been a professor of computer science at the Computer System Department of USP. From August 2008 to July 2010, he was on a leave at Centre de Recherche Informatique de Montreal (CRIM), Canada. His research interests include software testing and formal methods. He is a member of the Brazilian Computer Society (SBC).

• Andr� Endo is graduated in Systems Analysis at Universidade Federal de Mato Grosso do Sul (UFMS, 2005) and master in Computer Science and Computational Mathematics at Universidade de S�o Paulo (USP, 2008). Currently, he is PhD? student at the Instituto de Ci�ncias Matem�ticas e de Computa��o at the Universidade de S�o Paulo (ICMC, USP). His research interests include mainly Software Engineering and Testing, with emphasis on model-based testing, service-oriented architectures (and web services), and structural testing.

Slides do curso