access icon free Systematic mapping study on MBT: tools and models

Every year several contributions to the model-based testing (MBT) field are published. Therefore, to follow the evolution and trends of several tools and models available is difficult. Moreover, since the variety of models and tools that became available in recent years, choosing an approach to support the MBT process is a challenging activity. The main objective of this study is to provide an overview on MBT tools and models used by those tools. Furthermore, the authors' study can help academic researchers and companies to understand the topics involving MBT. Therefore, a systematic mapping study was conducted in which 1197 distinct papers were evaluated. At the end, 87 primary studies were selected to be analysed in a quantitative and qualitative way. As a result, they classified the tools and models that are currently used to support MBT. Moreover, they identified 70 MBT tools, as well as different domains in which MBT is already applied to. Therefore, there are some evidence that MBT continues to be a broad and ‘alive’ research field since every year a significant number of papers presenting different kinds of contributions are published.

Inspec keywords: software engineering; program testing

Other keywords: MBT process; software development; software modelling; systematic mapping; model-based testing

Subjects: Software engineering techniques; Diagnostic, testing, debugging and evaluating systems

References

    1. 1)
      • 14. Mussa, M., Ouchani, S., Sammane, W.A., et al: ‘A survey of model-driven testing techniques’. Proc. Ninth Int. Conf. on Quality Software, Washington, USA, 2009, pp. 167172.
    2. 2)
      • 90. Maâlej, A.J., Hamza, M., Krichen, M., et al: ‘Automated significant load testing for WS-BPEL compositions’. Proc. Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Luxembourg, Luxembourg, 2013, pp. 144153.
    3. 3)
      • 28. Andaloussi, B.S., Braun, A.: ‘A test specification method for software interoperability tests in offshore scenarios: a case study’. Int. Conf. on Global Software Engineering, Washington, DC, USA, 2006, pp. 169178.
    4. 4)
      • 113. Costa, L.T., Czekster, R., Oliveira, F.M., et al: ‘Generating performance test scripts and scenarios based on abstract intermediate models’. Proc. 24th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), San Francisco, CA, USA, 2012, pp. 112117.
    5. 5)
      • 54. Zech, P., Felderer, M., Kalb, P., et al: ‘A generic platform for model-based regression testing’. Proc. Fifth Int. Symp. Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, Crete, Greece, 2012, vol. 7609, pp. 112126.
    6. 6)
      • 16. Kitchenham, B.: ‘What's up with software metrics? – a preliminary mapping study’, J. Syst. Softw., 2010, 83, pp. 3751.
    7. 7)
      • 38. Boberg, J.: ‘Early fault detection with model-based testing’. Seventh ACM SIGPLAN Workshop on ERLANG, New York, NY, USA, 2008, pp. 920.
    8. 8)
      • 29. Silva Filho, R.S., Hasling, W.M., Budnik, C.J., et al: ‘Experiences using TEDESO: an extensible and interoperable model-based testing platform’, Autom. Softw. Eng., 2013, 20, (3), pp. 299337.
    9. 9)
      • 68. Entin, V., Winder, M., Zhang, B., et al: ‘A process to increase the model quality in the context of model-based testing’. Proc. IEEE Eighth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), 2015.
    10. 10)
      • 24. Ali, S., Iqbal, M.Z., Arcuri, A., et al: ‘A search-based OCL constraint solver for model-based test data generation’. Proc. Int. Conf. on Quality Software, Madrid, Spain, 2011, pp. 4150.
    11. 11)
      • 82. Marques, A., Ramalho, F., Andrade, W.L.: ‘Comparing model-based testing with traditional testing strategies: an empirical study’. Proc. IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), 2014, pp. 264273.
    12. 12)
      • 35. Stefanescu, A., Wieczorek, S., Kirshin, A.: ‘MBT4Chor: a model-based testing approach for service choreographies’. Fifth European Conf. on Model Driven Architecture – Foundations and Applications, Berlin, Heidelberg, 2009, vol. 5562, pp. 313324.
    13. 13)
      • 12. Dias-Neto, A.C., Travassos, G.H.: ‘A picture from the model-based testing area: Concepts, techniques, and challenges’, Adv. Comput., 2010, 80, pp. 45120.
    14. 14)
      • 9. Veanes, M., Campbell, C., Grieskamp, W., et al: ‘Model-based testing of object-oriented reactive systems with Spec Explorer’. Formal Methods and Testing, 2008, pp. 3976.
    15. 15)
      • 33. Slack, J.M.: ‘Modeltester: a tool for teaching model-based testing’, Comput. Sci. Coll., 2011, 27, (1), pp. 3746.
    16. 16)
      • 46. Xu, D., Chu, W.: ‘A methodology for building effective test models with function nets’. Proc. 36th Annual Computer Software and Applications Conf., Izmir, Turkey, July 2012, pp. 334339.
    17. 17)
      • 7. Broy, M., Jonsson, B., Katoen, J.-P., et al: ‘Model-based testing of reactive systems: advanced lectures’ (Springer, 2005).
    18. 18)
      • 85. Lasalle, J., Peureux, F., Fondement, F.: ‘Development of an automated MBT toolchain from UML/SysML models’, Innov. Syst. Softw. Eng., 2011, 7, (4), pp. 247256.
    19. 19)
      • 106. Cartaxo, E., Neto, F., Machado, P.: ‘Test case generation by means of UML sequence diagrams and labeled transition systems’. Proc. Int. Conf. on Systems, Man and Cybernetics, Montréal, Canada, October 2007, pp. 12921297.
    20. 20)
      • 81. Kervinen, A., Maunumaa, M., Pääkkönen, T., et al: ‘Model-based testing through a GUI’. Fifth Int. Work on Formal Approaches to Testing of Software, Edinburgh, UK, 2006, vol. 3997, pp. 1631.
    21. 21)
      • 100. Paradkar, A.: ‘A quest for appropriate software fault models: case studies on fault detection effectiveness of model-based test generation techniques’, Inf. Softw. Technol., 2006, 48, (10), pp. 949959, advances in Model-based Testing.
    22. 22)
      • 13. Shafique, M., Labiche, Y.: ‘A systematic review of state-based test tools’, Int. J. Softw. Tools Technol. Transf., 2015, 17, (1), pp. 5976.
    23. 23)
      • 71. Jiang, B., Tse, T.H., Grieskamp, W., et al: ‘Regression testing process improvement for specification evolution of real-world protocol software’. Tenth Int. Conf. on Quality Software, Washington, DC, USA, 2010, pp. 6271.
    24. 24)
      • 108. Cook, T.D., Campbell, D.T.: ‘Quasi-experimentation: design and analysis issues for field settings’ (Houghton Mifflin, 1979).
    25. 25)
      • 80. Marinescu, R., Saadatmand, M., Bucaioni, A., et al: ‘A model-based testing framework for automotive embedded systems’. Proc. 40th Euromicro Conf. Series on Software Engineering and Advanced Applications (SEAA), 2014, pp. 3847.
    26. 26)
      • 62. Arantes, A., De Santiago, J., Vijaykumar, V.A.N., et al: ‘Tool support for generating model-based test cases via web’, Int. J. Web Eng. Technol., 2014, 9, (1), pp. 6296.
    27. 27)
      • 72. Gebizli, C., Metin, D., Szer, H.: ‘Combining model-based and risk-based testing for effective test case generation’. Proc. Int. Conf. Software Testing, Verification and Validation Workshops (ICSTW), April 2015, pp. 14.
    28. 28)
      • 4. Saifan, A., Dingel, J.: ‘A survey of using model-based testing to improve quality attributes in distributed systems’. Advanced Techniques in Computing Sciences and Software Engineering, Netherlands, 2010, pp. 283288.
    29. 29)
      • 93. Schaefer, C., Do, H.: ‘Model-based exploratory testing: a controlled experiment’. Proc. IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), 2014, pp. 284293.
    30. 30)
      • 97. Sivanandan, S., Yogeesha, C.B.: ‘Agile development cycle: approach to design an effective model based testing with behaviour driven automation framework’. Proc. 20th Annual Int. Conf. on Advanced Computing and Communications (ADCOM), 2014, pp. 2225.
    31. 31)
      • 30. Anjos, J.M.S., Coracini, G.K., Villani, E.: ‘A proposal and verification of a software architecture based on LabView for a multifunctional robotic end-effector’, Adv. Eng. Softw., 2013, 55, pp. 3244.
    32. 32)
      • 60. Aouadi, M.H.E., Toumi, K., Cavalli, A.: ‘An active testing tool for security testing of distributed systems’. 2015 10th Int. Conf. on Availability, Reliability and Security (ARES), August 2015, pp. 735740.
    33. 33)
      • 55. Enoiu, E., Doganay, K., Bohlin, M., et al: ‘MOS: an integrated model-based and search-based testing tool for function block diagrams’. Proc. First Int. Work on Combining Modelling and Search-Based Software Engineering, San Francisco, CA, USA, May 2013, pp. 5560.
    34. 34)
      • 73. Jiang, B., Tse, T., Grieskamp, W., et al: ‘Assuring the model evolution of protocol software specifications by regression testing process improvement’, Softw. – Pract. Exp., 2011, 41, (10), pp. 10731103.
    35. 35)
      • 78. Li, N., Escalona, A., Kamal, T.: ‘Skyfire: model-based testing with cucumber’. Proc. IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2016, pp. 393400.
    36. 36)
      • 27. Schur, M., Roth, A., Zeller, A.: ‘Mining behavior models from enterprise Web applications’. Proc. Ninth Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering, Saint Petersburg, Russia, August 2013, pp. 422432.
    37. 37)
      • 114. Bernardino, M., Rodrigues, E.M., Zorzo, A.F.: ‘Performance testing modeling: an empirical evaluation of DSL and UML-based approaches’. Proc. 31st Annual ACM Symp. on Applied Computing (SAC), New York, NY, USA, April 2016, pp. 16601665.
    38. 38)
      • 18. Dias-Neto, A.C., Travassos, G.H., Subramanyan, R., et al: ‘Characterization of model-based software testing approaches’. PESC-COPPE/UFRJ, ES-713/07, Technical Report, August 2007. Available at http://www.cos.ufrj.br/index.php/pt-BR/publicacoes-pesquisa/details/15/1792, accessed October 2015.
    39. 39)
      • 5. Zander, J., Schieferdecker, I., Mosterman, P.J.: ‘Model-based testing for embedded systems’ (CRC Press, 2011).
    40. 40)
      • 84. Mohalik, S., Gadkari, A.A., Yeolekar, A., et al: ‘Automatic test case generation from Simulink/Stateflow models using model checking’, Softw. Test. Verif. Reliab., 2014, 24, (2), pp. 155180.
    41. 41)
      • 79. Kanstren, T., Puolitaival, O.-P., Perala, J.: ‘An approach to modularization in model-based testing’. Proc. Third Int. Conf. on Advances in System Testing and Validation Lifecycle, Barcelona, Spain, 2011, pp. 613.
    42. 42)
      • 92. Maâlej, A.J., Makhlouf, Z.B., Krichen, M., et al: ‘Conformance testing for quality assurance of clustering architectures’. Proc. Second Int. Work on Quality Assurance for Service-Based Applications, Lugano, Switzerland, 2013, pp. 916.
    43. 43)
      • 11. Utting, M., Legeard, B.: ‘Practical model-based testing: a tools approach’ (Morgan Kaufmann, 2006).
    44. 44)
      • 56. Zhao, H., Sun, J., Hu, G.: ‘Study of methodology of testing mobile games based on TTCN-3’. Tenth ACIS Int. Conf. on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, Daegu, Korea, May 2009, pp. 579584.
    45. 45)
      • 25. Schulz, S., Honkola, J., Huima, A.: ‘Towards model-based testing with architecture models’. 14th Annual Int. Conf. and Work on the Engineering of Computer-Based Systems, Washington, DC, USA, March 2007, pp. 495502.
    46. 46)
      • 61. Garousi, V.: ‘Fault-driven stress testing of distributed real-time software based on UML models’, Softw. Test. Verif. Reliab., 2011, 21, (2), pp. 101124.
    47. 47)
      • 37. Stefanescu, A., Wieczorek, S., Wendland, M.-F.: ‘Using the UML testing profile for enterprise service choreographies’. 36th EUROMICRO Conf. on Software Engineering and Advanced Applications, Lille, France, September 2010, pp. 1219.
    48. 48)
      • 115. Bernardino, M., Zorzo, A., Rodrigues, E.: ‘Canopus: a domain-specific language for modeling performance testing’. Proc. Ninth Int. Conf. on Software Testing, Verification and Validation (ICST), April 2016, pp. 157167.
    49. 49)
      • 86. Muniz, L.L., Netto, U.S.C., Maia, P.H.M.: ‘TCG: a model-based testing tool for functional and statistical testing’. Proc. 17th Int. Conf. on Enterprise Information Systems (ICEIS), 2015, vol. 2, pp. 404411.
    50. 50)
      • 99. Souza, F., Santiago, V.A.Jr., Vijaykumar, N.L.: ‘H-switch cover: a new test criterion to generate test case from finite state machines’, Softw. Qual. J., 2015, 23, pp. 133.
    51. 51)
      • 50. Yang, W., Prasad, M.R., Xie, T.: ‘A grey-box approach for automated GUI-model generation of mobile applications’. Proc. 16th Int. Conf. Fundamental Approaches to Software Engineering, Rome, Italy, 2013, vol. 7793, pp. 250265.
    52. 52)
      • 36. Benz, S.: ‘AspectT: aspect-oriented test case instantiation’. Seventh Int. Conf. on Aspect-oriented Software Development, New York, NY, USA, 2008, pp. 112.
    53. 53)
      • 75. Julliand, J., Masson, P.-A., Tissot, R., et al: ‘Generating tests from b specifications and dynamic selection criteria’, Form. Asp. Comput., 2011, 23, (1), pp. 319.
    54. 54)
      • 59. Fourneret, E., Bouquet, F., Dadeau, F., et al: ‘Selective test generation method for evolving critical systems’. Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, March 2011, pp. 125134.
    55. 55)
      • 51. El Ariss, O., Xu, D., Dandey, S., et al: ‘A systematic capture and replay strategy for testing complex GUI based java applications’. Seventh Int. Conf. on Information Technology: New Generations, Las Vegas, NV, USA, April 2010, pp. 10381043.
    56. 56)
      • 53. Endo, A.T., Bernardino, M., Rodrigues, E.M., et al: ‘An industrial experience on using models to test Web service-oriented applications’. Proc. Int. Conf. on Information Integration and Web-based Applications and Services, Vienna, Austria, 2013, pp. 240249.
    57. 57)
      • 105. Ammann, P., Offutt, J.: ‘Introduction to software testing’ (Cambridge University Press, New York, NY, USA, 2008, 1st edn.).
    58. 58)
      • 95. Schulze, C., Ganesan, D., Lindvall, M., et al: ‘Assessing model-based testing: an empirical study conducted in industry’. Companion Proc. 36th Int. Conf. on Software Engineering (ICSE), New York, NY, USA, 2014, pp. 135144.
    59. 59)
      • 64. Belli, F., Budnik, C.J., Hollmann, A., et al: ‘Model-based mutation testing-approach and case studies’, Sci. Comput. Program., 2014, 120, pp. 2548, article in press.
    60. 60)
      • 63. Gonczy, L., Heckel, R., Varro, D.: ‘Model-based testing of service infrastructure components’, in Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (EDs.): ‘Testing of software and communicating systems’ (Springer Berlin Heidelberg, Tallinn, Estonia, 2007), vol. 4581, pp. 155170.
    61. 61)
      • 15. Petersen, K., Feldt, R., Mujtaba, S., et al: ‘Systematic mapping studies in software engineering’. 12th Int. Conf. on Evaluation and Assessment in Software Engineering, 2008, vol. 17, no. 1, pp. 110.
    62. 62)
      • 6. El-Far, I.K., Whittaker, J.A.: ‘Model-based software testing’ (John Wiley & Sons, 2002), pp. 825837.
    63. 63)
      • 43. Castillos, K.C., Botella, J.: ‘Scenario based test generation using test designer’. Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, March 2011, pp. 7988.
    64. 64)
      • 22. Adjir, N., de Saqui Sannes, P., Rahmouni, M.K., et al: ‘Timed test case generation using labeled prioritized time petri nets’, Int. J. Comput. Sci. Issues, 2012, 9, (2 2-2), pp. 123132.
    65. 65)
      • 58. Aichernig, B.K., Brandl, H., Jobstl, E., et al: ‘Killing strategies for model-based mutation testing’, Softw. Test. Verif. Reliab., 2015, 25, (8), pp. 716748.
    66. 66)
      • 98. Olimpiew, E.M.: ‘Model-based testing for software product lines’. PhD dissertation, George Mason University, Fairfax, VA, USA, 2008.
    67. 67)
      • 70. Gebizli, C.S., Szer, H.: ‘Improving models for model-based testing based on exploratory testing’. Proc. IEEE 38th Int. Computer Software and Applications Conf. Workshops (COMPSACW), July 2014, pp. 656661.
    68. 68)
      • 31. Singh, S.K., Sabharwal, S., Gupta, J.P.: ‘A novel approach for deriving test scenarios and test cases from events’, Inf. Process. Syst., 2012, 8, (2), pp. 213240.
    69. 69)
      • 66. Eberhardinger, B., Habermaier, A., Seebach, H., et al: ‘Back-to-back testing of self-organization mechanisms’. LNCS (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016(LNCS, 9976), pp. 1835.
    70. 70)
      • 52. Yano, T., Martins, E., De Sousa, F.L.: ‘MOST: a multi-objective search-based testing from EFSM’. Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, March 2011, pp. 164173.
    71. 71)
      • 77. Kandl, S., Kirner, R., Puschner, P.: ‘Development of a framework for automated systematic testing of safety-critical embedded systems’. Int. Work on Intelligent Solutions in Embedded Systems, Vienna, Austria, June 2006, pp. 113.
    72. 72)
      • 45. Chimisliu, V., Wotawa, F.: ‘Improving test case generation from UML state charts by using control, data and communication dependencies’. Proc. 13th Int. Conf. on Quality Software, Nanjing, China, July 2013, pp. 125134.
    73. 73)
      • 49. Cristia, M., Rossi, G., Frydman, C.: ‘Log as a test case generator for the test template framework’. Madrid, Spain, September 2013 (LNCS, 8137), pp. 229243.
    74. 74)
      • 96. Nguyen, D.H., Strooper, P., Suess, J.G.: ‘Model-based testing of multiple GUI variants using the GUI test generator’. Fifth Workshop on Automation of Software Test, New York, NY, USA, 2010, pp. 2430.
    75. 75)
      • 19. Dybå, T., Dingsøyr, T.: ‘Strength of evidence in systematic reviews in software engineering’. Proc. Second ACM-IEEE Int. Symp. on Empirical Software Engineering and Measurement (ESEM), New York, NY, USA, 2008, pp. 178187.
    76. 76)
      • 32. Artho, C., Biere, A., Hagiya, M., et al: ‘Modbat: a model-based API tester for event-driven systems’, Lect. Notes Comput. Sci., 2013, 8244, pp. 112128.
    77. 77)
      • 103. Yue, T., Ali, S., Zhang, M.: ‘RTCM: a natural language based, automated, and practical test case generation framework’. Proc. Int. Symp. on Software Testing and Analysis (ISSTA), 2015, pp. 397408.
    78. 78)
      • 17. Kitchenham, B., Charters, S.: ‘Guidelines for performing systematic literature reviews in software engineering’. Keele University and Durham University Joint Report, Technical Report, EBSE 2007-001, 2007.
    79. 79)
      • 83. Kruger, B., Linschulte, M.: ‘Cost reduction through combining test sequences with input data’. Proc. Sixth Int. Conf. on Software Security and Reliability Companion, Gaithersburg, MD, USA, June 2012, pp. 207216.
    80. 80)
      • 57. Farooq, Q., Iqbal, M., Malik, Z., et al: ‘A model-based regression testing approach for evolving software systems with flexible tool support’. 17th Int. Conf. and Work on Engineering of Computer Based Systems, Oxford, England, UK, March 2010, pp. 4149.
    81. 81)
      • 20. Abbors, F., Backlund, A., Truscan, D.: ‘MATERA – an integrated framework for model-based testing’. Proc. 17th Int. Conf. and Work on the Engineering of Computer-Based Systems, Oxford, UK, 2010, pp. 321328.
    82. 82)
      • 74. Hillah, L.B., Maesano, A.-P.C., de Rosa, F., et al: ‘Automation and intelligent scheduling of distributed system functional testing: model-based functional testing in practice’, Int. J. Softw. Tools Technol. Transf., 2016, 18, pp. 128.
    83. 83)
      • 109. Wohlin, C., Runeson, P., Höst, M., et al: ‘Experimentation in software engineering’ (Springer, 2012).
    84. 84)
      • 91. Samih, H., Le Guen, H., Bogusch, R., et al: ‘An approach to derive usage models variants for model-based testing’. Proc. 26th IFIP WG 6.1 Int. Conf. on Testing Software and Systems (ICTSS), New York, NY, USA, 2014, pp. 8096.
    85. 85)
      • 89. Lochau, M., Goltz, U.: ‘Feature interaction aware test case generation for embedded control systems’, Electron. Notes Theor. Comput. Sci., 2010, 264, (3), pp. 3752.
    86. 86)
      • 23. Sarma, M., Murthy, P.V.R., Jell, S., et al: ‘Model-based testing in industry: a case study with two MBT tools’. Fifth Work. on Automation of Software Test, New York, NY, USA, 2010, pp. 8790.
    87. 87)
      • 76. Iftikhar, S., Iqbal, M.Z., Khan, M.U., et al: ‘An automated model based testing approach for platform games’. Proc. ACM/IEEE 18th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2015, pp. 426435.
    88. 88)
      • 8. Myers, G.J., Sandler, C.: ‘The art of software testing’ (John Wiley & Sons, 2004).
    89. 89)
      • 102. Polgar, B., Agoston, I., Juhasz, G., et al: ‘The integra tool integration framework’. Proc. 12th Symp. on Programming Languages and Software Tools, Tallinn, Estonia, 2011, pp. 6677.
    90. 90)
      • 1. Apfelbaum, L., Doyle, J.: ‘Model based testing’. Software Quality Week Conf., San Francisco, CA, USA, 1997, pp. 296300.
    91. 91)
      • 107. Farooq, U., Lam, C.P.: ‘Evolving the quality of a model based test suite’. Int. Conf. on Software Testing, Verification, and Validation Workshops, Washington, DC, USA, 2009, pp. 141149.
    92. 92)
      • 69. Heiskanen, H., Jääskeläinen, A., Katara, M.: ‘Debug support for model-based GUI testing’. Proc. Third Int. Conf. on Software Testing, Verification and Validation (ICST), Paris, France, 2010, pp. 2534.
    93. 93)
      • 40. Bozga, M., David, A., Hartmanns, A., et al: ‘State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems’. Proc. Design, Automation Test in Europe Conf. Exhibition, Dresden, Germany, March 2012, pp. 370375.
    94. 94)
      • 44. Wang, S., Ali, S., Yue, T., et al: ‘Using feature model to support model-based testing of product lines: an industrial case study’. Proc. 13th Int. Conf. on Quality Software, Nanjing, China, July 2013, pp. 7584.
    95. 95)
      • 110. Dias Neto, A.C., Subramanyan, R., Vieira, M., et al: ‘A survey on model-based testing approaches: a systematic review’. Proc. First ACM Int. Work on Empirical Assessment of Software Engineering Languages and Technologies, New York, NY, USA, 2007, pp. 3136.
    96. 96)
      • 26. Ambert, F., Bouquet, F., Lasalle, J., et al: ‘Applying an MBT toolchain to automotive embedded systems: case study reports’. Proc. Fourth Int. Conf. on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal, 2012, pp. 139144.
    97. 97)
      • 41. Bringmann, E., Krämer, A.: ‘Model-based testing of automotive systems’. First Int. Conf. on Software Testing, Verification, and Validation, Washington, DC, USA, 2008, pp. 485493.
    98. 98)
      • 87. Löffler, R., Meyer, M., Gottschalk, M.: ‘Formal scenario-based requirements specification and test case generation in healthcare applications’. Work on Software Engineering in Health Care, Cape Town, South Africa, May 2010, pp. 5767.
    99. 99)
      • 88. Pinheiro, A.C., Simao, A., Ambrosio, A.M.: ‘FSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: a case study’, J. Aerosp. Technol. Manage., 2014, 6, (4), pp. 447461.
    100. 100)
      • 34. Aydal, E., Paige, R., Utting, M., et al: ‘Putting formal specifications under the magnifying glass: model-based testing for validation’. Second Int. Conf. on Software Testing Verification and Validation, Denver, CO, USA, April 2009, pp. 131140.
    101. 101)
      • 104. Puolitaival, O.-P.: ‘Adapting model-based testing to agile context’ (VTT Publications, 2008), no. 694, pp. 180.
    102. 102)
      • 39. Torsel, A.-M.: ‘A testing tool for Web applications using a domain-specific modelling language and the NUSMV model checker’. Proc. Sixth Int. Conf. on Software Testing, Verification and Validation (ICST), Luxembourg, Luxembourg, 2013, pp. 383390.
    103. 103)
      • 3. Hartman, A., Katara, M., Olvovsky, S.: ‘Choosing a test modeling language: a survey’ (Springer Berlin Heidelberg, Berlin, Heidelberg, 2007), pp. 204218.
    104. 104)
      • 42. Vishal, V., Kovacioglu, M., Kherazi, R., et al: ‘Integrating model-based and constraint-based testing using Spec Explorer’. Proc. 23rd Int. Symp. on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, November 2012, pp. 219224.
    105. 105)
      • 21. Riccobene, E., Scandurra, P.: ‘A formal framework for service modeling and prototyping’, Form. Asp. Comput., 2013, 26, (6), pp. 10771113.
    106. 106)
      • 112. Silveira, M.B., Rodrigues, E.M., Zorzo, A.F., et al: ‘Model-based automatic generation of performance test scripts’. Proc. 23rd Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), Miami, FL, USA, 2011, pp. 258263.
    107. 107)
      • 94. Memon, A.M.: ‘An event-flow model of GUI-based applications for testing: research articles’, Softw. Test. Verif. Reliab., 2007, 17, pp. 137157.
    108. 108)
      • 101. Van Der Meer, A.P., Kherrazi, R., Hamilton, M.: ‘Using formal specifications to support model based testing ASDSpec: a tool combining the best of two techniques’. Electronic Proc. in Theoretical Computer Science (EPTCS), 2014, vol. 141, pp. 113.
    109. 109)
      • 67. Hasling, B., Goetz, H., Beetz, K.: ‘Model based testing of system requirements using UML use case models’. First Int. Conf. on Software Testing, Verification, and Validation, Lillehammer, Norway, April 2008, pp. 367376.
    110. 110)
      • 10. Utting, M., Pretschner, A., Legeard, B.: ‘A taxonomy of model-based testing approaches’, Softw. Test. Verif. Reliab., 2012, 22, (5), pp. 297312.
    111. 111)
      • 111. Rodrigues, E.M., Viccari, L.D., Zorzo, A.F., et al: ‘PLeTs tool – test automation using software product lines and model based testing’. Proc. 22th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), Redwood City, CA, USA, July 2010, pp. 483488.
    112. 112)
      • 48. Xu, D., Tu, M., Sanford, M., et al: ‘Automated security test generation with formal threat models’, IEEE Trans. Dependable Secur. Comput., 2012, 9, (4), pp. 526540.
    113. 113)
      • 2. Rodrigues, E.M., Oliveira, F.M., Costa, L.T., et al: ‘An empirical comparison of model-based and capture and replay approaches for performance testing’, Empir. Softw. Eng., 2015, 20, (6), pp. 18311860.
    114. 114)
      • 47. Chinnapongse, V., Lee, I., Sokolsky, O., et al: ‘Model-based testing of GUI-driven applications’. Proc. Seventh IFIP WG 10.2 Int. Work on Software Technologies for Embedded and Ubiquitous Systems, Berlin, Heidelberg, 2009, pp. 203214.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2015.0154
Loading

Related content

content/journals/10.1049/iet-sen.2015.0154
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading