Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

MBT in agile/lightweight processes: a process-centred review

MBT in agile/lightweight processes: a process-centred review

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

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.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 Title Publication 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.

This study presents a process-driven view on the use of model-based testing (MBT) in agile/lightweight processes. It argues that process-related aspects of MBT and agile processes should be explicitly considered in any practical MBT approach intended for use in agile development (AD). It demonstrates that an effective MBT approach for lightweight processes has to specify how MBT activities are integrated into a development process, how and when MBT artefacts are generated in relation to other development artefacts, and who would carry out MBT activities. Accordingly, a set of integration criteria is introduced for complete incorporation of MBT into agile/lightweight processes. The integration criteria demonstrate the specific characteristics of an appropriate MBT process for AD processes, and help identify the benefits and shortcomings of existing methods on the use of MBT in such processes. Evaluation of existing works based on the proposed integration criteria shows that they have all focused on minimal modelling, and only one method has considered the ‘evolution’ of test models and the ‘reuse’ of test cases, whereas ‘evolution’ and ‘reuse’ are essential characteristics of agile processes, which have to be addressed in any MBT approach intended for such processes.

References

    1. 1)
      • 45. Thüm, T., Apel, S., Kästner, C., et al: ‘A classification and survey of analysis strategies for software product lines’, ACM Comput. Surv., 2014, 47, (1), pp. 6:16:45.
    2. 2)
      • 15. Dalal, S.R., Jain, A., Karunanithi, N., et al: ‘Model-based testing in practice’. Proc. Int. Conf. Software Engineering ICSE ‘99, Los Angeles, CA, USA, 1999, pp. 285294.
    3. 3)
      • 39. Németh, G.Á., Pap, Z.: ‘The incremental maintenance of transition tour’, J. Fundam. Inf., 2014, 129, (3), pp. 279300.
    4. 4)
      • 42. Varshosaz, M., Beohar, H., Mousavi, M.R.: ‘Delta-oriented FSM-based testing’, in Butler, M., Conchon, S., Zaidi, F. (Eds.): ‘Formal methods and software engineering’ (Springer International Publishing, Cham, Switzerland, 2015) pp. 366381.
    5. 5)
      • 18. Rumpe, B.: ‘Model-based testing of object-oriented systems’ (Springer, Berlin, Heidelberg, 2003), pp. 380402.
    6. 6)
      • 17. Schwaber, K., Beedle, M.: ‘Agile software development with scrum’ (Prentice-Hall PTR, NJ, USA, 2001).
    7. 7)
      • 28. Vuori, M.: ‘Model-based testing in modern agile software development – how to integrate it into the development process?’ (ATAC, Tampere University of Technology, Finland, 2014).
    8. 8)
      • 32. TestNG’. Available at http://testng.org/doc/index.html/, accessed 29 September 2018.
    9. 9)
      • 5. Tan, L., Sokolsky, O., Lee, I.: ‘Specification-based testing with linear temporal logic’. Proc. Int. Conf. Information Reuse and Integration IRI ‘04, Las Vegas, NV, USA, 2004, pp. 493498.
    10. 10)
      • 37. EI-Fakih, K., Yevtushenko, N., Bochmann, G.: ‘FSM-based incremental conformance testing methods’, IEEE Trans. Softw. Eng., 2004, 30, (7), pp. 425436.
    11. 11)
      • 23. Utting, M., Legeard, B.: ‘Practical model-based testing: a tools approach’ (Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007).
    12. 12)
      • 41. Simão, A., Petrenko, A.: ‘Fault coverage-driven incremental test generation’, Comput. J., 2010, 53, (9), pp. 15081522.
    13. 13)
      • 44. Oster, S., Wübbeke, A., Engels, G., et al: ‘Model-based software product lines testing survey’, in Zander, J., Schieferdecker, I., Mosterman, P.J. (Eds.): ‘Model-based testing for embedded systems’ (CRC Press, Boca Raton, FL, USA, 2011), pp. 339381.
    14. 14)
      • 26. Löffler, R., Güldali, B., Geisen, S.: ‘Towards model-based acceptance testing for scrum’, Softwaretechnik-Trends, 2010, 30, (3), pp. 15.
    15. 15)
      • 31. Elallaoui, M., Nafil, K., Touahni, R.: ‘Introducing model-driven testing in scrum process using U2TP and AndroMDA’, Int. Rev. Comput. Softw. (I.RE.CO.S.), 2017, 12, (1), pp. 3039.
    16. 16)
      • 22. Sarma, M., Mall, R.: ‘System testing using UML models’. Proc. Asian Test Symp. ATS ‘07, Beijing, China, October 2007, pp. 155158.
    17. 17)
      • 3. Tretmans, J.: ‘Formal methods and testing’, in Hierons, R.M., Bowen, J.P., Harman, M. (Eds.): ‘Model based testing with labelled transition systems’ (Springer-Verlag, Berlin, Heidelberg, 2008), pp. 138.
    18. 18)
      • 7. Rumpe, B.: ‘Agile test-based modeling’. Proc. Int. Conf. Software Engineering Research & Practice SERP ‘06, Las Vegas, NV, USA, 2006.
    19. 19)
      • 30. Spichkova, M., Zamansky, A.: ‘A human-centred framework for sup-porting agile model-based testing’. Proc. Int. Conf. Advanced Information Systems Engineering CAiSE ‘16, Ljubljana, Slovenia, 2016.
    20. 20)
      • 29. Lity, S., Lochau, M., Schaefer, I., et al: ‘Delta-oriented model-based SPL regression testing’. Proc. Int. Work Product LinE Approaches in Software Engineering PLEASE ‘12, Zurich, Switzerland, 2012, pp. 5356.
    21. 21)
      • 10. Dias-Neto, A.C., Travassos, G.H.: ‘Model-based testing approaches selection for software projects’, Inf. Softw. Technol., 2009, 51, (11), pp. 14871504.
    22. 22)
      • 40. Pap, Z., Subramaniam, M., Kovács, G., et al: ‘A bounded incremental test generation algorithm for finite state machines’, in Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (Eds.): ‘Testing of Software and Communicating Systems. FATES 2007, TestCom 2007. Lecture Notes in Computer Science’ vol 4581, (Springer, Berlin, Heidelberg, 2007).
    23. 23)
      • 38. Jääskeläinen, A.: ‘Filtering test models to support incremental testing’. Proc. Testing – Practice and Research Techniques, Berlin, Heidelberg, 2010, pp. 7287.
    24. 24)
      • 24. Abrahamsson, P., Hanhineva, A., Hulkko, H., et al: ‘Mobile-D: an agile approach for mobile application development’. Proc. OOPSLA Companion to Annual ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages, and Applications, Vancouver, BC, Canada, 2004, pp. 174175.
    25. 25)
      • 9. Pretschner, A., Lötzbeyer, H., Philipps, J.: ‘Model based testing in incremental system development’, Syst. Softw., 2004, 70, (3), pp. 315329.
    26. 26)
      • 12. Utting, M., Pretschner, A., Legeard, B.: ‘A taxonomy of model-based testing approaches’, Softw. Test. Verif. Reliab., 2012, 22, (5), pp. 297312.
    27. 27)
      • 6. Puolitaival, O.: ‘Adapting model-based testing to agile context’. Master thesis, University of Oulu, 2008.
    28. 28)
      • 43. Engström, E., Runeson, P.: ‘Software product line testing – a systematic mapping study’, Inf. Softw. Technol., 2011, 53, (1), pp. 213.
    29. 29)
      • 34. Elallaoui, M., Nafil, K., Touahni, R.: ‘Automatic generation of TestNG tests cases from UML sequence diagrams in scrum process’. Proc. Int. Colloquium Information Science and Technology CiSt ‘16, Tangier, Morocco, 2016, pp. 6570.
    30. 30)
      • 19. Jalalinasab, D., Ramsin, R.: ‘Towards model-based testing patterns for enhancing agile methodologies’. Proc. Conf. New Trends in Software Methodologies, Tools and Techniques SoMeT ‘12, Genoa, Italy, 2012, pp. 5772.
    31. 31)
      • 4. Katara, M., Kervinen, A.: ‘Making model-based testing more agile: a use case driven approach’, in Bin, E., Ziv, A., Ur, S. (Eds.): ‘Hardware and Software, Verification and Testing. HVC 2006. Lecture Notes in Computer Science’ vol 4383, (Springer, Berlin, Heidelberg, 2006).
    32. 32)
      • 13. da Silva, A.R.: ‘Model-driven engineering’, Comput. Lang. Syst., 2015, 43, (C), pp. 139155.
    33. 33)
      • 36. The Object Management Group. UML Testing Profile (UTP), 2013.
    34. 34)
      • 8. Ussami, T.H., Martins, E., Montecchi, L.: ‘D-MBTDD: an approach for reusing test artefacts in evolving system’. Proc. Int. Conf. Dependable Systems and Networks Workshop, DSN-W ‘16, Toulouse, France, 2016, pp. 3946.
    35. 35)
      • 11. Dias-Neto, A.C., Travassos, G.H.: ‘Supporting the combined selection of model-based testing techniques’, IEEE Trans. Softw. Eng., 2014, 40, (10), pp. 10251041.
    36. 36)
      • 21. Kaplan, M., Klinger, T., Paradkar, A.M., et al: ‘Less is more: a minimalistic approach to UML model-based conformance test generation’. Proc. Int. Conf. Software Testing, Verification, and Validation ICST ‘08, Lillehammer, Norway, April 2008, pp. 8291.
    37. 37)
      • 20. Bouquet, F., Grandpierre, C., Legeard, B., et al: ‘A subset of precise UML for model-based testing’. Proc. Int. Workshop on Advances in Model-based Testing, A-MOST ‘07, London, UK, 2007, pp. 95104.
    38. 38)
      • 16. Hierons, R.M., Bogdanov, K., Bowen, J.P., et al: ‘Using formal specifications to support testing’, ACM Comput. Surv., 2009, 41, (2), pp. 9:19:76.
    39. 39)
      • 1. Ambler, S.: ‘Agile modeling: effective practices for eXtreme programming and the unified process’ (John Wiley & Sons, Inc., NY, USA, 2002).
    40. 40)
      • 27. Martin, R.C., Martin, M.D., Wilson-Welsh, P.: ‘FitNesse – acceptance testing framework’, 2008.
    41. 41)
      • 35. AndroMDA’. Available at http://www.andromda.org/, accessed 29 September 2018.
    42. 42)
      • 2. Faragó, D.: ‘Model-based testing in agile software development’. 30 Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), Testing Meets Agility, Munich, Germany, 2010.
    43. 43)
      • 25. Faragó, D.: ‘Improved underspecification for model-based testing in agile development’. Proc. Int. Work Formal Methods and Agile Methods FM + AM ‘10, Pisa, Italy, 2010, pp. 6378.
    44. 44)
      • 14. Pretschner, A., Philipps, J.: ‘Methodological issues in model-based testing’ (Springer, Berlin, Heidelberg, 2005), pp. 281291.
    45. 45)
      • 33. Elallaoui, M., Nafil, K., Touahni, R.: ‘Automatic generation of UML sequence diagrams from user stories in scrum process’. Proc. Int. Conf. Intelligent Systems: Theories and Applications SITA ‘15, Rabat, Morocco, 2015, pp. 16.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2018.5164
Loading

Related content

content/journals/10.1049/iet-sen.2018.5164
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address