On Mon, 19 Sep 2011 19:43:43 +0200, Sebastian Biały
<h...@p...onet.pl> wrote:

>On 2011-09-19 19:36, Desoft wrote:
>>> Obawiam się że nie rozumiesz istoty asercji o ktorej tu mówie. W
>>> przeważającej ilości przypadków będą. Ale dla samej istoty asercji
>>> nie. Jest wiele przypadków ktore nie wymagają oczujnikowania aby
>>> stwierdzić że są błędne. Takie jak próba uruchomienia pompy bez
>>> wcześniejszego odkręcenia zaworu wody. Asercje mają chornić układy
>>> wykonawcze przed bugami w software sterującym. Przy okazji mogą ale
>>> nie muszą zapewniać bezpieczeństwo.
>
>> Czy brak informacji jest informacją? :-)
>
>Masz komplet informacji w opisanej powyżej sytuacji aby wyzwolić
>alram/przejśc w tryb awaryjny. Pompa nie działa bez wody. I już. Co
>chcesz czujnikować? Czy woda faktycznie płynie? To *inna* asercja.
Mylisz zabezpieczenia programu jako takiego z zabezpieczeniami
obiektu. Naprawdę bez informacji z zewnątrz nawet absolutnie
bezpieczny sterownik jest ślepy.
--
Grzegorz Krukowski