Re: Jak to robią w NASA - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Jak to robią w NASA › Re: Jak to robią w NASA

Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erj
e.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-fo
r-mail
From: Mateusz Viste <m...@w...tell>
Subject: Re: Jak to robią w NASA
Newsgroups: pl.comp.programming
References: <1ua4wui506zbf$.dlg@tyczka.com>
<4...@g...com>
<qkjqqi$1b59$1@gioia.aioe.org>
<0...@g...com>
<r...@t...com>
<e...@g...com>
<1...@g...com>
<1...@g...com>
<a...@g...com>
<qkoqr3$1eec$1@gioia.aioe.org>
<a...@g...com>
<8...@n...net>
<1...@g...com>
<qksqus$1h0q$1@gioia.aioe.org>
<3...@g...com>
<5d7219bc$0$6446$426a74cc@news.free.fr>
<0...@g...com>
<8...@g...com>
<5d7267e0$0$15200$426a34cc@news.free.fr>
<5...@g...com>
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
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: a...@p...net
Xref: news-archive.icm.edu.pl pl.comp.programming:213964
[ ukryj nagłówki ]
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