University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Extending Model-Based Testing for Agile Development : Managing Boundaries of Incomplete Systems

Busui, Bogdan (2025) Extending Model-Based Testing for Agile Development : Managing Boundaries of Incomplete Systems.

[img] PDF
475kB
Abstract:Model-Based Testing (MBT) is a powerful approach to software testing that enables systematic test generation from formal models of system behaviour. While traditionally applied to fully implemented systems, its integration into Agile and iterative development workflows—where features may be only partially complete—remains a challenge. This paper investigates how MBT can be adapted for use in systems under active development, where certain components are not yet available. The focus is on modelling such systems using Labelled Transition Systems (LTS), identifying and formalising model boundaries at the interface between implemented and unimplemented features, and adapting the model creation to preserve the LTS structure and prevent invalid or unexecutable test cases. A small-scale prototype—a digital printer with an evolving 3D printing feature—is used to demonstrate the feasibility of this approach. The study proposes practical modelling strategies that incorporate bounds between modelled and unmodelled behaviour, and feature flags, allowing early testing and incremental test model refinement. The findings support the viability of MBT in dynamic, partially completed systems, offering a pathway to earlier fault detection and improved alignment with modern software engineering practices.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:50 technical science in general, 54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/107571
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page