Model-based online testing --- A case study on SKOV Feeding System
Student thesis: Master thesis (including HD thesis)
- Weiwei Zheng
10. Term, Master Software Systems Engineering SSE
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.
Language | English |
---|---|
Publication date | Jun 2007 |