(1)
Preverjanje s testnimi programi zajema podsisteme in sisteme, vključno z računalniško programsko opremo, vgrajene v BPZ in potrebno zemeljsko opremo, ki lahko vpliva na varne lete.
(2)
Dodatno mora biti določen sistem zanesljivosti, ki jasno pokaže redundance ali singularitete in posledice v primeru okvare. Posledice odpovedi posamezne enote ali podsistema morajo biti analizirane v oceni okvare.
(3)
Na podlagi analize zanesljivosti se vzpostavi program za eksperimentalno preverjanje, testne lete in obseg testiranja računalniške programske opreme. Zahtevane verjetnosti morajo biti preverjene kot del testiranja s strani proizvajalca in evaluacije.