Detalhes bibliográficos
| Ano de defesa: |
2010 |
| Autor(a) principal: |
Érica Ferreira de Souza |
| Orientador(a): |
Nandamudi Lankalapalli Vijaykumar |
| Banca de defesa: |
Mauricio Gonçalves Vieira Ferreira,
José Maria Parente de Oliveira |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Nacional de Pesquisas Espaciais (INPE)
|
| Programa de Pós-Graduação: |
Programa de Pós-Graduação do INPE em Computação Aplicada
|
| Departamento: |
Não Informado pela instituição
|
| País: |
BR
|
| Resumo em Inglês: |
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF it is possible to derive execution paths, that is, to find test cases. However, there is still a lot to do on this aspect in order to effectively direct a test designer to choose a criterion among those most suitable criteria to generate test cases. Thus, the focus of this work is the design and develop Unique Input/Output (UIO), Distinguishing Sequence (DS) and Switch Cover, in order to incorporate them in two test environments Automatic Generation of Test Cases Based on Statecharts (GTSC) and WEB-PerformCharts within the National Institute for Space Research (INPE). Besides, a preliminary investigation of cost and efficiency of these criteria will be conducted based on an empirical analysis, showing which criteria can be more relevant. Embedded software on computers in scientific satellites will be used as case studies for analysis of cost and efficiency. Such software is under development in the Space and Atmospheric Sciences (CEA) Coordination at INPE. |
| Link de acesso: |
http://urlib.net/sid.inpe.br/mtc-m19@80/2010/02.06.20.39
|
Resumo: |
A geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos de acordo com alguma técnica formal de modelagem como, por exemplo, as MEF. Por meio de MEF é possível derivar caminhos de execução, ou seja, encontrar casos de teste. Porém, ainda falta uma consolidação desse aspecto no sentido de direcionar, efetivamente, um projetista de teste na escolha do critério mais adequado para gerar casos de teste. Assim, o foco principal deste trabalho consiste no desenvolvimento dos critérios de teste Unique Input/Output (UIO), Distinguishing Sequence (DS) e Switch Cover, visando sua integração a dois ambientes de teste do Instituto Nacional de Pesquisas Espaciais (INPE), bem como uma investigação preliminar do custo e da eficiência desses critérios concebidos com base em uma avaliação empírica, mostrando qual critério apresenta ser mais relevante nos estudos de caso propostos. Os critérios foram integrados à ferramenta Geração Automática de Casos de Teste Baseada em Statecharts (GTSC) e à ferramenta WEB-Perforrncharts. Softwares embarcados em computadores de satélites científicos foram utilizados como estudos de caso para avaliações de custo e eficiência. Tais softwares estão em desenvolvimento na área de Ciências Espaciais e Atmosféricas (CEA) no INPE. |
