http://iet.metastore.ingenta.com
1887

Systematic mapping study on MBT: tools and models

Systematic mapping study on MBT: tools and models

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.

References

    1. 1)
      • L. Apfelbaum , J. Doyle .
        1. Apfelbaum, L., Doyle, J.: ‘Model based testing’. Software Quality Week Conf., San Francisco, CA, USA, 1997, pp. 296300.
        . Software Quality Week Conf. , 296 - 300
    2. 2)
      • E.M. Rodrigues , F.M. Oliveira , L.T. Costa .
        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.
        . Empir. Softw. Eng. , 6 , 1831 - 1860
    3. 3)
      • A. Hartman , M. Katara , S. Olvovsky . (2007)
        3. Hartman, A., Katara, M., Olvovsky, S.: ‘Choosing a test modeling language: a survey’ (Springer Berlin Heidelberg, Berlin, Heidelberg, 2007), pp. 204218.
        .
    4. 4)
      • A. Saifan , J. Dingel .
        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.
        . Advanced Techniques in Computing Sciences and Software Engineering , 283 - 288
    5. 5)
      • J. Zander , I. Schieferdecker , P.J. Mosterman . (2011)
        5. Zander, J., Schieferdecker, I., Mosterman, P.J.: ‘Model-based testing for embedded systems’ (CRC Press, 2011).
        .
    6. 6)
      • I.K. El-Far , J.A. Whittaker . (2002)
        6. El-Far, I.K., Whittaker, J.A.: ‘Model-based software testing’ (John Wiley & Sons, 2002), pp. 825837.
        .
    7. 7)
      • M. Broy , B. Jonsson , J.-P. Katoen . (2005)
        7. Broy, M., Jonsson, B., Katoen, J.-P., et al: ‘Model-based testing of reactive systems: advanced lectures’ (Springer, 2005).
        .
    8. 8)
      • G.J. Myers , C. Sandler . (2004)
        8. Myers, G.J., Sandler, C.: ‘The art of software testing’ (John Wiley & Sons, 2004).
        .
    9. 9)
      • M. Veanes , C. Campbell , W. Grieskamp .
        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.
        . Formal Methods and Testing , 39 - 76
    10. 10)
      • M. Utting , A. Pretschner , B. Legeard .
        10. Utting, M., Pretschner, A., Legeard, B.: ‘A taxonomy of model-based testing approaches’, Softw. Test. Verif. Reliab., 2012, 22, (5), pp. 297312.
        . Softw. Test. Verif. Reliab. , 5 , 297 - 312
    11. 11)
      • M. Utting , B. Legeard . (2006)
        11. Utting, M., Legeard, B.: ‘Practical model-based testing: a tools approach’ (Morgan Kaufmann, 2006).
        .
    12. 12)
      • A.C. Dias-Neto , G.H. Travassos .
        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.
        . Adv. Comput. , 45 - 120
    13. 13)
      • M. Shafique , Y. Labiche .
        13. Shafique, M., Labiche, Y.: ‘A systematic review of state-based test tools’, Int. J. Softw. Tools Technol. Transf., 2015, 17, (1), pp. 5976.
        . Int. J. Softw. Tools Technol. Transf. , 1 , 59 - 76
    14. 14)
      • M. Mussa , S. Ouchani , W.A. Sammane .
        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.
        . Proc. Ninth Int. Conf. on Quality Software , 167 - 172
    15. 15)
      • K. Petersen , R. Feldt , S. Mujtaba .
        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.
        . 12th Int. Conf. on Evaluation and Assessment in Software Engineering , 1 , 1 - 10
    16. 16)
      • B. Kitchenham .
        16. Kitchenham, B.: ‘What's up with software metrics? – a preliminary mapping study’, J. Syst. Softw., 2010, 83, pp. 3751.
        . J. Syst. Softw. , 37 - 51
    17. 17)
      • B. Kitchenham , S. Charters .
        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.
        .
    18. 18)
      • A.C. Dias-Neto , G.H. Travassos , R. Subramanyan .
        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.
        .
    19. 19)
      • T. Dybå , T. Dingsøyr .
        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.
        . Proc. Second ACM-IEEE Int. Symp. on Empirical Software Engineering and Measurement (ESEM) , 178 - 187
    20. 20)
      • F. Abbors , A. Backlund , D. Truscan .
        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.
        . Proc. 17th Int. Conf. and Work on the Engineering of Computer-Based Systems , 321 - 328
    21. 21)
      • E. Riccobene , P. Scandurra .
        21. Riccobene, E., Scandurra, P.: ‘A formal framework for service modeling and prototyping’, Form. Asp. Comput., 2013, 26, (6), pp. 10771113.
        . Form. Asp. Comput. , 6 , 1077 - 1113
    22. 22)
      • N. Adjir , P. de Saqui Sannes , M.K. Rahmouni .
        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.
        . Int. J. Comput. Sci. Issues , 123 - 132
    23. 23)
      • M. Sarma , P.V.R. Murthy , S. Jell .
        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.
        . Fifth Work. on Automation of Software Test , 87 - 90
    24. 24)
      • S. Ali , M.Z. Iqbal , A. Arcuri .
        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.
        . Proc. Int. Conf. on Quality Software , 41 - 50
    25. 25)
      • S. Schulz , J. Honkola , A. Huima .
        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.
        . 14th Annual Int. Conf. and Work on the Engineering of Computer-Based Systems , 495 - 502
    26. 26)
      • F. Ambert , F. Bouquet , J. Lasalle .
        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.
        . Proc. Fourth Int. Conf. on Advances in System Testing and Validation Lifecycle , 139 - 144
    27. 27)
      • M. Schur , A. Roth , A. Zeller .
        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.
        . Proc. Ninth Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering , 422 - 432
    28. 28)
      • B.S. Andaloussi , A. Braun .
        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.
        . Int. Conf. on Global Software Engineering , 169 - 178
    29. 29)
      • R.S. Silva Filho , W.M. Hasling , C.J. Budnik .
        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.
        . Autom. Softw. Eng. , 3 , 299 - 337
    30. 30)
      • J.M.S. Anjos , G.K. Coracini , E. Villani .
        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.
        . Adv. Eng. Softw. , 32 - 44
    31. 31)
      • S.K. Singh , S. Sabharwal , J.P. Gupta .
        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.
        . Inf. Process. Syst. , 2 , 213 - 240
    32. 32)
      • C. Artho , A. Biere , M. Hagiya .
        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.
        . Lect. Notes Comput. Sci. , 112 - 128
    33. 33)
      • J.M. Slack .
        33. Slack, J.M.: ‘Modeltester: a tool for teaching model-based testing’, Comput. Sci. Coll., 2011, 27, (1), pp. 3746.
        . Comput. Sci. Coll. , 1 , 37 - 46
    34. 34)
      • E. Aydal , R. Paige , M. Utting .
        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.
        . Second Int. Conf. on Software Testing Verification and Validation , 131 - 140
    35. 35)
      • A. Stefanescu , S. Wieczorek , A. Kirshin .
        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.
        . Fifth European Conf. on Model Driven Architecture – Foundations and Applications , 313 - 324
    36. 36)
      • S. Benz .
        36. Benz, S.: ‘AspectT: aspect-oriented test case instantiation’. Seventh Int. Conf. on Aspect-oriented Software Development, New York, NY, USA, 2008, pp. 112.
        . Seventh Int. Conf. on Aspect-oriented Software Development , 1 - 12
    37. 37)
      • A. Stefanescu , S. Wieczorek , M.-F. Wendland .
        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.
        . 36th EUROMICRO Conf. on Software Engineering and Advanced Applications , 12 - 19
    38. 38)
      • J. Boberg .
        38. Boberg, J.: ‘Early fault detection with model-based testing’. Seventh ACM SIGPLAN Workshop on ERLANG, New York, NY, USA, 2008, pp. 920.
        . Seventh ACM SIGPLAN Workshop on ERLANG , 9 - 20
    39. 39)
      • A.-M. Torsel .
        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.
        . Proc. Sixth Int. Conf. on Software Testing, Verification and Validation (ICST), Luxembourg , 383 - 390
    40. 40)
      • M. Bozga , A. David , A. Hartmanns .
        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.
        . Proc. Design, Automation Test in Europe Conf. Exhibition , 370 - 375
    41. 41)
      • E. Bringmann , A. Krämer .
        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.
        . First Int. Conf. on Software Testing, Verification, and Validation , 485 - 493
    42. 42)
      • V. Vishal , M. Kovacioglu , R. Kherazi .
        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.
        . Proc. 23rd Int. Symp. on Software Reliability Engineering Workshops (ISSREW) , 219 - 224
    43. 43)
      • K.C. Castillos , J. Botella .
        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.
        . Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW) , 79 - 88
    44. 44)
      • S. Wang , S. Ali , T. Yue .
        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.
        . Proc. 13th Int. Conf. on Quality Software , 75 - 84
    45. 45)
      • V. Chimisliu , F. Wotawa .
        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.
        . Proc. 13th Int. Conf. on Quality Software , 125 - 134
    46. 46)
      • D. Xu , W. Chu .
        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.
        . Proc. 36th Annual Computer Software and Applications Conf. , 334 - 339
    47. 47)
      • V. Chinnapongse , I. Lee , O. Sokolsky .
        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.
        . Proc. Seventh IFIP WG 10.2 Int. Work on Software Technologies for Embedded and Ubiquitous Systems , 203 - 214
    48. 48)
      • D. Xu , M. Tu , M. Sanford .
        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.
        . IEEE Trans. Dependable Secur. Comput. , 4 , 526 - 540
    49. 49)
      • M. Cristia , G. Rossi , C. Frydman .
        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.
        . , 229 - 243
    50. 50)
      • W. Yang , M.R. Prasad , T. Xie .
        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.
        . Proc. 16th Int. Conf. Fundamental Approaches to Software Engineering , 250 - 265
    51. 51)
      • O. El Ariss , D. Xu , S. Dandey .
        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.
        . Seventh Int. Conf. on Information Technology: New Generations , 1038 - 1043
    52. 52)
      • T. Yano , E. Martins , F.L. De Sousa .
        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.
        . Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW) , 164 - 173
    53. 53)
      • A.T. Endo , M. Bernardino , E.M. Rodrigues .
        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.
        . Proc. Int. Conf. on Information Integration and Web-based Applications and Services , 240 - 249
    54. 54)
      • P. Zech , M. Felderer , P. Kalb .
        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.
        . Proc. Fifth Int. Symp. Leveraging Applications of Formal Methods, Verification and Validation , 112 - 126
    55. 55)
      • E. Enoiu , K. Doganay , M. Bohlin .
        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.
        . Proc. First Int. Work on Combining Modelling and Search-Based Software Engineering , 55 - 60
    56. 56)
      • H. Zhao , J. Sun , G. Hu .
        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.
        . Tenth ACIS Int. Conf. on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing , 579 - 584
    57. 57)
      • Q. Farooq , M. Iqbal , Z. Malik .
        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.
        . 17th Int. Conf. and Work on Engineering of Computer Based Systems , 41 - 49
    58. 58)
      • B.K. Aichernig , H. Brandl , E. Jobstl .
        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.
        . Softw. Test. Verif. Reliab. , 8 , 716 - 748
    59. 59)
      • E. Fourneret , F. Bouquet , F. Dadeau .
        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.
        . Proc. Fourth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW) , 125 - 134
    60. 60)
      • M.H.E. Aouadi , K. Toumi , A. Cavalli .
        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.
        . 2015 10th Int. Conf. on Availability, Reliability and Security (ARES) , 735 - 740
    61. 61)
      • V. Garousi .
        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.
        . Softw. Test. Verif. Reliab. , 2 , 101 - 124
    62. 62)
      • A. Arantes , J. De Santiago , V.A.N. Vijaykumar .
        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.
        . Int. J. Web Eng. Technol. , 1 , 62 - 96
    63. 63)
      • L. Gonczy , R. Heckel , D. Varro . (2007)
        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.
        .
    64. 64)
      • F. Belli , C.J. Budnik , A. Hollmann .
        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.
        . Sci. Comput. Program. , 25 - 48
    65. 65)
      • B. Eberhardinger , A. Habermaier , H. Seebach .
        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.
        . LNCS (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 18 - 35
    66. 66)
      • B. Hasling , H. Goetz , K. Beetz .
        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.
        . First Int. Conf. on Software Testing, Verification, and Validation , 367 - 376
    67. 67)
      • V. Entin , M. Winder , B. Zhang .
        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.
        . Proc. IEEE Eighth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW)
    68. 68)
      • H. Heiskanen , A. Jääskeläinen , M. Katara .
        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.
        . Proc. Third Int. Conf. on Software Testing, Verification and Validation (ICST) , 25 - 34
    69. 69)
      • C.S. Gebizli , H. Szer .
        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.
        . Proc. IEEE 38th Int. Computer Software and Applications Conf. Workshops (COMPSACW) , 656 - 661
    70. 70)
      • B. Jiang , T.H. Tse , W. Grieskamp .
        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.
        . Tenth Int. Conf. on Quality Software , 62 - 71
    71. 71)
      • C. Gebizli , D. Metin , H. Szer .
        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.
        . Proc. Int. Conf. Software Testing, Verification and Validation Workshops (ICSTW) , 1 - 4
    72. 72)
      • B. Jiang , T. Tse , W. Grieskamp .
        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.
        . Softw. – Pract. Exp. , 10 , 1073 - 1103
    73. 73)
      • L.B. Hillah , A.-P.C. Maesano , F. de Rosa .
        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.
        . Int. J. Softw. Tools Technol. Transf. , 1 - 28
    74. 74)
      • J. Julliand , P.-A. Masson , R. Tissot .
        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.
        . Form. Asp. Comput. , 1 , 3 - 19
    75. 75)
      • S. Iftikhar , M.Z. Iqbal , M.U. Khan .
        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.
        . Proc. ACM/IEEE 18th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS) , 426 - 435
    76. 76)
      • S. Kandl , R. Kirner , P. Puschner .
        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.
        . Int. Work on Intelligent Solutions in Embedded Systems , 1 - 13
    77. 77)
      • N. Li , A. Escalona , T. Kamal .
        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.
        . Proc. IEEE Int. Conf. on Software Testing, Verification and Validation (ICST) , 393 - 400
    78. 78)
      • T. Kanstren , O.-P. Puolitaival , J. Perala .
        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.
        . Proc. Third Int. Conf. on Advances in System Testing and Validation Lifecycle , 6 - 13
    79. 79)
      • R. Marinescu , M. Saadatmand , A. Bucaioni .
        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.
        . Proc. 40th Euromicro Conf. Series on Software Engineering and Advanced Applications (SEAA) , 38 - 47
    80. 80)
      • A. Kervinen , M. Maunumaa , T. Pääkkönen .
        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.
        . Fifth Int. Work on Formal Approaches to Testing of Software , 16 - 31
    81. 81)
      • A. Marques , F. Ramalho , W.L. Andrade .
        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.
        . Proc. IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW) , 264 - 273
    82. 82)
      • B. Kruger , M. Linschulte .
        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.
        . Proc. Sixth Int. Conf. on Software Security and Reliability Companion , 207 - 216
    83. 83)
      • S. Mohalik , A.A. Gadkari , A. Yeolekar .
        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.
        . Softw. Test. Verif. Reliab. , 2 , 155 - 180
    84. 84)
      • J. Lasalle , F. Peureux , F. Fondement .
        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.
        . Innov. Syst. Softw. Eng. , 4 , 247 - 256
    85. 85)
      • L.L. Muniz , U.S.C. Netto , P.H.M. Maia .
        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.
        . Proc. 17th Int. Conf. on Enterprise Information Systems (ICEIS) , 404 - 411
    86. 86)
      • R. Löffler , M. Meyer , M. Gottschalk .
        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.
        . Work on Software Engineering in Health Care , 57 - 67
    87. 87)
      • A.C. Pinheiro , A. Simao , A.M. Ambrosio .
        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.
        . J. Aerosp. Technol. Manage. , 4 , 447 - 461
    88. 88)
      • M. Lochau , U. Goltz .
        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.
        . Electron. Notes Theor. Comput. Sci. , 3 , 37 - 52
    89. 89)
      • A.J. Maâlej , M. Hamza , M. Krichen .
        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.
        . Proc. Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Luxembourg , 144 - 153
    90. 90)
      • H. Samih , H. Le Guen , R. Bogusch .
        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.
        . Proc. 26th IFIP WG 6.1 Int. Conf. on Testing Software and Systems (ICTSS) , 80 - 96
    91. 91)
      • A.J. Maâlej , Z.B. Makhlouf , M. Krichen .
        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.
        . Proc. Second Int. Work on Quality Assurance for Service-Based Applications , 9 - 16
    92. 92)
      • C. Schaefer , H. Do .
        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.
        . Proc. IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW) , 284 - 293
    93. 93)
      • A.M. Memon .
        94. Memon, A.M.: ‘An event-flow model of GUI-based applications for testing: research articles’, Softw. Test. Verif. Reliab., 2007, 17, pp. 137157.
        . Softw. Test. Verif. Reliab. , 137 - 157
    94. 94)
      • C. Schulze , D. Ganesan , M. Lindvall .
        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.
        . Companion Proc. 36th Int. Conf. on Software Engineering (ICSE) , 135 - 144
    95. 95)
      • D.H. Nguyen , P. Strooper , J.G. Suess .
        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.
        . Fifth Workshop on Automation of Software Test , 24 - 30
    96. 96)
      • S. Sivanandan , C.B. Yogeesha .
        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.
        . Proc. 20th Annual Int. Conf. on Advanced Computing and Communications (ADCOM) , 22 - 25
    97. 97)
      • E.M. Olimpiew .
        98. Olimpiew, E.M.: ‘Model-based testing for software product lines’. PhD dissertation, George Mason University, Fairfax, VA, USA, 2008.
        .
    98. 98)
      • F. Souza , V.A. Santiago , N.L. Vijaykumar .
        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.
        . Softw. Qual. J. , 1 - 33
    99. 99)
      • A. Paradkar .
        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.
        . Inf. Softw. Technol. , 10 , 949 - 959
    100. 100)
      • A.P. Van Der Meer , R. Kherrazi , M. Hamilton .
        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.
        . Electronic Proc. in Theoretical Computer Science (EPTCS) , 1 - 13
    101. 101)
      • B. Polgar , I. Agoston , G. Juhasz .
        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.
        . Proc. 12th Symp. on Programming Languages and Software Tools , 66 - 77
    102. 102)
      • T. Yue , S. Ali , M. Zhang .
        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.
        . Proc. Int. Symp. on Software Testing and Analysis (ISSTA) , 397 - 408
    103. 103)
      • O.-P. Puolitaival . (2008)
        104. Puolitaival, O.-P.: ‘Adapting model-based testing to agile context’ (VTT Publications, 2008), no. 694, pp. 180.
        .
    104. 104)
      • P. Ammann , J. Offutt . (2008)
        105. Ammann, P., Offutt, J.: ‘Introduction to software testing’ (Cambridge University Press, New York, NY, USA, 2008, 1st edn.).
        .
    105. 105)
      • E. Cartaxo , F. Neto , P. Machado .
        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.
        . Proc. Int. Conf. on Systems, Man and Cybernetics , 1292 - 1297
    106. 106)
      • U. Farooq , C.P. Lam .
        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.
        . Int. Conf. on Software Testing, Verification, and Validation Workshops , 141 - 149
    107. 107)
      • T.D. Cook , D.T. Campbell . (1979)
        108. Cook, T.D., Campbell, D.T.: ‘Quasi-experimentation: design and analysis issues for field settings’ (Houghton Mifflin, 1979).
        .
    108. 108)
      • C. Wohlin , P. Runeson , M. Höst . (2012)
        109. Wohlin, C., Runeson, P., Höst, M., et al: ‘Experimentation in software engineering’ (Springer, 2012).
        .
    109. 109)
      • A.C. Dias Neto , R. Subramanyan , M. Vieira .
        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.
        . Proc. First ACM Int. Work on Empirical Assessment of Software Engineering Languages and Technologies , 31 - 36
    110. 110)
      • E.M. Rodrigues , L.D. Viccari , A.F. Zorzo .
        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.
        . Proc. 22th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE) , 483 - 488
    111. 111)
      • M.B. Silveira , E.M. Rodrigues , A.F. Zorzo .
        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.
        . Proc. 23rd Int. Conf. on Software Engineering and Knowledge Engineering (SEKE) , 258 - 263
    112. 112)
      • L.T. Costa , R. Czekster , F.M. Oliveira .
        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.
        . Proc. 24th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE) , 112 - 117
    113. 113)
      • M. Bernardino , E.M. Rodrigues , A.F. Zorzo .
        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.
        . Proc. 31st Annual ACM Symp. on Applied Computing (SAC) , 1660 - 1665
    114. 114)
      • M. Bernardino , A. Zorzo , E. Rodrigues .
        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.
        . Proc. Ninth Int. Conf. on Software Testing, Verification and Validation (ICST) , 157 - 167
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
This is a required field
Please enter a valid email address