Integration of Souce Code Analyser into the Company Development System

Akshay Jadhav

Master's thesis

Integrace Polyspace s Jenkins pro automatizované statické testování.

Abstract:

Práce byla zahájena stanovením účelu integrace Jenkins a Polyspace pro statické testování. Další část práce popisuje zapojené týmy a rozsah integrace. Jako další je popsán systém Jenkins. Je ověřeno, že je server Jenkins funkční. Pokud ne, je nejprve nutné konfigurovat server Jenkins. Jen nutné nainstalovat všechny potřebné zásuvné moduly Jenkins, včetně "Polyspace Plugin" a všech zásuvných modulů potřebných pro vlastní integrace. Dále je prozkoumána specifikace požadavků na data (DRS) pro projekt a potřebné standardy. Před vytvořením souborů DRS pro projekt stanovíme pokyny a omezení kódování. Je provedena konfigurace úlohy pro Jenkins, vytvořena úloha Jenkins pro provádění statické analýzy v Polyspace. Proběhne nastavení úlohy tak, aby byla provedena analýza Polyspace pokaždé, když je v úložišti uvolněn nový kód. Dále je nastavena Jenkins úloha tak, aby se po spuštění automaticky provedla analýza Polyspace. Je nutno rozhodnout, jak často bude analýza probíhat (např. denně, týdně nebo po každém potvrzení). Je nastaven Jenkins, aby shromažďoval a zobrazoval výsledky analýzy Polyspace. Jsou nakonfigurovány výstrahy, které budou informovat vývojový tým, když se aktualizují zjištění analýzy. Směrnice pro bezpečnost a shodu zajišťují, že analýza Polyspace vyhovuje specifickým průmyslovým požadavkům na bezpečnost a shodu (jako jsou DO-178C, ISO 26262 a MISRA). Nakonec probíhá školení uživatelů, které učí vývojový a testovací tým porozumět a používat výsledky analýzy Polyspace.

Abstract:

We construct by establishing the purpose of integrating Jenkins and Polyspace for static testing. The next section describes the teams involved and the extent of the integration. Jenkins will be integrated next. Verify that a Jenkins server is opera-tional. If not previously, set up a Jenkins server. Install any necessary Jenkins plugins, including the "Polyspace Plugin" and any plugins needed for custom inte-grations. Next, we examine the Data Requirements Specification (DRS) for the project and the necessary standards. Establish coding guidelines and constraints before creating DRS files for the project. Jenkins Configuring a job, Create a Jen-kins job to do static analysis in Polyspace. Set up the task to perform the Poly-space analysis each time a new code release is made to the repository. Next, set up the Jenkins job so that, upon trigger, Polyspace analysis is executed automati-cally. Decide how frequently analysis will occur (e.g., daily, weekly, or after each commit). Set up Jenkins to collect and display the Polyspace analysis findings. Con-figure alerts to inform the development team when the analysis's findings are up-dated. Guidelines for Safety and Compliance make sure that the Polyspace analy-sis complies with industry-specific safety and compliance requirements (such as DO-178C, ISO 26262, and MISRA). Lastly, we achieve User Training, which teaches the development and testing team that to understand and use the Polyspace anal-ysis results.

Keywords

Eclipse, Jenkins, MatLab, Statická analýza kódu (Polyspace), Notepad++, C, C++

Keywords

C, C++, Eclipse, Notepad++, Matlab, Jenkins, Polyspace

Language used: English

Date on which the thesis was submitted / produced: 23. 12. 2023

Thesis defence

• Supervisor: prof. Ing. Radim Farana, CSc. FEng.
• Reader: Jan Tichavský, externi

Mendel University in Brno

Faculty of Business and Economics

Master programme / field / specializace:
System Engineering and Informatics / Economic Informatics / Advanced Data Analysis