Publication detail

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

VOJNAR, T.

Original Title

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

English Title

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

Type

summary research report - contract. research

Language

Czech

Original Abstract

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 2017. Byly přitom zahrnuty jak aspekty spolehlivosti, efektivity, tak také bezpečnosti software. Jednou z nejvýznamnějších aktivit v roce 2017 bylo pokračování výzkumu a vývoje v oblasti automatizovaných metod analýzy výkonnosti programů, resp. spotřeby zdrojů programy, a dále pak zahájení vývoje metod pro automatizovanou migrací aplikací.

English abstract

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 2017. In particular, one of the most important activities in 2017 was a continuation of research and development of automated methods of resource bounds analysis of programs. Moreover, a new activity that should lead to methods and tools supporting automated software migration has been started.

Keywords

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

Key words in English

software quality, reliability, security, efficiency

Authors

VOJNAR, T.

Released

31. 12. 2017

Publisher

Red Hat Czech s.r.o.

Location

Brno

Pages count

2

URL

BibTex

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