Kauzální analýza chyb řídících programů

Abstract

Bakalářská práce se zabývá problematikou odhalování chyb v softwarových programech. Práce obsahuje hierarchicky organizovanou typologii softwarových chyb, získanou rešeršemi z dostupné literatury, analýzu vlivů na vznik softwarových chyb vedoucí k typologii příčin chyb inspirované kognitivní psychologií a srovnání technik a metodik softwarového vývoje z hlediska validace a verifikace produktu. Bakalářská práce byla zpracována s ohledem na potřeby a požadavky zadavatelské firmy zaměřené na vývoj softwarových produktů v oblasti technologie Voice over IP (VoIP) a poskytuje náměty k modifikacím stávajícího systému evidence softwarových chyb a jejich příčin.This Bachelor`s thesis concerns with the process of fault detection in software programs. It contains hierarchically organized typology of software errors, gained by research of available literature and analysis of events responsible for influencing the software errors evolution gathered into a typology of factors inspired by cognitive psychology. It contains also comparison of software evolution techniques and methodologies from the point of product validation and verification. The Bachelor`s thesis was written with respect to needs and requests of the commissioning company focusing on the Voice over IP (VoIP) software evolution. The thesis aims to suggest modifications of software errors database and error causes database.