Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report

Vahid Garousi
Queen’s University Belfast, UK
Testinium A.Ş., Türkiye
ProSys MMC, Azerbaijan
v.garousi@qub.ac.uk
vahid.garousi@testinium.com

Alper Buğra Keleş, Yunus Balaman,
Alper Mermer
Testinium A.Ş., Türkiye
{alper.keles, yunus.balaman, alper.mermer}@testinium.com

Zeynep Özdemir Güler
ING Türkiye, Türkiye
Zeynep.OzdemirGuler@ing.com.tr

Presented in: The 20th Workshop on Advances in Model-Based Testing (A-MOST 2024), co-located with the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024),
May 27, 2024
Toronto, Canada

Transcript

1. 1 of 11 Vahid Garousi Presented in: The 20th Workshop on Advances in Model-Based Testing (A-MOST 2024), co-located with the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), May 27, 2024 Toronto, Canada Previously in: Testinium
2. 2 of 11 Vahid Garousi Model-based testing training, Istanbul, Turkiye, 2019 • testinium.com • • • • • • Starts here… Gorschek et al., "A Model for Technology Transfer in Practice“, IEEE Software, vol. 23, pp. 88-95, 2006
3. 3 of 11 Vahid Garousi • • • Valid login • From among 100+ MBT tools, we conducted a systematic tool- selection process and chose: the open-source popular MBT tool GraphWalker (graphwalker.github.io) • System Under Test (SUT): The company’s flagship product testinium.io): a comprehensive test-automation management tool (design, develop, run, report test-scripts for Selenium, Appium, Gauge BDD, …) • Partial MBT model 
4. 4 of 11 Vahid Garousi • • • • • • • • • • •
5. 5 of 11 Vahid Garousi •
6. 6 of 11 Vahid Garousi • • testinium.io • • • • • • • • … 18 models in total, connected by “shared’ nodes (orange color)
7. 7 of 11 Vahid Garousi Zoomed next… SUT MBT test suite MBTCover MBTCover
8. 8 of 11 Vahid Garousi
9. 9 of 11 Vahid Garousi • • • • • • • • •
10. 10 of 11 Vahid Garousi • • • www.github.com/vgarousi/MBTCover • • • www.github.com/vgarousi/MBTofTestinium • www.github.com/vgarousi/MBTofCOVIDapps • • www.bit.ly/MBTVideosTestinium • youtu.be/jTw8u4JD9JE?si
11. 11 of 11 Vahid Garousi Calgary Baku Ankara Belfast Cities that this work has some forms of roots in … Ottawa İstanbul