Integration Testing by Model-Based Approach - Case Study

Cílem této diplomové práce je ověřit možnosti integračního testování metodou Model-Based Testing (MBT). Práce se po úvodním seznámením s problematikou HIL (Hardware-in-the-Loop) testování zaměřuje na návrh modelů popisujících komfortní subsystémy vozidla a validaci jejich věrohodnosti. Následně je provedeno několik sad experimentů a jsou diskutovány jejich výsledky a vhodnost MBT přístupu k integračnímu testování. Závěr je zaměřen na zhodnocení přístupu MBT testování a je navrhnuto několik úprav stávajícího programu Taster pro zlepšení kvality integračního testování metodou MBT.The main goal of this diploma thesis is to evaluate integration testing performed by Model-Based Testing (MBT) approach. The thesis deals with the problematics of HIL (Hardware-in-the-Loop) testing. It focuses on designing models which describe comfort systems of the car and validation of their credibility. Consequently, it is done a few sets of experiments. The results and appropriateness of the MBT approach to the integration testing are discussed. In conclusion, it is evaluated overall approach MBT testing and is proposed a few changes of the Taster to the improved quality of the integration testing