Generation of tests from communicating hierarchical state machines

Em função da criticidade de algumas classes de sistemas, da necessidade de garantir o comportamento esperado em um software e de minimizar riscos e custos com tratamento de erros em sistemas, a fase de testes de software consolidou-se como etapa imprescindível na prática da engenharia de software. Mais especificamente, técnicas para testes funcionais – testes caixa-preta – têm sido aprimoradas a fim de cobrir escopos de projetos de softwares e sistemas complexos com alta taxa de assertividade e de confiabilidade. Do ponto de vista de teste de software, sistemas baseados em módulos concorrentes, hierárquicos e comunicantes geralmente têm sua modelagem e cobertura de testes complexos. Neste trabalho, apresentamos uma proposta viável para gerar casos de teste funcionais através da técnica de Teste de Transição de Estados – State Trasition Test Technique (STT) – adaptada ao conceito de Máquinas de Estados Hierárquicas Comunicantes – Communicating Hierarchical State Machines (CHMs). Por fim, apresentamos um experimento real desenvolvido especificamente para este trabalho.Depending on the criticality of some classes of systems, the need to ensure the expected behavior in a software and to minimize risks and costs of handling errors in systems, Software Testing phase was consolidated as an essential step to engineering software models. More specifically, techniques for Functional Testing - Black Box Tests - have been improved to cover scopes of software projects and complex systems with high rate of reliability and assertiveness. From the software testing viewpoint, systems based on concurrent, hierarchical and communicating modules generally have a complex modeling and tests coverage. In this paper, we present a viable proposal to generate functional tests cases through the State Transition Test technique (STT) adapted to the concept of Communicating Hierarchical State Machines (CHMs). Finally, we present a real experiment developed specifically to this work