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

Abstract

Software testing is an important activity to be performed to ensure defect detection during software creation and provides evidence of software reliability. There are several techniques that can be applied and one of them is Model-Based Testing, however many of contributions are only theoretical, requiring a tool that supports the generation and execution of the tests in real contexts, enabling a real application of such research. The objective of this work was to design and implement a graphical interface for the tool that supports the Wiots method, which uses the Input-Output Transition Systems (IOTS) model. This tool provides graphical support in test generation and execution, enabling the tester to track execution results and points in which software can have problems.

References

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.