Całkiem ta grupa zdechła, czy jest jeszcze nadzieja? :-)

Jest taki temat jak generowanie testów i są też różne stopnie pokrycia testami, które
się definiuje (i wymaga) w rygorystycznych procesach. Okazuje się jednak, że
wyrażenie logiczne można napisać tak źle, że nie będzie możliwe wygenerowanie dla
niego testów z odpowiednim pokryciem - coś jakby odpowiednik nieosiągalnego kodu gdy
np. jakaś gałąź warunkowa nigdy się nie wykonuje.

Da się w miarę prosto wygenerować testy na sprawdzenie, czy dane wyrażenie można
pokryć właściwymi testami:

http://inspirel.com/articles/Implementing_Logic_Reac
hability_Checks.html

Ktoś się na grupie zajmuje takimi tematami? :-)

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