Patrícia Machado, Federal University of Campina Grande
Augusto Sampaio, Federal University of Pernambuco
This course will be an introduction to automatic test case generation theory and techniques. We will discuss how test models can be generated, for instance, from requirements specifications and present different criteria and strategies for generating and selecting test cases from these models. The Target tool will be presented and used during the course for illustrating test case generation techniques along with a case study in the domain of mobile phone applications. Target generates abstract test cases from use case specifications with controlled natural language.