Supporting the Combined Selection of Model-Based Testing Techniques

IEEE Transactions on Software Engineering

Volumn 40, Issue 10, 2014, Pages 1025-1041

  Dias Neto, Arilo Claudio ^a   Travassos, Guilherme Horta ^b  

^a FEDERAL UNIVERSITY OF AMAZONAS   (Brazil)

^b FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Experimental software engineering; model based testing; recommendation system; software technology selection; Software testing

Indexed keywords

APPLICATION PROGRAMS; MODEL CHECKING; RECOMMENDER SYSTEMS; SOFTWARE ENGINEERING; SOFTWARE TESTING; TESTING;

EFFECTIVENESS AND EFFICIENCIES; EXPERIMENTAL SOFTWARE ENGINEERING; INDUSTRIAL CONTEXT; MODEL BASED TESTING; SOFTWARE TECHNOLOGY; SOFTWARE TESTING TECHNIQUES; TECHNICAL DIFFICULTIES; TECHNICAL LITERATURE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 84962535785     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2014.2312915     Document Type: Article

References (39)

1. V. R. Basili and H. D. Rombach, "Support for comprehensive reuse," Softw. Eng. J., vol. 6, no. 5, pp. 303-316, Sep. 1991.
2. S. Vegas and V. Basili, "A characterization schema for software testing techniques," Empirical Softw. Eng., vol. 10, no. 4, pp. 437-466, Oct. 2005.
3. M. Victor and N. Upadhyay, "Selection of software testing technique: A multi criteria decision making approach," Commun. Comput. Inf. Sci., vol. 204, pp. 453-462, 2011.
4. T. Menzies, D. Owen, B. Cukic, "Saturation effects in testing of formal models," in Proc. 13th Int. Symp. Softw. Rel. Eng., vol. 15, 2002, pp. 15-26.
5. N. Juristo, A. M. Moreno, S. Vegas, "Reviewing 25 years of testing technique experiments," Empirical Softw. Eng., vol. 9, no. 1, pp. 7-44, Mar. 2004.
6. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. San Mateo, CA, USA: Morgan-Kaufmann, 2007.
7. A. C Dias Neto, R. Subramanyan, M. E. R. Vieira, G. H. Travassos, F. Shull, "Improving evidence about software technologies: A look at model-based testing," IEEE Softw., vol. 25, no. 3, pp. 10-13, May/Jun. 2008.
8. A. C. Dias-Neto and G. H. Travassos, "Model-based testing approaches selection for software projects," Inf. Softw. Technol., vol. 51, pp. 1487-1504, Jul. 2009.
9. A. C. Dias-Neto and G. H. Travassos, "A picture from the modelbased testing area: Concepts, techniques, challenges," Adv. Comput., vol. 80, pp. 45-120, 2010.
10. A. C. Dias-Neto and G. H. Travassos, "Evaluation of {modelbased} testing techniques selection approaches: An externalreplication," in Proc. 3rd Int. Symp. Empirical Softw. Eng. Meas., Oct. 2009, pp. 269-278.
11. A. C. Dias-Neto and G. H. Travassos, "Evolving a computerized infrastructure to support the selection of model-based testing techniques," in Proc. IFIP Int. Conf. Testing Softw. Syst., 2010, pp. 85-90.
12. A. C. Dias-Neto, R. F. Rodrigues, G. H. Travassos, "Porantimopt: Optimizing the combined selection of model-based testing techniques," in Proc. 4th Workshop Search Based Softw. Testing, Mar. 2011, pp. 174-183.
13. A. C. Dias-Neto, R. O. Sp-?nola, G. H. Travassos, "Developing software technologies through experimentation: experiences from the battlefield," in Proc. Conf. Ibero-Americana en Softw. Eng., 2010, pp. 107-121.
14. C. V. Ramamoorthy, S. F. Ho, W. T. Chen, "On the automated generation of program test data," IEEE Trans. Softw. Eng., vol. SE-2, no. 4, pp. 293-300, Dec. 1976.
15. T. S. Chow, "Testing software design modelled by finite-state machines," IEEE Trans. Softw. Eng., vol. SE-4, no. 3, pp. 178-187, Mar. 1978.
16. A. Pretschner, "Model-based testing," in Proc. 27th Int. Conf. Softw. Eng., 2005, pp. 722-723.
17. A. Birk, "Modelling the application domains of software engineering technologies," in Proc. IEEE 12th Int. Conf. Automated Softw. Eng., Nov. 1997, pp. 291-292.
18. N. A. M. Maiden and G. Rugg, "ACRE: selecting methods for requirements acquisition," Softw. Eng. J., vol. 11, no. 3, pp. 183-192, 1996.
19. G. N. Aranda, A. Vizcaino, A. Cechich, M. Piattini, "Technology selection to improve global collaboration," in Proc. Int. Conf. Global Softw. Eng., Oct. 2006, pp. 223-232.
20. M. A. Wojcicki and P. Strooper, "An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies," in Proc. 5th Int. Workshop Softw. Quality, 2007, p. 9.
21. J. C. Gower, "Properties of Euclidean and non-euclidean distance matrices," Linear Algebra Appl., vol. 67, pp. 81-97, 1985.
22. C. Nebut, F. Fleurey, Y. Traon, J. Jezequel, "Automatic test generation: A use case driven approach," IEEE Trans. Softw. Eng., vol. 32, no. 3, pp. 140-155, Mar. 2006.
23. D. K. Peters and D. L. Parnas, "Requirements-based monitors for real-time systems," IEEE Trans. Softw. Eng., vol. 28, no. 2, pp. 146-158, Feb. 2002.
24. T. Y. Chen, P. L. Poon, T. H. Tse, "A choice relation framework for supporting category-partition test case generation," IEEE Trans. Softw. Eng., vol. 29, no. 7, pp. 577-593, Jul. 2003.
25. P. Jaccard, "-Etude comparative de la distribution florale dans une portion des Alpes et des Jura," Bull. del la Soci-et-e Vaudoise des Sci. Naturelles 37, vol. 37, pp. 547-579, 1901.
26. C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell, A. Wesslen, Experimentation in Software Engineering-An Introduction. Norwell, MA, USA: Kluwer, 2000.
27. A. Abdurazik and J. Offutt, "Using UML collaboration diagrams for static checking and test generation," Proc. 3rd Int. Conf. The Unified Modeling Lang.: Advancing the Standard, pp. 383-395, Oct. 2000.
28. L. C. Briand and Y. Labiche, "A UML-based approach to system testing," in Proc. 4th Int. Conf. Unified Modeling Lang., Modeling Lang., Concepts, Tools, Oct. 2000, vol. 2185, pp. 194-208.
29. J. Chang, D. J. Richardson, S. Sankar, "Structural specification-based testing with ADL," in Proc. ACM SIGSOFT Int. Symp. Softw. Testing Anal., 1996, p. 21.
30. A. Hartmann and K. Nagin, "The AGEDIS tools for model based testing," in Proc. ACM SIGSOFT Int. Symp. Softw. Testing Anal., vol. 4, Jul. 2004, pp. 129-132.
31. Y. Kim, H. Hong, D. Bae, S. Cha, "Test cases generation from UML state diagrams," in IEEE Proc. Softw., vol. 146, no. 4, pp. 187-192, Aug. 1999.
32. G. Friedman, A. Hartmann, K. Nagin, T. Shiran, "Projected state machine coverage for software testing," in Proc. ACM SIGSOFT Int. Symp. Softw. Testing Anal., 2002, pp. 134-143.
33. V. Alagar, O. Ormandjieva, M. Zheng, "Specification-based testing for real-time reactive systems," in Proc. 34th Int. Conf. Technol. Object-Oriented Lang Syst., 2000, pp. 25-36.
34. K. Stobie, "Model based testing in practice at Microsoft," Electron. Notes Theoretical Comput. Sci., vol. 111, pp. 5-12, 2005.
35. M. Vieira, J. Leduc, B. Hasling, R. Subramanyan, J. Kazmeier, "Automation of GUI testing using a model-driven approach," in Proc. Int. Workshop Autom. Softw. Test, 2006, pp. 9-14.
36. L. d. Bousquet and N. Zuanon, "An overview of lutess: A specification-based tool for testing synchronous software," in Proc. IEEE 14th Int. Conf. Automated Softw. Eng., 1999, pp. 208-215.
37. I. S. Chung, H. S. Kim, H. S. Bae, Y. R. Kwon, B. S. Lee, "Testing of concurrent programs based on message sequence charts," in Proc. Int. Symp. Softw. Eng. Parallel Distrib. Syst., 1999, pp. 72-82.
38. I. Parissis and J. Vassey, "Thoroughness of specification-based testing of synchronous programs," in Proc. 14th Int. Symp. Softw. Rel. Eng., 2003, pp. 191-200.
39. S. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, B. M. Horowitz, "Model-based testing in practice," in Proc. Int. Conf. Softw. Eng., May 1999, pp. 285-294.