Defesa de dissertação de Diego Almeida, 10/9, 8h30

postado em 8 de ago de 2012 12:02 por Nazareno Ferreira de Andrade   [ 8 de ago de 2012 12:03 atualizado‎(s)‎ ]
Candidato: Diego Rodrigues de Almeida
Título do trabalho: Critérios de Geração de Casos de Teste de Sistemas de Tempo Real
Orientador(es): Patrícia Duarte de Lima Machado e Wilkerson de Lucena Andrade

Data: 10/9/2012
Horário: 8h30
Local: SPLab

Banca::
Eduardo Henrique da Silva Aranha (UFRN, http://lattes.cnpq.br/9520477461031645), Adalberto Cajueiro de Farias (DSC/UFCG) 

Resumo: Atualmente, sistemas computacionais têmcada vez mais tomado espaço na vida da sociedade nos mais diversos setores. Épossível encontrar software em funcionamento em sistemas de monitoramento depacientes, sistemas de controle de tráfego aéreo, sistemas robóticos, veículos,etc. A maior parte dos sistemas em uso trabalha sob restrições de tempo.Sistemas cujo funcionamento correto não depende apenas das saídas produzidas,mas também do instante em que foram geradas são conhecidos como sistemas detempo real. Testar é uma atividade que demanda um custo muito elevado e testarsistemas de tempo real é uma atividade ainda mais desafiadora e custosa. Assim,Teste Baseado em Modelos vem sendo uma técnica muito utilizada na geração decasos de teste tanto para sistemas em geral quanto para sistemas de tempo real.Para isso, ferramentas de geração de casos de teste baseadas em modelo recebemcomo entrada tanto o modelo do sistema sob teste quanto à forma como os testessão gerados. Essa forma como os testes são gerados é conhecida como critério degeração. O critério de geração reflete o algoritmo de geração de casos de testee por sua vez determina quais elementos do modelo serão cobertos e, portanto, quaispartes do sistema serão testadas. Há na literatura trabalhos que estudamcritérios de geração para sistemas de tempo real, mas não os analisam observandosua efetividade, ou seja, relacionando tamanho de suíte de teste gerada comcapacidade de revelar falhas. Não foram encontrados trabalhos na literatura queanalisem critérios de geração para sistemas de tempo real nesse sentido. Assim,nesse trabalho foi proposto um conjunto de critérios de geração para geração decasos de teste baseados em modelos de sistemas de tempo real identificadoatravés de uma revisão sistemática. Para este trabalho foi escolhido o modelosimbólico TIOSTS para descrição de sistemas de tempo real. A ferramentaSYMBOLRT foi estendida de forma a dar suporte à geração de casos de testebaseado em critérios de geração e um estudo experimental foi realizadoutilizando três modelos distintos e executados juntamente com todos oscritérios de geração selecionados.


Comments