Uma abordagem para a geração de casos de teste baseada em modelos

Abstract

Os métodos analíticos baseados em modelos de avaliação de sistemas interativos foram propostos como alternativa aos testes com o utilizador nas últimas fases de desenvolvimento de software devido aos custos destes últimos. No entanto, a utilização isolada de modelos do comportamento do sistema limita os resultados fornecidos pelos métodos analíticos. Um exemplo dessas limitações relaciona-se com o facto destes serem incapazes de identificar problemas de implementação que terão impacto na usabilidade. Com a introdução de testes baseados em modelos é possível contornar o problema e testar se o software implementado vai de encontro ao modelo especificado. Este artigo apresenta uma abordagem para a geração de casos de testes baseados em modelos a partir da análise estática do código fonte.

The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.