Model-based online testing --- A case study on SKOV Feeding System

Student thesis: Master thesis (including HD thesis)

  • Weiwei Zheng
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.
LanguageEnglish
Publication dateJun 2007
ID: 61070443