Model Based Test Generation: A Case Study Sidney C. Nogueira 1,3 , Emanuela G. Cartaxo 2,3 , Dante G. Torres 1,3 , Eduardo H. S. Aranha 1,3 , Rafael Marques 1,3 1 Centro de Informática (CIn) – Universidade Federal de Pernambuco (UFPE) Caixa Postal 7851 – 50732-970 – Recife – PE – Brazil 2 Departamento de Sistemas e Computação (DSC) – Universidade Federal de Campina Grande (UFCG) Caixa Postal 10.106 – 58.109-970 – Campina Grande – PB – Brazil 3 Mobile Devices R&D Motorola Industrial Ltda Rod SP 340 – Km 128,7A 13820 000 – Jaguariuna/SP – Brazil scn@cin.ufpe.br, emanuela@dsc.ufcg.edu.br, {dgt,ehsa,rm2}@cin.ufpe.br Abstract. Aiming at improving software quality, as well as reducing the costs of testing process, we developed TaRGeT, a Model-Based Testing (MBT) tool that automatically generates test cases from use case scenarios written in natural language. In this paper we present TaRGeT and show quantitative and qualitative results of the tool's usage in two case studies inside Motorola Brazil Test Center (BTC). 1. Introduction Testing activity is crucial to the success of a software project. In general, this activity requires about 50% of software development resources. Model-based testing appears as a promising approach to control software quality as well as to reduce the inherent costs of a test process [El-Far and Whittaker 2001]. In this paper, we will report real use of a tool for test case generation. This tool generates test cases from use case scenarios written in natural language. Then, it is not necessary any additional expertise in formal notations to write the application’s model. This work was developed by the Test Research Project, a partnership between Motorola Brazil Test Center (BTC), CIn-UFPE and DSC-UFCG. The project‘s goal is to automatize the test case generation, selection and evaluation of Motorola mobile phone applications. This paper is organized as follows. Section 2 presents the tool, Section 3 shows the case studies, Section 4 discusses the use of MBT and TaRGeT in practice and, finally, Section 5 presents our conclusions. 2. TaRGeT Tool Test and Requirements Generation Tool (TaRGeT) is a tool for automatic test case generation from use case scenarios written in Natural Language (NL). TaRGeT automates a systematic approach for dealing with use cases scenarios and test artifacts in an integrated way. The tool adapts the approach presented in [Cabral and Sampaio 2006] in order to translate use case specifications to LTS models. The possible scenarios are specified as use cases using NL and a template that supports automatic processing. An example of a use case is showed in Figure 1. The use