Article View: pl.comp.programming
Article #215961Re: Jak to robią w NASA
From: Maciej Sobczak
Date: Sun, 01 Sep 2019 20:55
Date: Sun, 01 Sep 2019 20:55
29 lines
4169 bytes
4169 bytes
> > https://fossbytes.com/nasa-coding-programming-rules-critical/ > > Ot, bajeczki dla nastolatków. Nie, po prostu ktoś sobie na blogu napisał. Najprostszy standard kodowania MISRA-C ma 230 stron, ostatnio opublikowany z AUTOSAR dla C++ ma 370 stron. Ten blog nie porusza nawet wierzchołka zagadnienia. Ogólnie, to nie są jakieś dziwne reguły, właśnie takich należy się spodziewać. Warto też pamiętać, że pomimo wysokiej popularności NASA jako pop-kulturowego brandu, to nie NASA jest frontem walki o jakość - wynika to z faktu, że w tej branży (podobnie jak w wojsku) nie obowiązują reguły certyfikacji czy homologacji takie jak w cywilnych branżach. Tzn. oni oczywiście dbają o pieniądze podatnika (w sensie - szkoda stracić drogą rakietę) i o swoją reputację (w sensie - jak ją stracą, to kolejnego projektu mogą nie mieć), ale poza tymi dwoma wartościami nie mają o co dbać, bo w szczególności pilot rakiety jest w oczach opinii publicznej bardziej żołnierzem, niż obywatelem, więc jego strata jest przez publiczność postrzegana jako godna ofiara na ołtarzu postępu. Przecież wiedział, że może zginąć, nie? Inaczej mówiąc 1: publiczna akceptacja fakapu w tej branży jest całkiem wysoka, w odróżnieniu od dziedzin, gdzie się zabija niewinnych obywateli. Inaczej mówiąc 2: pomimo tego, że te kilka reguł wygląda strasznie dla "normalnego" programisty, to typowy projekt NASA mógłby nie przejść rygoru obowiązującego w lotnictwie cywilnym. No, serio, nie wystarczy mieć funkcje krótsze niż 60 linijek, żeby przejść przez proces certyfikacji[*]. [*] Który to proces właśnie traci reputację przez ostatnie lotnicze fakapy. Tak, zgadza się. Trzeba być jeszcze bardziej (!) rygorystycznym. > Ciekawe jest to czego w tym nie ma: > > 1. Architektura i wzorce projektowe. > 2. Statyczna analiza kodu. > 3. Testy jednostkowe i integracyjne. > 4. Dokumentacja. > 5. Audyt. XP > 6. Metodyka (waterfall ?!?) Ale chyba nie o tym był ten blog. Natomiast warto zauważyć, że standard kodowania jest właśnie po to, żeby zrobić punkt 2 powyżej i żeby sobie ułatwić osiągnięcie jeszcze kilku innych celów jakościowych. I tylko po to. Gorzej, że z powodu takich blogów ludzie potem myślą, że standard kodowania jest jedyną rzeczą, która odróżnia proces krytyczny od "normalnego" i tylko na nim się skupiają. Tymczasem te "straszne" reguły to jest najmniejszy problem. Klepanie kodu to tylko kilka procent wysiłku, nawet z tymi strasznymi regułami. Więc bez przesady. -- Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID:
<3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no624288qtl.0!news-out.google.com!d29ni302qtg.1!nntp.google.com!o24no624277qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl>Show Full Headers
Complete Article Headers
X-Received: by 2002:a37:8ec7:: with SMTP id q190mr24782382qkd.157.1567371341002; Sun, 01 Sep 2019 13:55:41 -0700 (PDT) X-Received: by 2002:a37:b703:: with SMTP id h3mr18029019qkf.248.1567371340845; Sun, 01 Sep 2019 13:55:40 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no624288qtl.0!news-out.google.com!d29ni302qtg.1!nntp.google.com!o24no624277qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Sun, 1 Sep 2019 13:55:40 -0700 (PDT) In-Reply-To: <qkecqc$c03$1@news.icm.edu.pl> 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> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> Subject: Re: Jak to robią w NASA From: Maciej Sobczak <see.my.homepage@gmail.com> Injection-Date: Sun, 01 Sep 2019 20:55:40 +0000 X-Received-Bytes: 4561 X-Received-Body-CRC: 2760111959 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit