> > W jakim sensie błędnie? W takim, że się ich używa?
>
> W takim sensie, jak pisałem na początku.

No to od początku:

1. W kodzie krytycznym nie używa się asercji (w takim sensie, w jakim do tego pojęcia
dobrnęliśmy od początku dyskusji[*]), bo
2. w przetestowanym kodzie tworzą dead-code, którego się unika z innych powodów.
3. Przesłanki do tego stwierdzenia widać też w dwóch najpoważniejszych standardach
kodowania dla tej branży, które w ogóle nie zajmują się tematem asercji.

[*] Co ja interpretuję jako popularne użycie makra assert. Po ponownej lekturze linka
z początku stwierdzam, że nie musiało chodzić o to makro, autorowi mogło chodzić też
o inny mechanizm, bo wspominał o wracaniu do wołającej funkcji.

Nie pokałeś niczego, co by zaprzeczało tym stwierdzeniom albo rzucało nową lub inną
perspektywę. Zamiast tego przerzucamy się wrażeniami z lektury Słownika Języka
Polskiego i innymi zlepkami nie na temat. Nic to nie wnosi do dyskusji o tym, jak się
pisze systemy krytyczne.

> > Nie rozumiesz. Nie ma rzeczy poza moim procesem.
>
> Jest bardzo dużo rzeczy poza Twoim procesem.

W branży krytycznej nie ma.

> Na przykład całe Twoje wcześniejsze doświadczenie.

No właśnie. Nie na temat.

> Raczej jest tak, że programista napisze relewantny komentarz, potem inny
programista zrefaktoryzuje kod, ale zapomni o aktualizacji komentarza, i komentarz
przestaje być relewantny.

Nie, nie zapomni. W szczególności, to, co nazwałeś "refaktoryzacją" to nie jest coś,
co sobie robi "inny programista", bo ma akurat taką inspirację. W szczególności,
jeśli komentarze wykorzystywane są w takim celu jak pokazałem (z analizą statyczną),
to ewentualne błędy zostaną autmatycznie wykryte.

> ,,Czy możemy w swoich pracach korzystać z fragmentów cudzych utworów,

Nadal nie na temat.

> To podaj chociaż tytuły dokumentów.

Standard języka C, MISRA-C, AUTOSAR. Pisałem już.
I nawet jeśli na siłę wyłuskasz z nich jakieś użycia słowa "assertion" nie na temat,
to będą one, no właśnie, nie na temat.

> > No i serio - o co teraz walczysz, tak konkretnie?
>
> Z błędnym użyciem słowa "asercja".

Rozumiem. Ale mi się nie chce. Wolę dyskutować o programowaniu.

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