Uma ferramenta para apoio gráfico na geração e simulação de Teste Baseado em Modelos

• Lucas Lagôa Nogueira ICMC/USP
• Sofia Larissa da Costa Paiva UFSJDelRei

DOI: https://doi.org/10.5753/mssis.2019.7564

Resumo

O Teste de Software é uma atividade importante a ser realizada para garantir a detecção de defeitos durante a criação de um software e fornece evidências de confiabilidade do software. Existem várias técnicas de teste que podem ser aplicadas e uma delas é o Teste Baseado em Modelos, mas muitas das contribuições são apenas teóricas, tendo a necessidade de uma ferramenta que apoie a geração e execução dos testes em contextos reais, possibilitando uma aplicação real de tais pesquisas. O objetivo deste trabalho foi projetar e implementar uma interface gráfica para a ferramenta que apoia o método Wiots, que usa o modelo Input-Output Transition Systems (IOTS). Essa ferramenta fornece apoio gráfico na geração e execução dos testes, possibilitando acompanhar os resultados da execução e pontos na qual podem existir problemas no software.

Referências

Belinfante, A. (2010). Jtorx: A tool for on-line model-driven test derivation and execution. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 266–270. Springer.

Groz, R. and Risser, N. (1997). Eight years of experience in test generation from fdts using tveda. In Formal Description Techniques and Protocol Specification, Testing and Verification, pages 465–480. Springer.

Hartman, A. and Nagin, K. (2004). The agedis tools for model based testing. ACM SIGSOFT Software Engineering Notes, 29(4):129–132.

Jard, C. and Jéron, T. (2005). Tgv: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer, 7(4):297–315.

Myers, G. J. (2006). The art of software testing. John Wiley & Sons.

Paiva, S. C. and Simao, A. (2016). Generation of complete test suites from mealy input/output transition systems. Formal Aspects of Computing, 28(1):65–78.

Paiva, S. L. C. and Simao, A. (2015a). A systematic mapping study on test generation from Input/Output Transition Systems. In Software Engineering and Advanced Applications (SEAA), 2015 41th EUROMICRO Conference on. IEEE Computer Society.

Paiva, S. L. d. C. (2016). Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. PhD thesis, Universidade de São Paulo.

Paiva, S. L. d. C. and Simao, A. d. S. (2015b). A systematic mapping study on test generation from input/output transition systems. In Software Engineering and Advanced Applications (SEAA), 2015 41st Euromicro Conf. on, pages 333–340. IEEE.

Peleska, J., Honisch, A., Lapschies, F., Löding, H., Schmid, H., Smuda, P., Vorobev, E., and Zahlten, C. (2011). A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In Proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS’11, pages 146–161, Berlin, Heidelberg. Springer-Verlag.

Tretmans, G. and Brinksma, H. (2003). TorX: Automated Model-Based Testing, pages 31–43.
Tretmans, J. (2008). Model based testing with labelled transition systems. In Formal methods and testing, pages 1–38. Springer.

Utting, M. and Legeard, B. (2010). Practical model-based testing: a tools approach. Morgan Kaufmann.

Utting, M., Pretschner, A., and Legeard, B. (2012). A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability, 22(5):297–312.

Vuong, S. T., Janssen, H., Lu, Y., Mathieson, C., and Do, B. (1994). Testgen: An environment for protocol test suite generation and selection. computer communications, 17(4):257–270.