Embedded Systems require combination of Software Electrical and Mechanical Engineering. This leads to increased complexity of Embedded Systems with shorter production cycle. These evolutions pose new challenges to traditional embedded system testing approaches, because besides time constraints, embedded system products are expected to meet quality constraints prior to their deployment in field. The Cost and Time of Testing Embedded Systems consumes a considerable portion of entire development cycle. With Increased Complexity of Embedded Software it becomes imperative that our Functional Testing is effective at detecting issues in the system. With the above requirements we propose to use Model Based Testing (MBT) for the functional testing of Embedded Systems during the manufacturing process in the production line. The comprehensive and systematic approach of MBT facilitates automated testing with reduced test time and cost along with improved quality of the product.

Embedded system, Model Based Testing, Functional Testing, System Testing

[1] OMG: http://www.omg.org [28/04/16].
[2] Mark Utting and Bruno Legeard, “Practical Model-Based Testing: A Tools Approach". Elsevier, 2006.
[3] Muhammad Shafique, Yvan Labiche, “A Systematic Review of Model Based Testing Tool
[4] Support,” International Journal on Software Tools for Technology Transfer February 2015, Volume 17, Issue 1, pp 59-76.
[5] Yasir Dawood Salman, Nor Laily Hashim, “An Improved method of obtaining basic path testing for test case based on UML State Chart,” International Symposium on Research in Innovation and Sustainability 2014 (ISoRIS ’14)
[6] B. Beizer, “Software Testing Techniques”, Second Edition, 1990.
[7] C. Bourhfir, R. Dssouli, E. Aboulhamid, N. Rico, “Automatic executable test case generation for extended finite state machine protocols,” Testing of Communicating Systems Part of the series IFIP — The International Federation for Information Processing pp 75-90.
[8] Fuqing Wang, Shuai Wang, Yindong Ji, “An Automatic Generation Method of Executable Test Case Using Model Driven Architecture ,” The 4th International Conference on Innovative Computing, Information and Control (ICICIC), 2009.
[9] Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard and Fabien Peureux, “Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports,” The Fourth International Conference on Advances in System Testing and Validation Lifecycle (VALID) 2012.
[10] Jonathan Lasalle, Fabien Peureux, Frédéric Fondement, “Development of an automated MBT toolchain from UML/SysML models,” SI : FM & UML Innovations in Systems and Software Engineering December 2011, Volume 7, Issue 4, pp 247-256
[11] Lionel Briand, Yvan Labiche, “A UML-Based Approach to System Testing,” UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools Volume 2185 of the series Lecture Notes in Computer Science pp 194-208.
[12] L. C. Briand; M. Di Penta; Y. Labiche, “Assessing and improving state-based class testing: a series of experiments,” IEEE Transactions on Software Engineering 2004, Volume: 30, Issue: 11 Pages: 770 - 783.
[13] Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae, “Interaction-based Behavior Modeling of Embedded Software using UML 2.0,” Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).
[14] Martin Grant, Lavagno Luciano, Jean Louis-Guerin, “Embedded UML: a merger of real-time UML and co-design,” Springer 2003.
[15] Helmerich, A., Koch, N. and Mandel, L., Braun, P., Dornbusch, P., Gruler, A., Keil, P., Leisibach, R., Romberg, J., Schätz, B., Wild, T. Wimmel, G.: “Study of Worldwide Trends and R&D Programmes in Embedded Systems in View of Maximising the Impact of a Technology Platform in the Area,” Final Report for the European Commission, Brussels Belgium, 2005.
[16] Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj, “A Survey of Model-Driven Testing Techniques,” Ninth International Conference on Quality Software 2009, Pages: 167 - 172.