Detail publikace

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

VOJNAR, T.

Originální název

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

Anglický název

Summary Research Report of the Project "Improving the Quality of Software" for the Year 2018

Typ

souhrnná výzkumná zpráva - smluv. výzkum

Jazyk

čeština

Originální abstrakt

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.

Anglický abstrakt

The project "Improving the Quality of Software", which is being conducted at FIT BUT for Red Hat Czech Ltd., includes research and development works in several mutually complementary areas concerning various aspects of software quality. This report briefly presents the main works that were conducted within the project in 2018. The most important activities in 2018 were, in particular, static and dynamic performance analysis, differential analysis of different kernel versions, and various improvements of the 2LS static analyser.

Klíčová slova

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

Klíčová slova v angličtině

software quality, reliability, security, efficiency

Autoři

VOJNAR, T.

Vydáno

31. 12. 2018

Nakladatel

Red Hat

Místo

Brno

Strany počet

3

URL

https://www.fit.vut.cz/research/publication/11932/

BibTex

@misc{BUT155834,
  author="Tomáš {Vojnar}",
  title="Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018",
  year="2018",
  pages="3",
  publisher="Red Hat",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/11932/",
  note="summary research report - contract. research"
}