Resumo: Com o aumento da demanda por sistemas confiáveis, cresce a necessidade de métodos e ferramentas que possibilitem a validação desses sistemas. Uma forma de validação desses sistemas é através de técnicas de teste. Nesta dissertação é proposto um método para geração de testes a partir de Máquinas Finitas de Estados Estendidas (MFEE). Este método tem por objetivo a geração de testes englobando aspectos de controle e dados de protocolos de comunicação. Para isso, diversas técnicas de teste caixa preta são combinadas, possibilitando a geração de testes para cobrir todos os aspectos do protocolo. Este método parte da especificação em MFEE e a transforma em uma especificação de teste. A partir dessa especificação, e de um conjunto de restrições especificadas pelo usuário, seqüências de teste são geradas através de técnicas de teste caixa preta. Para validar o método proposto, foi implementada uma ferramenta denominada CONDADO. Essa ferramenta implementa três técnicas de teste caixa preta: testes de transição de estados, testes de sintaxe e testes de domínio. Além disso, a CONDADO implementa mecanismos que possibilitam a geração de testes seletivos para cobrir funcionalidades específicas do protocolo através do uso de restrições. Um experimento foi realizado usando uma implementação do protocolo de solo bordo do satélite SACI-l do Instituto Nacional de Pesquisas Espaciais (INPE). Ver menos

Abstract: The demand for reliable systems is increasing and because of that the construction of methods and tools have became more and more important. Specially for the validation through testing techniques. In this work, a test generation method based on Extend Finite State Machine (EFSM) has been developed. The goal of this method is to generate tests which combine both control and data in the field of communication protocols. Several black box testing techniques are combined by allowing test generation to cover all the protocol aspects. The method transforms the EFSM into a test specification. From this specification and a set of restrictions supplied by the user, tests sequences are generated through black box testing techniques. The method was validate by implementing a tool called CONDADO. This tool implements three black box testing techniques: state transition tests, syntax tests and domain tests. CONDADO also implements a mechanism that makes possible the use of restrictions to test specific protocol functionalities. The tool is intend to be used in the tests of communication systems developed by National Institute for Space Research of Brazil. Ver menos