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.