Sanjeev Dhawan Nirmal Kumarand Shiva Saini
Este artigo fornece uma visão geral do tópico dos testes baseados em modelos. O processo de teste baseado em modelo é descrito e as etapas disponíveis em cada etapa são consideradas. São explicados os diferentes tipos de ferramentas necessárias para apoiar o processo e são listados exemplos de ferramentas juntamente com as normas que suportam. A posição dos padrões nos testes baseados em modelos é examinada e as novas competências exigidas pelo testador são discutidas. Ao longo da investigação sobre testes baseados em modelos nos últimos 5 a 10 anos, verificou-se a probabilidade desta abordagem. Foi demonstrado que pode ser económico e desenvolveu uma variedade de estratégias de geração de testes e critérios de cobertura de modelos. Começaram a surgir algumas ferramentas comerciais, dos EUA (T-Vec, Reactive Systems, I-logix), e também da Europa (Conformiq, Leirios Technologies, Telelogic), bem como uma grande variedade de ferramentas académicas e de investigação [BFS05 ]. A discussão neste documento limita-se aos testes funcionais, porque os testes baseados em modelos são menos maduros noutras áreas. Finalmente, são considerados meios de determinar a adequação dos projetos para testes baseados em modelos. Neste artigo são analisados ??os seguintes fatores: Teste Baseado em Modelos, Etapas, Níveis, Métodos e ferramentas que afetam o MBT.