Zpět na vyhledávání

Bc. Pavol Mišenko

Bachelor's thesis

Program analysis using interval abstraction and backward refinement

Program analysis using interval abstraction and backward refinement
Abstract:
Behom vývoja softvéru sa často stáva, že sú do neho neúmyselne zavedené chyby meniace správanie programu. Za účelom hľadania chýb sa obvykle implementujú testy, ktoré ale väčšinou nie sú schopné pokryť všetky možné prípady. Najmä v situáciách, kedy systém interaguje s prostredím. Formálna verifikácia poskytuje presnejšiu metódu kontroly programu. Nástroj LART pristupuje k problému verifikácie cez abstrakciu …more
Abstract:
During software development, it is not unusual for unintentional errors to be introduced into the software, thus changing the behavior of the program. In order to find errors, tests are usually implemented, but they are generally not able to cover all possible cases. Especially in situations where the system interacts with the environment. Formal verification provides a better way to check the program …more
 

Keywords

software analysis data abstraction interval abstract domain compilation-based abstraction LART C C++
 
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2022
Identifier: https://is.muni.cz/th/v01cf/

Thesis defence

  • Date of defence: 31. 1. 2023
  • Supervisor: RNDr. Henrich Lauko
  • Reader: prof. RNDr. Jan Strejček, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.