University of Twente Student Theses
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.
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