W dniu 12.12.2023 o 16:10, heby pisze:
>
> W lotnictwie testuje się software, firmware i hardware technikami
> kosmicznie wręcz intensywnymi. Co się da, weryfikujemy formalnie. Co
> nie, weryfikujemy coverage, lintem, randmizacją, unittestami, testami.
> Ludzie szukaja dziury w całym i staja na głowie, aby to "całe" było jak
> najmniejsze aby jak najłatwiej było je ogarnąć.
Taaa a później przychodzi boening i wypuszcza gniota, dopiero 3
katastrofa powoduje uziemienie wszystkich z tej serii i poprawki
oprogramowania, więc widać ile te testy są warte.

--
Janusz