Model-based online testing --- A case study on SKOV Feeding System
Author
Zheng, Weiwei
Term
10. Term
Education
Publication year
2007
Abstract
SKOVs fodringssystem til husdyrbygninger skal kunne implementeres korrekt i forhold til den definerede systemspecifikation. I projektet modellerer vi denne specifikation i UPPAAL (et værktøj til at modellere og teste systemadfærd). Med en emuleret fodringssystem-implementation (Dub99) som implementation under test (IUT) udfører vi manuel, modelbaseret test baseret på modellerne. Vi viser desuden, at modellen – sammen med en adapter, der forbinder IUT og testværktøj – kan køres på UPPAAL TRON-motoren til modelbaseret sort-boks online-testning. Sort-boks betyder, at testen fokuserer på den observerbare adfærd uden at se ind i den interne implementering, og online betyder, at testen sker på det kørende system. Arbejdet demonstrerer en praktisk fremgangsmåde fra specifikation til test af den kørende løsning.
SKOV’s feeding system is intended for use in livestock buildings and must be shown to meet its system specification. In this project, we model the specification in UPPAAL (a tool for modeling and testing system behavior). Using an emulated feeding system (Dub99) as the implementation under test (IUT), we carry out manual, model-based testing driven by the models. We also demonstrate that, with an adapter connecting the IUT to the test tool, the same model can run on the UPPAAL TRON engine for model-based, black-box, online testing. Black-box refers to testing based on observable behavior without inspecting the internal implementation, and online means testing the running system. This work demonstrates a practical path from specification to testing of the running system.
[This abstract was generated with the help of AI]
Documents