Article View: pl.comp.programming
Article #215969Re: Jak to robią w NASA
From: Maciej Sobczak
Date: Tue, 03 Sep 2019 18:49
Date: Tue, 03 Sep 2019 18:49
12 lines
2643 bytes
2643 bytes
> Z asercjami nie jest napisane, że ni mniej ni więcej niż 2, tylko że co > najmniej dwie na funkcję, czyli nie ma górnego limitu. > Inna sprawa, że to pełnej sensowności tej regule nie nadaje. Tak. Można stwierdzić, że w ogóle nie powinno być żadnych asercji w kodzie programu, bo w systemie krytycznym one nie pełnią tam żadnej sensownej roli. Nawet jeśli przyjmiemy założenie, że źle działający program należy zabić na miejscu, to nie można obowiązku zabijania nałożyć na ten sam program, o którym właśnie mówimy, że źle działa. To jest bez sensu. Monitor/strażnik, jeśli już, musi być niezależnym bytem. To, że MISRA-C i AUTOSAR nawet nie wspominają o asercjach nie jest przypadkiem. A to, że AUROSAR wspomina o static_assert też nie jest przypadkiem, bo wykrycie czegoś w czasie kompilacji, czyli przed uruchomieniem, akurat ma sens. Więc zalecanie, żeby funkcja miała co najmniej dwie asercje, to jakaś pomyłka. -- Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID:
<eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!news.man.lodz.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no7001926qtl.0!news-out.google.com!q13ni263qtn.0!nntp.google.com!o24no7001922qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com>Show Full Headers
Complete Article Headers
X-Received: by 2002:ac8:2bc4:: with SMTP id n4mr8682635qtn.298.1567536591644; Tue, 03 Sep 2019 11:49:51 -0700 (PDT) X-Received: by 2002:a0c:d284:: with SMTP id q4mr11567484qvh.228.1567536591474; Tue, 03 Sep 2019 11:49:51 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!news.man.lodz.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no7001926qtl.0!news-out.google.com!q13ni263qtn.0!nntp.google.com!o24no7001922qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Tue, 3 Sep 2019 11:49:51 -0700 (PDT) In-Reply-To: <rmvauunflug0.dlg@tyczka.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.108.152.51; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 213.108.152.51 References: <1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> Subject: Re: Jak to robią w NASA From: Maciej Sobczak <see.my.homepage@gmail.com> Injection-Date: Tue, 03 Sep 2019 18:49:51 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit