-
Ruský jazyk
Prowerka wazhnejshego programmnogo obespecheniq Avionics Safety Critical Software Verification
Autor: Chiranäewi Aradhq
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... Viac o knihe
Na objednávku
36.99 €
bežná cena: 41.10 €
O knihe
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.
- Vydavateľstvo: Sciencia Scripts
- Rok vydania: 2020
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9786203079388
Anglický jazyk 
Nemecký jazyk 
