TCG - A Model-based Testing Tool for Functional and Statistical Testing

Laryssa Lima Muniz, Ubiratan S. C. Netto, Paulo Henrique M. Maia

2015

Abstract

Model-based testing (MBT) is an approach that takes software specification as the base for the formal model creation and, from it, enables the test case extraction. Depending on the type of model, an MBT tool can support functional and statistical tests. However, there are few tools that support both testing techniques. Moreover, the ones that support them offer a limited number of coverage criteria. This paper presents TCG, a tool for the generation and selection of functional and statistical test cases. It provides 8 classic generation techniques and 5 selection heuristics, including a novel one called minimum probability of path.

References

  1. Aichernig, B., Krenn, W., Eriksson, H., and Vinter, J. (2008). D 1.2 - state of the art survey - part a: Modelbased test case generation. Technical report, AIT Austrian Institute of Technology GmbH.
  2. Antoniol, G., Briand, L., Di Penta, M., and Labiche, Y. (2002). A case study using the round-trip strategy for state-based class testing. In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on, pages 269-279.
  3. Beizer, B. (1995). Black-box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, Inc., New York, NY, USA.
  4. Bertolino, A., Cartaxo, E., Machado, P., and Marchetti, E. (2008). Weighting influence of user behavior in software validation. In Database and Expert Systems Application, 2008. DEXA 7808. 19th International Workshop on, pages 495-500.
  5. Binder, R. V. (1999). Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  6. Cartaxo, E. G., Andrade, W. L., Neto, F. G. O., and Machado, P. D. L. (2008). Lts-bt: A tool to generate and select functional test cases for embedded systems. In Proceedings of the 2008 ACM Symposium on Applied Computing, SAC 7808, pages 1540-1544. ACM.
  7. Cartaxo, E. G., Machado, P. D. L., and Neto, F. G. O. (2011). On the use of a similarity function for test case selection in the context of model-based testing.
  8. Softw. Test. Verif. Reliab., 21(2):75-100.
  9. Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., and Horowitz, B. M. (1999). Model-based testing in practice. In Proceedings of the 21st International Conference on Software Engineering, ICSE 7899, pages 285-294. ACM.
  10. de Vries, R. G. (2001). In Tretmans, G. J. and Brinksma, H., editors, Formal Approaches to Testing of Software 2001 (FATES'01), Aarhus, Denmark, volume NS-01-4 of BRICS Notes Series, pages 61-76, Aarhus, Denkmark.
  11. Epifani, I., Ghezzi, C., Mirandola, R., and Tamburrelli, G. (2009). Model evolution by run-time adaptation. In ICSE 7809: Proceedings of the 31st International Conference on Software Engineering, pages 111-121, Vancouver, Canada. ACM.
  12. Feliachi, A. and Le Guen, H. (2010). Generating transition probabilities for automatic model-based test generation. In Software Testing, Verification and Validation (ICST), 2010 Third International Conference on, pages 99-102.
  13. Keller, R. M. (1976). Formal verification of parallel programs. Commun. ACM, 19:371-384.
  14. Poore, J. and Trammell, C. (1999). Application of statistical science to testing and evaluating software intensive systems. In Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, 1999. Proceedings, pages 40-57.
  15. Sayre, K. and Poore, J. H. (1999). Partition testing with usage models. In Proceedings of the Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, SESD 7899, pages 24-. IEEE Computer Society.
  16. Shafique, M. and Labiche, Y. (2013). A systematic review of state-based test tools. International Journal on Software Tools for Technology Transfer, pages 1-18.
  17. Shirole, M. and Kumar, R. (2013). Uml behavioral model based test case generation: A survey. SIGSOFT Softw. Eng. Notes, 38(4):1-13.
  18. Trammell, C. (1995). Quantifying the reliability of software: Statistical testing based on a usage model. In Proceedings of the 2Nd IEEE Software Engineering Standards Symposium, ISESS 7895, pages 208-, Washington, DC, USA. IEEE Computer Society.
  19. Utting, M. and Legeard, B. (2007). Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  20. Walton, G. H. and Poore, J. H. (2000). Generating transition probabilities to support model-based software testing. Softw. Pract. Exper., 30(10):1095-1106.
  21. Walton, G. H., Poore, J. H., and Trammell, C. J. (1995). Statistical testing of software based on a usage model. Softw. Pract. Exper., 25(1):97-108.
  22. Weissleder, S. and Schlingloff, H. (2014). An evaluation of model-based testing in embedded applications. In Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on, pages 223-232.
  23. Zhou, K., Wang, X., Hou, G., and Jie Wang, S. A. (2012). Software reliability test based on markov usage model. Journal of Software, 7(9):2061-2068.
Download


Paper Citation


in Harvard Style

Muniz L., Netto U. and Maia P. (2015). TCG - A Model-based Testing Tool for Functional and Statistical Testing . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 404-411. DOI: 10.5220/0005398604040411


in Bibtex Style

@conference{iceis15,
author={Laryssa Lima Muniz and Ubiratan S. C. Netto and Paulo Henrique M. Maia},
title={TCG - A Model-based Testing Tool for Functional and Statistical Testing},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={404-411},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005398604040411},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - TCG - A Model-based Testing Tool for Functional and Statistical Testing
SN - 978-989-758-097-0
AU - Muniz L.
AU - Netto U.
AU - Maia P.
PY - 2015
SP - 404
EP - 411
DO - 10.5220/0005398604040411