Optimized MBT-Test Case Generation for Embedded System Controller Using LabVIEW and Sequence Graphs

System testing using model-based approach is gaining momentous acceptance worldwide not only in academics but also in industrial context. Rapid technological advancements in the software industries drive the software engineers to produce highly expedited applications in minimum time without spending more efforts on testing and maintenance activities. The design artifacts are modeled using LabVIEW software and validated to produce optimized test paths. A rising inclination is observed in the Model-Based Testing (MBT) of software systems embedded on various devices. This article primarily focusses upon the model-based testing of embedded application of elevator controller using state machines and transforming these to graphical notations to generate test paths. An algorithm is designed to traverse all nodes and provide full coverage of system. A taxonomy of test case generation is described, which can serve as a fundamental basis to develop strategies to derive potential testing techniques.

[1]  Fabrice Bouquet,et al.  Recent Advances in Model-Based Testing , 2016, Adv. Comput..

[2]  Padma Iyenghar,et al.  Infrastructure support to convey test data from state diagrams for executing MBT in embedded systems , 2013, Eurocon 2013.

[3]  Sebastian Siegl,et al.  Improving model-based verification of embedded systems by analyzing component dependences , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[4]  Jan Tretmans,et al.  Model-Based Testing of Industrial Transformational Systems , 2011, ICTSS.

[5]  Reinhard German,et al.  Dependency-Based Test Case Selection and Prioritization in Embedded Systems , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[6]  Stephan Weißleder,et al.  Quality of Automatically Generated Test Cases based on OCL Expressions , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[7]  Mika Katara,et al.  Experiences of System-Level Model-Based GUI Testing of an Android Application , 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

[8]  Tomi Raty,et al.  Model-based testing of embedded systems in hardware in the loop environment , 2012 .

[9]  Ana C. R. Paiva,et al.  Test Coverage Analysis of UML State Machines , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[10]  M. Aggarwal,et al.  Test Case Generation from UML State Machine Diagram: A Survey , 2012, 2012 Third International Conference on Computer and Communication Technology.

[11]  Justyna Zander-Nowicka,et al.  Model-based Testing of Real-Time Embedded Systems in the Automotive Domain , 2009 .

[12]  Shasha Liu.  Evaluation of Model-Based Testing for Embedded Systems based on the Example of the Safety-Critical Vehicle Functions , 2012 .

[13]  Rance Cleaveland,et al.  Assessing model-based testing: an empirical study conducted in industry , 2014, ICSE Companion.

[14]  Stefan Kaiser,et al.  Multi-Level Test Models for Embedded Systems , 2010, Software Engineering.

[15]  Bruno Legeard,et al.  Model-based Testing: Where Does It Stand? , 2014, ACM Queue.

[16]  R. Mall,et al.  Automatic Test Case Generation from UML Sequence Diagram , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

[17]  Stephan Weißleder,et al.  An Evaluation of Model-Based Testing in Embedded Applications , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[18]  Paulo Henrique M. Maia,et al.  TCG - A Model-based Testing Tool for Functional and Statistical Testing , 2015, ICEIS.

[19]  Jing Guan,et al.  A model-based testing technique for component-based real-time embedded systems , 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[20]  M. Pioro.  Fair Routing and Related Optimization Problems , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

[21]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .