Külli Sarna - PhD defense on Nov 15, 2 PM in ICT-638
PhD student of Dept. of Software Science Külli Sarna defends his/her PhD "Aspect-Oriented Model-Based Testing" on Thursday, Nov 15, 2018 at 2 PM in ICT-638 (Akadeemia tee 15A).
>Supervisor Professor Jüri Vain (TTÜ).
Opponents Associate Professor Artem Boyarchuk ( National Aerospace University, Ukraine) and Adjunct Professor Juha Plosila ( University of Turku, Finland).
PhD thesis in TTÜ digital library.
This thesis presents a novel approach to aspect-oriented modelling and testing to address the needs of MBT. In particular, the approach aims at providing assistance for incremental test model creation as well as for abstract test purpose specification by referring to attributes of aspects using symbolic expressions. The proposed AO modelling principles and test development steps are implemented based on Uppaal Timed Automata  which allow specifying not only functional but also timing features, data dependencies and synchronization conditions of the SUT. The thesis validates the AO test development approach on a practical case study, namely - “Home Rehabilitation System” (HRS) and the evidence of the advantages is provided by all steps of AO test development.