Model-based online testing --- A case study on SKOV Feeding System
Translated title
Author
Term
10. Term
Education
Publication year
2007
Submitted on
2012-02-14
Abstract
The feeding system is the product of the SKOV company. It will be used in the livestock buildings. It needs to be demonstrated, that it can be implemented correctly in terms of its system specification. During the project period, we model its system specification in UPPAAL. Provided the emulate feeding system(Dub99) as the implementation under test(IUT), we perform the model-based testing manually using the feeding system models. It is demonstrated that, provided the IUT and the adapter, the model can be applied on the UPPAAL TRON engine for model-based black-box online testing.
Documents