Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018

kvalita software, spolehlivost, bezpečnost, výkonnost

Projekt Zlepšování kvality software řešený na FIT VUT pro společnost Red Hat Czech, s.r.o., zahrnuje výzkumné a vývojové práce v několika vzájemně komplementárních oblastech týkajících se různých aspektů kvality software. Tato zpráva stručně diskutuje práce, které v projektu proběhly v roce 2018. Byly přitom zahrnuty různé aspekty zajištění spolehlivosti, výkonnosti i bezpečnosti software a také další podpora pro efektivní vývoj kvalitního software. Mezi nejvýznamnější aktivity v roce 2018 patří práce v oblasti statické a dynamické analýzy výkonnosti, automatické porovnávání různých verzí jádra a rozvoj statické analýzy v prostředí 2LS.