A Tool to Support Model-Based Testing Activities

  • Gilson Doi Junior Universidade de Londrina
  • Adilson Bonifacio Universidade de Londrina

Resumo


The occurrence of fault on embedded critical systems can result in financial damage and human losses, as well. Rigorous approaches based on formalisms, specially testing routines, have been proposed to guarantee more reliable systems. Model-based testing is a rigorous approach to support testing activities, e.g. test case generation. Theoretical results have been validated in the literature, but there are few tools to support practical applications. Thus, we develop a tool to support practical experiments which allows us to make a comparison among model-based test case generation methods by pointing more suitable sceneries for each one.

Referências

M. Utting "Position paper: model-based testing " Verified Software: Theories Tools Experiments. ETH Zürich IFIP WG vol. 2 2005.

A. Bertolino "Software testing research: Achievements challenges dreams " in 2007 Future of Software Engineering ser. FOSE '07. Washington DC USA: IEEE Computer Society 2007 pp. 85-103. [Online]. Available: http://dx.doi.org/10.1109/FOSE.2007.25 (Pubitemid 47484919)

A. L. Bonifácio A. V. Moura and A. d. S. Simão "A generalized model-based test generation method " in Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods. Washington DC USA: IEEE Computer Society 2008 pp. 139-148. [Online]. Available: http://portal.acm.org/citation.cfm?id=1475696.1476182

A. Petrenko "Fault model-driven test derivation from finite state models: Annotated bibliography " in Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes ser. MOVEP '00. London UK: Springer-Verlag 2001 pp. 196-205. [Online]. Available: http://portal.acm.org/ citation.cfm?id=646410.692523 (Pubitemid 33359632)

R. Alur and D. L. Dill "A theory of timed automata " Theor. Comput. Sci. vol. 126 pp. 183-235 April 1994. [Online]. Available: http://portal.acm.org/citation.cfm?id=180782.180519

A. L. Bonifácio and A. V. Moura "Generating test suites for timed systems with context variables " Institute of Computing University of Campinas Tech. Rep. IC-09-38 October 2009.

T. S. Chow "Testing software design modeled by finite-state machines " IEEE Trans. Softw. Eng. vol. 4 pp. 178-187 May 1978. [Online]. Available: http://portal.acm.org/citation.cfm?id=1313335.1313730

S. Fujiwara G. von Bochmann F. Khendek M. Amalou and A. Ghedamsi "Test selection based on finite state models " IEEE Trans. Softw. Eng. vol. 17 pp. 591-603 June 1991. [Online]. Available: http://portal.acm. org/citation.cfm?id=126218.126234 (Pubitemid 21675162)

D. P. Sidhu and T.-k. Leung "Formal methods for protocol testing: A detailed study " IEEE Trans. Softw. Eng. vol. 15 pp. 413-426 April 1989. [Online]. Available: http://portal.acm.org/citation.cfm?id=63379.63384

A. Simão and A. Petrenko "Fault coverage-driven incremental test generation " Comput. J. vol. 53 pp. 1508-1522 November 2010. [Online]. Available: http://dx.doi.org/10.1093/comjnl/bxp073

J. E. Hopcroft R. Motwani and J. D. Ullman Introduction to Automata Theory Languages and Computation 2nd ed. Addison Wesley 2000.

M. Sipser Introduction to the theory of computation 2nd ed. International Thomson Publishing 2006.

A. Gill Introduction to the theory of finite-state machines. NewYork: McGraw-Hill 1962.

D. Bulka and D. Mayhew Efficient C++: performance programming techniques. Boston MA USA: Addison-Wesley Longman Publishing Co. Inc. 2000.

"Online reference " http://doc.qt.nokia.com/ 2011. [Online]. Available: http://doc.qt.nokia.com/

A. L. Bonifácio A. V. Moura and A. da S. Simão "Exponentially more Succinct Test Suites " Institute of Computing University of Campinas Tech. Rep. IC-09-07 March 2009 http://www.ic.unicamp. br/~reltech/2009/09-07.pdf.

M. Veanes C. Campbell W. Schulte and P. Kohli "On-the-fly testing of reactive systems " Microsoft Research Tech. Rep. 2005.

C. Jard and T. Jéron "Tgv: theory principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems " Int. J. Softw. Tools Technol. Transf. vol. 7 pp. 297-315 August 2005. [Online]. Available: http://dl.acm.org/ citation.cfm?id=1081048.1081051 (Pubitemid 41194569)

A. Belinfante "Jtorx: A tool for on-line model-driven test derivation and execution." in TACAS ser. Lecture Notes in Computer Science J. Esparza and R. Majumdar Eds. vol. 6015. Springer 2010 pp. 266-270. [Online]. Available: http://dblp.uni-trier.de/db/conf/tacas/tacas2010. html#Belinfante10
Publicado
07/11/2011
DOI JUNIOR, Gilson; BONIFACIO, Adilson. A Tool to Support Model-Based Testing Activities. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 1. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 21-26. ISSN 2237-5430.