Weryfikacja oprogramowania Avionics Safety Critical

Celem tej ksi¿¿ki jest przedstawienie przegl¿du technik weryfikacji stosowanych do weryfikacji oprogramowania Avionics o znaczeniu krytycznym dla bezpiecze¿stwa zgodnie z norm¿ DO-178B, z g¿ównym naciskiem na testowanie jednostkowe oprogramowania. Pe¿na weryfikacja oprogramowania obejmuje testowanie oprogramowania na ró¿nych poziomach / fazach. Celem testowania oprogramowania jest wykazanie, ¿e spe¿nia ono swoje wymagania, a tak¿e wykazanie z wysokim stopniem pewno¿ci, ¿e b¿¿dy, które mog¿yby prowadzi¿ do niedopuszczalnych warunków awarii, okre¿lonych w procesie oceny bezpiecze¿stwa systemu, zostäy usuni¿te. Wyniki testów wskazuj¿ na niezawodno¿¿ i jako¿¿ oprogramowania.