Thaís Ussami, from Universidade Estadual de Campinas, Campinas - São Paulo, Brazilis, is now seconded at Department of Mathematics and Informatics of University of Florence, in the context of the research project DEVASSES (DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS).

She will give a seminar on her current research activities, on Monday, October 20, starting at 10:00, at:
Dipartimento di Sistemi ed Informatica
Sala Riunioni
Viale Morgagni, 65
50134 - Firenze, Italy

Abstract of the seminar
With the aim of validating the system from the start of the development and delivering a functional software incrementally, agile techniques propose incremental implementation and anticipated tests. In other words, from the moment the requirements are defined, implementation starts and tests can be written to verify if the implementation will fulfill the client’s needs. Test Driven Development is an agile technique that proposes the development oriented by unit tests, and Behavior Driven Development uses acceptance tests and focuses on the behavior’s system. However, there is the problem of being certain about how many and which tests have to be created.
In this presentation, I will talk about my master’s proposal which tries to solve this problem. It is a new agile technique that uses the benefits of model based testing to create test cases that will guide the incremental development. State machines are used to represent the system's behavior, so they will be used as documentation as well as the model from which test cases will be derived. Also, they will be used to validate the system’s behavior with the client.