Delta-Oriented FSM-Based Testing

详细信息    查看全文

• 关键词：Model ; based testing ; FSM ; based testing ; HSI method ; Software product lines ; Delta ; oriented programming ; DeltaJava
• 刊名：Lecture Notes in Computer Science
• 出版年：2015
• 出版时间：2015
• 年：2015
• 卷：9407
• 期：1
• 页码：366-381
• 全文大小：961 KB
• 参考文献：1.Binder, R.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading (2000)
  2. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005) MATH
  3.El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE TSE 30(7), 425–436 (2004)
  4.Engström, E., Runeson, P.: Software product line testing - a systematic mapping study. Inf. Softw. Technol. 53(1), 2–13 (2011)CrossRef
  5.Hong, H.S., Kwon, Y.R., Cha, S.D.: Testing of object-oriented programs based on finite state machines. In: Proceedings of APSEC 1995, pp. 234–241. IEEE CS (1995)
  6. Jääskeläinen, A.: Filtering test models to support incremental testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 72–87. Springer, Heidelberg (2010) CrossRef
  7.Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8), 1090–1123 (1996)CrossRef
  8. Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 67–82. Springer, Heidelberg (2012) CrossRef
  9.Németh, G.A., Pap, Z.: The incremental maintenance of transition tour. Fund. Inf. 129, 279–300 (2014)MATH
  10.Oster, S., Wübbeke, A., Engels, G., Schürr, A.: Model-based software product lines testing survey. In: Model-based Testing for Embedded Systems, pp. 339–381. CRC Press (2011)
  11. Pap, Z., Subramaniam, M., Kovács, G., Németh, G.A.: A bounded incremental test generation algorithm for finite state machines. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 244–259. Springer, Heidelberg (2007) CrossRef
  12. Rumpe, B.: Model-based testing of object-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 380–402. Springer, Heidelberg (2003) CrossRef
  13.Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285–297 (1988)CrossRef
  14. Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010) CrossRef
  15.Simão, A., Petrenko, A.: Fault coverage-driven incremental test generation. Comput. J. 53, 1508–1522 (2010)CrossRef
  16. Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D., Agha, G.: TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs. In: Giese, H., Rosu, G. (eds.) FORTE 2012 and FMOODS 2012. LNCS, vol. 7273, pp. 219–234. Springer, Heidelberg (2012) CrossRef
  17.Thüm, T., Apel, S., Kästner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. Technical report FIN-004-2012, School of Computer Science, University of Magdeburg (2012)
  18. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2010)
  19.Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 112–122. ACM (2002)
  
• 作者单位：Mahsa Varshosaz (16)
  Harsh Beohar (16)
  Mohammad Reza Mousavi (16)
  
  16. Center for Research on Embedded Systems, Halmstad University, Halmstad, Sweden
  
• 丛书名：Formal Methods and Software Engineering
• ISBN：978-3-319-25423-4
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349

文摘

We use the concept of delta-oriented programming to organize FSM-based test models in an incremental structure. We then exploit incremental FSM-based testing to make efficient use of this high-level structure in generating test cases. We show how our approach can lead to more efficient test-case generation, both by analyzing the complexity of the test-case generation algorithm and by applying the technique to a case study.