Short Courses (presentations in Portuguese) Short Course 1 - Introduction to Software Testing- Speaker: Márcio Eduardo Delamaro, University of São Paulo, Brazil.
- Abstract: In this short course the key points on software testing will be discussed. Basic concepts and some techniques for testing will be presented. The emphasis will be on defect-based and structural techniques. Tools developed within the group of Software Engineering of the ICMC/USP to support such techniques will also be presented.
- Biography: Márcio Eduardo Delamaro graduated in Computer Science at Universidade Estadual de Campinas. He obtained his M.Sc. and his Ph.D. at Universidade de São Paulo, developing research on Software Engineering. During his Ph.D., he worked at Purdue University (USA). He worked as a post-doc at Politecnico di Milano and Università degli Studi di Milano (Italy). He was a lecturer at the Federal University of Mato Grosso do Sul (UFMS), State University of Maringá (UEM) and Centro Universitário Eurípides de Marília (Univem). Currently, he is an Associate Professor at the Department of Computational Systems of ICMC/USP, São Carlos, Brazil.
Short Course 2 - Formal Models for Automatic Test Case Generation- Speakers: Patrícia D. L. Machado and Wilkerson L. Andrade, Federal University of Campina Grande, Brazil
- Abstract: The main goal of this course is to present fundamental theory on software testing that is devoted to improve reliability and productivity of testing processes. Also, to introduce formal models and their respective testing techniques and tools for automatic test case generation. Testing activities that are based on a well-founded theory can bring many benefits to the software development process. For instance, it is possible to avoid the generation of invalid and erroneous test cases that can mislead the whole testing process. The focus of this course is on functional testing of reactive systems. The models to be presented are: 1) Input-Output Labelled Transition Systems (IOLTS) and the TGV tool; and 2) Input-Output Symbolic Transition Systems (IOSTS) and the STG tool. These two models can be obtained from a number of specification formalisms, including UML diagrams. Therefore, they can be widely applied. For the sake of simplicity, this course will be mostly based on presentation and discussion of examples rather than detailing theoretical concepts.
- Biography: Patrícia Duarte de Lima Machado is a Professor in the Computing and Systems Department at Federal University of Campina Grande, Brazil, since 1995. She received her PhD Degree in Computer Science from the University of Edinburgh, UK, in 2001, Master Degree in Computer Science from the Federal University of Pernambuco, Brazil, in 1994 and Bachelor Degree in Computer Science from the Federal University of Paraiba, Brazil, in 1992. Her research interests include software testing, formal methods, mobile computing, component based software development and model-driven development. Since 2001, she has produced a number of contributions in the area of software testing, including research projects, publications, tools, supervising, national/international cooperation and teaching. Wilkerson de Lucena Andrade received the Bachelor’s and Master’s Degree in Computer Science from Federal University of Campina Grande in 2005 and 2007, respectively. He is currently working toward the PhD degree in the Computer Science at the same university. He is the author or co-author of more than 10 national and international publications. His research interests include software engineering, test automation, formal testing, test of mobile phone applications, and test of real-time systems.
|
