Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Eclipse Titan » Model Based Testing (MBT) and Eclipse Titan
Model Based Testing (MBT) and Eclipse Titan [message #1785386] Fri, 13 April 2018 11:14
Elemer Lelik is currently offline Elemer LelikFriend
Messages: 807
Registered: January 2015
Senior Member
Dear all,


Model-based design and in general model-based anything comes with the promise that will make complex systems more manageable and will offer a more intuitive approach to system design; model-based testing tries to apply the same principles as model-based design does but to testing.
However complexity abides by the laws of thermodynamics, so in addition to an attractive, easily comprehensible and possibly visual model
one will likely have to add a layer, usually termed test harness, to accommodate this complexity.


A good summary of ModelBasedTesting and its concepts and the role Titan can play in an MBT workflow can be found in the below
presentation:

https://www.conformiq.com/wp-content/uploads/2015/02/MBT-Ericsson-Presentation-5-10.pdf

What I intend to do next is to briefly explore a number of use cases where Titan has been applied successfully as part of an MBT workflow.

The first such project presented is ARMOUR 2020,

where a model is being built for IoT security testing, then TTCN-3 code is generated an executed by Titan from this model.

see details here:

https://www.armour-project.eu/wp-content/uploads/2016/08/D22-Test-generation-strategies-for-large-scale-IoT-security-testing-v1.pdf
https://www.armour-project.eu/wp-content/uploads/2017/04/ARMOUR_Deliverable_D5.4_v2.0.pdf
https://www.armour-project.eu/wp-content/uploads/2018/01/white_paper_ARMOUR-IoT-Certification.pdf

and also a conference presentation on the subject:

https://www.youtube.com/watch?v=mUkIDLWvylc

The modeling tool here used is the commercial CertifyIt Publisher:

http://www.smartesting.com/en/certifyit/



The French company CEA LIST is developing the Papyrus gateway in order to support formal analysis of UML/SysML models, among others for model-based testing.
Papyrus can supply the input model of a symbolic execution platform called Diversity , also developed and open-source by CEA LIST , which can then generate TTCN-3 code to be executed by Titan.
See details in:
https://projects.eclipse.org/proposals/eclipse-formal-modeling-project

This means that by combining these elements we have and end-to-end industrial strength open source MBT workflow at our disposal.


Finally, a group of researchers in the Swedish company Sigma Technology tried to follow a new path using Petri nets instead of a conventional
modeling approach, where again Titan is being used as an execution engine:


https://sigmatechnology.se/news/green-sweet-lemon-premium-service-in-software-testing-by-sigma-technology/
http://greensweetlemon.com/

Sigma is offering this solution as a service to be developed and tailored according to customer requests.


These use cases may serve as orientation to whomever is interested in the subject.



Best regards
Elemer

Previous Topic:SIPmsg and SIP_parser
Next Topic:TTCN-3 Execution Error
Goto Forum:
  


Current Time: Mon Sep 24 12:24:11 GMT 2018

Powered by FUDForum. Page generated in 0.03071 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top