Geração de casos de teste para sistemas especificados em statecharts / Generation of test cases for systems specifield in statecharts

AUTOR(ES)

Ana Silvia Martins Serra do Amaral

DATA DE PUBLICAÇÃO

2005

RESUMO

Devido à necessidade cada vez maior de automação presente em sistemas modernos, em diversas áreas inclusive críticas, atividades de teste se tornam cada vez mais imprescindíveis. A automação da geração de casos de testes é de alguma forma facilitada se o sistema em questão for representado por uma técnica formal que possa ser tratada computacionalmente. A técnica de especificação mais popular é a Máquina de Estados Finita (MEF) que contém um conjunto de estados e transições entre os estados, e existem vários métodos que geram casos de testes a partir da especificação em MEF, como por exemplo: transition tour, unique-input-output sequence (uio), distinguishing sequence (DS) e characterizing sequence. O escopo deste trabalho consiste em utilizar a ferramenta Condado para a geração dos casos de teste. No entanto, se o sistema reativo é complexo com vários componentes paralelos a serem considerados, a sua representação em MEF se torna inviável em termos de clareza já que não há como especificar esta representação numa forma organizada e estruturada. A idéia é então usar uma técnica de especificação de mais alto nível como Statecharts e, utilizando a ferramenta PerformCharts, convertê-la para uma MEF para que a Condado possa ser aplicada. Entretanto, é preciso ter em mente que a geração de casos de teste pode levar a um número muito grande de casos dependendo do tamanho da MEF e conseqüentemente inviabilizando o processo. O trabalho apresenta uma metodologia para geração automática de casos de teste fazendo uso das ferramentas PerformCharts e Condado. Além de mostrar como esta associação entre as duas ferramentas é conduzida, serão também discutidas algumas técnicas para minimizar a MEF gerada a partir dos Statecharts.

ASSUNTO(S)

statecharts tuning machines geração de casos de testes automação generation of test cases máquina de estado finita automation computer science condado computaÇÃo aplicada condado

Documentos Relacionados

• Geração de casos de teste para sistemas especificados em statecharts
• Test case generation for space area systems using test criteria for finite state machines
• Um método baseado em inteligência computacional para a geração automática de casos de teste de caixa preta.
• Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados
• Automatic generation of test scenarios from the models of systems specification