Article View: pl.comp.programming
Article #216000Re: Jak to robią w NASA
From: Mateusz Viste
Date: Fri, 06 Sep 2019 19:12
Date: Fri, 06 Sep 2019 19:12
17 lines
2790 bytes
2790 bytes
On Fri, 06 Sep 2019 12:03:02 -0700, Maciej Sobczak wrote: > Obowiązek zapewnienia 100% pokrycia istnieje dla *całego* > kodu a nie tylko dla jakiegoś drobnego kawałka, który napisałeś sam, a > pokrywanie kodu jakiejś obcej biblioteki albo wykazywanie jej zgodności > z wymaganiami projektu to jest coś, czego nikt nie chciałby robić. W tym momencie zdałem sobie sprawę, że myślimy o całkiem innych rzeczach - tzn. ty piszesz o tworze dużo bardziej ekstremalnym niż założyłem (co jest zupełnie zgodne z pierwotnym tematem "NASA"). No i faktycznie - jeśli przyjąć, że piszemy logikę kontrolera stacji orbitalnej Jowisza, to "normalne" programowanie odpada. Zostaje pisanie pod "bare metal", gdzie program musi być wrzucony pod ściśle określony adres, każda zmienna ma ściśle określone miejsce w pamięci, a sam program jest sprawdzony za pomocą wszystkich możliwych kombinacji danych. Mateusz
Technical Details
Message-ID:
<5d72afa6$0$3531$426a74cc@news.free.fr>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-a.proxad.net!nnrp1-1.free.fr!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <32d9851d-60a0-4091-8a02-d51d326b9638@googlegroups.com> <5d7219bc$0$6446$426a74cc@news.free.fr> <04fbf8a6-3ae6-40b9-9c45-7787fcf7b01f@googlegroups.com> <8dfd1225-31c1-4200-ba74-06c68f0ca768@googlegroups.com> <5d7267e0$0$15200$426a34cc@news.free.fr> <583331c9-7611-4abe-a5e1-6a1a885b88bb@googlegroups.com>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-a.proxad.net!nnrp1-1.free.fr!not-for-mail From: Mateusz Viste <mateusz@wont.tell> Subject: Re: Jak to robią w NASA Newsgroups: pl.comp.programming References: <1ua4wui506zbf$.dlg@tyczka.com> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <32d9851d-60a0-4091-8a02-d51d326b9638@googlegroups.com> <5d7219bc$0$6446$426a74cc@news.free.fr> <04fbf8a6-3ae6-40b9-9c45-7787fcf7b01f@googlegroups.com> <8dfd1225-31c1-4200-ba74-06c68f0ca768@googlegroups.com> <5d7267e0$0$15200$426a34cc@news.free.fr> <583331c9-7611-4abe-a5e1-6a1a885b88bb@googlegroups.com> User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) MIME-Version: 1.0 Date: 06 Sep 2019 19:12:38 GMT Lines: 17 Message-ID: <5d72afa6$0$3531$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 06 Sep 2019 21:12:38 CEST NNTP-Posting-Host: 82.64.0.151 X-Trace: 1567797158 news-3.free.fr 3531 82.64.0.151:54458 X-Complaints-To: abuse@proxad.net Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit