Prowerka wazhnejshego programmnogo obespecheniq Avionics Safety Critical Software Verification

Cel'ü ätoj knigi qwlqetsq obzor metodow werifikacii, ispol'zuemyh dlq werifikacii kriticheski wazhnogo dlq bezopasnosti programmnogo obespecheniq Avionics w sootwetstwii so standartom DO-178B s osnownym akcentom na testirowanie programmnyh blokow. Polnaq werifikaciq programmnogo obespecheniq wklüchaet w sebq testirowanie programmnogo obespecheniq na razlichnyh urownqh/faze. Cel' testirowaniq programmnogo obespecheniq - prodemonstrirowat', chto programmnoe obespechenie udowletworqet ego trebowaniqm, a takzhe s wysokoj stepen'ü uwerennosti prodemonstrirowat', chto oshibki, kotorye mogli priwesti k nepriemlemym uslowiqm otkaza, kak äto opredeleno processom ocenki bezopasnosti sistemy, byli ustraneny. Rezul'taty testirowaniq daüt predstawlenie o nadezhnosti i kachestwe programmnogo obespecheniq.