> Oni tam mają bardziej statystyczne podejście do
> problemów jakości.

Ciekawe. To może być związane z mindsetem hardware'owym, gdzie awarie wynikają nie
tylko z bugów, ale też z defektów produkcyjnych i ze starzenia materiału. Może
uznali, że wszystkie defekty można tak traktować.
Trudno się z tym całkiem zgodzić, bo defekty projektowe są systematyczne, więc
traktowanie ich statystykami niezupełnie pasuje do problemu.

Niektóre standardy w SW nie przewidują użycia metod statystycznych, weryfikacja ma
być deterministyczna. Jest w tym trochę hipokryzji, gdy weryfikację robi się białkiem
(review), ale jeśli coś się automatyzuje, to metody statystyczne odpadają.
To podejście może się zmienić dzięki (albo raczej w celu) AI.

> Dodatkowo weryfikacja funkcjonalna o ile pamiętam
> jako side effect ma eliminację martwych gałęzi.

To nie musi być side effect. To może być też celem samym w sobie, jeśli kod ma być w
całości pokryty testami (lub inną weryfikacją).

--
Maciej Sobczak * http://www.inspirel.com