Testování softwaru pro vestavné aplikace v autonomních vozidlech

Abstract

Diplomová práce Testování softwaru pro vestavné aplikace v autonomních vozidlech se zabývá popisem metod pro testování softwaru v automobilovém průmyslu a představuje možnosti, jak v budoucnu přistoupit k verifikaci a validaci softwaru v autonomních vozidel. Práce prezentuje způsob, jakým testovat software pro autonomní vozidla za použití robotických simulací. Úvodní část práce je teoretickým úvodem do problematiky testování softwaru se zaměřením na automobilový průmysl. V druhé části práce je pak představen Robotický operační systém (ROS) a simulátor Gazebo a jejich využití pro testování autonomního chování auta v měřítku 1:10. Za pomoci tohoto softwaru jsou následně vytvořeny simulační scénáře pro testování chování auta v situacích, které mohou nastat během závodu F1/10. Software v autě je otestován za pomoci vytvořených simulačních scénářů. Poslední část práce se věnuje systému Jenkins a automatizaci rutinních úkolů, jako je například kompilace balíčků a spouštění testů. Zdrojový kód je staticky analyzován pro zajištění kvality kódu a včasnou detekci chyb.

Diploma thesis Software testing for embedded applications in autonomous vehicles describes methods for software testing in the automotive industry and presents possible ways how to verify and validate software for autonomous vehicles. Robotics simulation is used to develop and test software for autonomous vehicles. The opening part of this thesis is an introduction to the topic of software testing with a focus on automotive industry. The second part of this thesis introduces Robot operating system (ROS) and Gazebo simulator and how this software is used to test the autonomous behavior of the developed 1/10th scale car. Simulation test scenarios are developed to evaluate car behavior in situations that can occur in the F1/10 race. Car software correct operation is tested using these scenarios. Last part of the thesis describes the use of Jenkins automation server to automate routine tasks such as package building and test running. The quality of project source code is tested and verified by static analysis.