Test Sequence Generation From Formally Verified SysML Models

est generation has been acknowledged as a cost-prone activity reducing productivity and time to market. Theexpected benefits of Model Based Systems Engineering includeautomated generation of test sequences from models. The paperproposes verification solutions for the System Modeling Lan-guage (SysML). In particular, the paper shows how to linktest generation to formal verification. The proposed algorithmsare implemented by the free software TTool. Two case studiessupport discussion on conformance and interoperability testing,respectively.

[1]  Jan Peleska.  Model-based avionic systems testing for the airbus family , 2018, 2018 IEEE 23rd European Test Symposium (ETS).

[2]  Khalil Drira.  The Refusal Graph: a Tradeoff between Verification and Test , 1993, Protocol Test Systems.

[3]  Azad M. Madni,et al.  Model‐based systems engineering: Motivation, current status, and research opportunities , 2018, Syst. Eng..

[4]  Jean-Louis Lanet,et al.  EMV Card: Generation of Test Cases based on SysML Models , 2013 .

[5]  Fabrice Bouquet,et al.  A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing , 2015, ICFEM.

[6]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[7]  Fabien Peureux,et al.  Development of an automated MBT toolchain from UML/SysML models , 2011, Innovations in Systems and Software Engineering.

[8]  Jamal Bentahar,et al.  Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey , 2017, Adv. Comput..

[9]  Fredrik Abbors,et al.  MATERA - An Integrated Framework for Model-Based Testing , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[10]  Jan Peleska,et al.  Model-Based Testing Against Complex SysML Models , 2015, SyDe Summer School.

[11]  Pierre de Saqui-Sannes,et al.  Verification by abstraction as a preamble for interoperability test suite generation , 1994, PSTV.

[12]  Lionel C. Briand,et al.  Enabling Model Testing of Cyber-Physical Systems , 2018, MoDELS.

[13]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[14]  Marian Gheorghe,et al.  Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering , 2017, 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

[15]  D. Richards.  Testing Solutions through SysML / UML , 2009 .

[16]  Alain Le Guennec,et al.  Benefits of Model Based System Engineering for Avionics Systems , 2016 .

[17]  Jean-Yves Choley,et al.  Flight Control System Modeling with SysML to Support Validation, Qualification and Certification , 2016 .

[18]  Weikai Miao,et al.  An Automated Test Case Generation Approach based on Activity Diagrams of SysML , 2017 .

[19]  Rolf Drechsler,et al.  Formal Modeling and Verification of Cyber-Physical Systems , 2015, Springer Fachmedien Wiesbaden.