A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges

Advances in Computers

Volumn 80, Issue C, 2010, Pages 45-120

  Dias Neto, Arilo C ^a,b   Travassos, Guilherme H ^a,b  

^a FEDERAL UNIVERSITY OF AMAZONAS   (Brazil)

^b FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80052143861     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(10)80002-6     Document Type: Chapter

References (39)

1. Kaner, C., Exploratory testing., Quality Assurance Institute Worldwide Annual Software Testing Conference, 2006, Florida Institute of Technology, Orlando, FL November.
2. Juristo, N., Moreno, A.M., Vegas, S., Reviewing 25 years of testing technique experiments. Emp. Softw. Eng.: An Int. J. 9:1 (2004), 7-44 (March).
3. Perry, W., Effective Methods for Software Testing. 2006, Wiley, New York third ed.
4. Myers, G., The Art of Software Testing. 1979, Wiley, New York.
5. Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., Horowitz, B., Model-based testing in practice., Proceedings of the 1999 International Conference on Software Engineering (ICSE'99), May 1999, 285-294.
6. DIAS-NETO, A.C., Selection of Model-Based Testing Techniques, Systems Engineering and Computer Science Program, November 2009 Doctoral Thesis, COPPE. Federal University of Rio de Janeiro (in Portugese).
7. Biolchini, J., Mian, P.G., Natali, A.C., Travassos, G.H., Systematic Review in Software Engineering: Relevance and Utility, 2005 Available at http://www.cos.ufrj.br/uploadfiles/es67905.pdf Technical Report ES-679/05, PESC-COPPE/UFRJ.
8. Ramamoorthy, C.V., HO, S.F., Chen, W.T., On the automated generation of program test data. IEEE Trans. Softw. Eng. SE-2:4 (1976), 293-300 (December).
9. Chow, T.S., Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4 (1978), 178-187 (March).
10. Utting, M., Legeard, B., Practical Model-Based Testing: A Tools Approach, 2007, Morgan-Kaufmann, San Francisco, CA ISBN-13: 978-0-12-372501-1.
11. Pretschner, A., Model-based testing., Proceedings of 27th International Conference on Software Engineering, (ICSE'05), 2005, 722-723.
12. Prasanna, M., Sivanandam, S.N., Venkatesan, R., Sundarrajan, R., Survey on automatic test case generation. Acad. Open Internet J., 15, 2005 Available at http://www.acadjournal.com/2005/v15/part6/p4/.
13. Dias-Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H., Forrest, S., Improving evidence about software technologies: a look at model-based testing. IEEE Softw. 25:3 (2008), 10-13 (May).
14. Vegas, S., Basili, V., A characterization schema for software testing techniques. Emp. Softw. Eng. 10:4 (2005), 437-466 (October).
15. Travassos, G.H., Dos Santos, P.S.M., Neto, P.G.M., Biolchini, J., An environment to support large scale experimentation in software engineering., ICECCS 2008. 13th IEEE International Conference on Eng. Complex Comput. Syst., 2008, 193-202 (March 31–April 3, 2008).
16. Beizer, B., Black-Box Testing: Techniques for Functional Testing of Software and Systems. 1995, Wiley, New York.
17. Binder, R.V., Testing Object-Oriented Systems: Models, Patterns, and Tools. 1999, Addison-Wesley, Boston, MA.
18. Dias-Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H., A survey on model-based testing approaches: a systematic review., Proceedings of the 1st ACM international Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech'07): Held in Conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 (Atlanta, Georgia), 2007, 31-36 http://doi.acm.org/10.1145/1353673.1353681 (November).
19. Roman, G.C., A taxonomy of current issues in requirements engineering. IEEE Comput. 18:4 (1985), 14-22.
20. Dias-Neto, A.C., Travassos, G.H., Surveying on model based testing approaches characterization attributes., No: International Symposium on Empirical Software Engineering and Measurement (ESEM'08), Kaiserslautern, Germany, October 2008.
21. Hamburg, M., Basic statistics: a modern approach. J. R. Stat. Soc. Ser. A (Gen.), 143(1), 1980 (2a Ed).
22. Bertolino, A., Guide to the knowledge area of software testing. Software engineering body of knowledge. IEEE Comput. Soc., 2004 http://www.swebok.org (February).
23. Menzies, T., Owen, D., Cukic, B., Saturation effects in testing of formal models., 13th International Symposium on Software Reliability Engineering (Issre'02), Washington, DC, vol. 15, 2002.
24. Basili, V.R., Rombach, H.D., Support for comprehensive reuse. Softw. Eng. J. 6:5 (1991), 303-316 (September).
25. Birk, A., Modeling the application domains of software engineering technologies., Proceedings of the 12th International Conference on Automated Software Engineering (Formerly: Kbse). Automated Software Engineering, 1997, IEEE Computer Society, Washington, DC p. 291.
26. Dias-Neto, A.C., Travassos, G.H., Model-based testing approaches selection for software projects. Information and Software Technology, AST'08 special edition, 2009, 10.1016/j.infsof.2009.06.010 (July).
27. Horstmann, M., Prenninger, W., El-Ramly, M., Case studies. Model-Based Testing—A Tutorial Volume, Springer LNCS 3472, 2005 pp. 439–461.
28. Pretschner, A., Prenninger, W., Wagner, S., Kuhnel, C., Baumgartner, M., Sostawa, B., Zolch, R., Stauner, T., One evaluation of model-based testing and its automation., Proc. ICSE'05, 2005, 392-401.
29. Utting, M., Pretschner, A., Legeard, B., A Taxonomy of Model-Based Testing, 2006, Department of Computer Science, University of Waikato, Hamilton, New Zealand Technical report 04/2006.
30. Santos-Neto, P., Resende, R., Pádua, C., Requirements for information systems model-based testing methods., ACM Symposium on Applied Computing (ACM SAC), Seoul. Proceedings of the 22nd ACM Symposium on Applied Computing (ACM SAC), Software Engineering Track (SE), 2007.
31. Bernard, E., Legeard, B., Luck, X., Peureux, F., Generation of test sequences from formal specifications: GSM 11.11 standard case-study. Softw. Pract. Exp. 34:10 (2004), 915-948.
32. Clarke, J., Automated test generation from behavioral models. Proc. 11th Software Quality Week, 1998.
33. Blackburn, M., Busser, R., Nauman, A., Why model-based test automation is different and what you should know to get started., International Conference on Practical Software Quality and Testing, PSQT/PSTT'2004 East, March 2004, EUA, Washington, DC.
34. Card, D.N., Learning from our mistakes with defect causal analysis. IEEE Softw. 15:1 (1998), 56-63 http://dx.doi.org/10.1109/52.646883 (Jan).
35. Birk, A., Dings⊘yr, T., Stålhane, T., Postmortem: never leave a project without it. IEEE Softw. May–June (2002), 43-45 Special Issue on Knowledge Management in Software Engineering.
36. Dias-Neto, A.C., Travassos, G.H., Porantim: an approach to support the combination and selection of model-based testing techniques., 4th Workshop on Automation of Software Test, Vancouver, May 2009.
37. Wojcicki, M.A., Strooper, P., An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies., Proceedings of the 5th International Workshop on Software Quality (May 20-26, 2007). International Conference on Software Engineering, 2007 http://dx.doi.org/10.1109/WOSQ.2007.4.
38. Maiden, N.A., Rugg, G., ACRE: Selecting methods for requirements acquisition. Software Engineering Journal 11:3 (1996), 183-192.
39. Aranda, G.N., Vizcaino, A., Cechich, A., Piattini, M., Technology Selection to Improve Global Collaboration., International Conference on Global Software Engineering (ICGSE), Outubro, 2006, 223-232.