This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models
Technical Paper
2015-01-2553
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Model-based development is a well-established and widely used technique to design and implement systems by specifying the overall architecture of a system and its behavior directly in modeling tools such as PTC Integrity Modeler, Enterprise Architect, Modelio, or Papyrus/Eclipse. The next step forward in this process is using the same framework also for the design and specification of the tests for these systems. Verified Systems International GmbH offers with RT-Tester MBT a novel approach to model-based embedded systems testing, which we are going to present in this paper.
Model-based testing (MBT) offers automated generation of test cases, test data and test procedures for model-in-the-loop, hardware-in-the-loop and system testing from UML/SysML models describing the intended system behavior [17,20]. The presented approach offers a number of different testing strategies which can be used to tailor the generated test suites, e.g., according to the targeted criticality level for safety-critical systems. Moreover, it provides full traceability of requirements and test data for the entire testing workflow from the test model to the test execution reports. This feature is of special relevance for safety-critical systems from the avionics, automotive or railway domains. These application domains additionally require that a tool qualification is performed for automated testing tools.
Recommended Content
Authors
Topic
Citation
Dahlweid, M., Brauer, J., and Peleska, J., "Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models," SAE Technical Paper 2015-01-2553, 2015, https://doi.org/10.4271/2015-01-2553.Also In
References
- OMG OMG Systems Modeling Language Version 1.3 (OMG SysML) June 2012 http://www.omg.org/spec/SysML/1.3/
- PTC PTC Integrity Modeler http://www.ptc.com/application-lifecycle-management/integrity/modeler
- SPARX Systems Enterprise Architect http://www.sparxsystems.com/products/ea/
- Modelio Open Source Community Modelio https://www.modelio.org/
- The Eclipse Foundation Papyrus https://www.eclipse.org/papyrus/
- OMG XML Metadata Interchange (XMI) April 2014 http://www.omg.org/spec/XMI/2.4.2
- Biere , A. , Heljanko , K. , Junttila , T. , Latvala , T. , Schuppan , V. Linear encodings of bounded LTL model checking Logical Methods in Computer Science 2 5 Nov 2006 http://arxiv.org/abs/cs/0611029
- Amir Pnueli The temporal logic of programs Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS) 1977 46 57 10.1109/SFCS.1977.32
- RTCA O-178C Software Considerations in Airborne Systems and Equipment Certification http://www.rtca.org
- Lapschies , F. SONOLAR homepage Jun 2014 http://www.informatik.uni-bremen.de/agbs/florian/sonolar/
- Peleska , J. , Vorobev , E. , Lapschies , F. Automated test case generation with SMT solving and abstract interpretation Bobaru , M. , Havelund , K. , Holzmann , G.J. , Joshi , R. Nasa Formal Methods, Third International Symposium, NFM 2011. LNCS 6617 298 312 Springer Pasadena, CA, USA April 2011
- Verified Systems International GmbH RT-Tester 6.0 User Manual February 2015
- Peleska , J. , Huang , W. , Schulze , U. RT-Tester Tool Qualification Comprehensive Modelling for Advanced Systems of Systems, Test Automation Support, Technical Note, Number: D34.1, Version: 1.0 January 2013 161 194 http://www.compass-research.eu/Project/Deliverables/D341.pdf
- ETSI ETSI ES 201 873-1, Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 June 2014 http://www.ttcn-3.org/index.php/downloads/standards
- Peleska , J. , Schulze , U. Embedded Systems Testing Benchmarks Site March 2015 http://www.mbt-benchmarks.org
- Peleska , J. , Honisch , A. , Lapschies , F. , Löding , H. et al. A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain Burkhart Wolff and Fatiha Zaidi Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011 Paris, France November 2011 Springer 146 161 2011
- Weißleder , S. , Schlingloff , H. Automatic Model-.Based Test Generation from UML State Machines Zander , J. , Schieferdecker , I. , Mosterman , P.J. Model-Based Testing for Embedded Systems September 2011 CRC Press 77 109
- Efkemann , C. A Framework for Model-based Testing of Integrated Modular Avionics (PhD thesis) University of Bremen December 2014
- Löding , H. & Peleska , J. Timed Moore Automata: Test Data Generation and Model Checking International Conference on Software Testing, Verication, and Validation 2010 Paris 449 458
- Peleska , J. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges Petrenko A. , Schlinglo H. Eighth Workshop on Model-Based Testing (MBT 2013), EPTCS 111 2013 3 28