| Model Based Testing (MBT) and Eclipse Titan [message #1785386] |
Fri, 13 April 2018 11:14 |
|
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
|
|
|
Powered by
FUDForum. Page generated in 0.23717 seconds
] 
Search
Help
Register
Login
Home
