Real-time system test case generation criteria.

Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-09-05T12:50:21Z No. of bitstreams: 1 DIEGO RODRIGUES DE ALMEIDA - DISSERTAÇÃO PPGCC 2012..pdf: 14269088 bytes, checksum: d1f092b5fdc3325fd0b65337c17dabc4 (MD5)Made available in DSpace on 2019-09-05T12:50:21Z (GMT). No. of bitstreams: 1 DIEGO RODRIGUES DE ALMEIDA - DISSERTAÇÃO PPGCC 2012..pdf: 14269088 bytes, checksum: d1f092b5fdc3325fd0b65337c17dabc4 (MD5) Previous issue date: 2012-09-10Atualmente, sistemas computacionais tem cada vez mais tornado espaço na vida da sociedade nos mais diversos setores. E possível encontrar software em funcionamento em sistemas de monitoramento de pacientes, sistemas de controle de trafego 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 safadas produzidas, mas também do instante em que foram geradas são conhecidos como sistemas de tempo real. Testar 6 uma atividade que demanda um custo muito elevado e testar sistemas de tempo real e uma atividade ainda mais desafiadora e custosa. Assim, Teste Baseado em Modelos vem sendo uma técnica muito utilizada na geração de casos 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 recebem como entrada tanto o modelo do sistema sob teste quanto a forma como os testes são gerados. Essa forma como os testes são gerados e conhecida como critério de geração. O critério de geração reflete o algoritmo de geração de casos de teste e por sua vez determina quais elementos do modelo serão cobertos e, portanto, quais partes do sistema serão testadas. Ha na literatura trabalhos que estudam critérios de geração para sistemas de tempo real, mas não os analisam observando sua efetividade, ou seja, relacionando tamanho do conjunto de casos de teste gerado com sua capacidade de revelar falhas. Não foram encontrados trabalhos na literatura que analisem 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 de casos de teste baseados em modelos de sistemas de tempo real identificado através de uma revisão sistemática. Para este trabalho foi escolhido o modelo simbólico TIOSTS para descrição de sistemas de tempo real. A ferramenta SYMBOLRT foi estendida de forma a dar suporte a geração de casos de teste baseada em critérios de geração e um estudo experimental foi realizado utilizando seis modelos distintos e executados juntamente com todos os critérios de geração selecionados. Através do estudo experimental, pode-se concluir que ha diferença entre os critérios investigados em relação a capacidade de revelar falhas e ao tamanho do conjunto de casos de teste gerados por cada critério de geração. Assim, algumas conclusões subjetivas puderam ser obtidas as quais podem ser utilizadas para auxiliar o testador na hora de escolher qual critério de geração adotar para geração de de teste de sistemas de tempo real.Nowadays, computer systems have increasingly taken place in society in many different sectors. You can find software operating systems in patient monitoring systems, air traffic control, robotic systems, vehicles, etc.. The majority part of this systems work under time constraints. Systems whose functioning depends not only on the correctness of the outputs produced, but also on the moment when these outputs are generated are known as real-time systems. Testing is an activity that demands a very high cost, but testing real-time systems is even more challenging and costly. Thus, Model Based Test has been a widely used technique to generate test cases for both systems in general and for real-time systems. So, model based test cases generation tools receive as input the model of the system under test and the way at which the tests will be generated. The way this tests are generated is known as generation criterion. The generation criterion reflects the test case generation algorithm and, therefore, determines which model elements will be covered. There are other works that study criteria for generating real-time systems, but do not analyze them watching their effectiveness, ie. relating the size of the set of test cases generated with ability to reveal faults. It were not find in the literature works that examine generation criteria for real-time systems in this sense. Thus, it was proposed in this work a set of generation criteria to generation of real-time systems model based test cases identified through a systematic review. For this work was chosen the symbolic model HOSTS to describe real-time systems. The SYMBOLRT tool was extended in order to support the generation of test cases based on generation criteria and an experimental study was performed using six different models and executed along with all the selected generation criteria. By the experimental study, we concluded that there is difference between the investigated criteria in relation to the ability to reveal faults and the size of the set of test cases generated by each generation criterion. Thus, some subjective conclusions could be made which can be used to assist the tester when choosing which criteria to adopt for generating test cases for real-time systems