-
X-Received: by 2002:ac8:27fa:: with SMTP id x55mr11196216qtx.241.1567796582897; Fri,
06 Sep 2019 12:03:02 -0700 (PDT)
X-Received: by 2002:ac8:27fa:: with SMTP id x55mr11196216qtx.241.1567796582897; Fri,
06 Sep 2019 12:03:02 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
!2.eu.feeder.erje.net!news.uzoreto.com!newsreader4.netcologne.de!news.netcologn
e.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwin
ds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o2
4no5958938qtl.0!news-out.google.com!d29ni886qtg.1!nntp.google.com!o24no5958928q
tl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Fri, 6 Sep 2019 12:03:02 -0700 (PDT)
In-Reply-To: <5d7267e0$0$15200$426a34cc@news.free.fr>
Complaints-To: g...@g...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>
<3...@g...com>
<qkicu0$knb$1@gioia.aioe.org>
<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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5...@g...com>
Subject: Re: Jak to robią w NASA
From: Maciej Sobczak <s...@g...com>
Injection-Date: Fri, 06 Sep 2019 19:03:03 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4712
X-Received-Body-CRC: 2600693356
Xref: news-archive.icm.edu.pl pl.comp.programming:213963
[ ukryj nagłówki ]> Oj ale to chyba nieco naiwne - że niby przetestowanie wynikowego kodu
> zagwarantuje brak bugów.
Nie zagwarantuje, tylko potwierdzi. Bo niby jak inaczej?
> Nie zagwarantuje, bo nie ma opcji by dało się
> przetestować wynikowy program w 100%
Witamy w branży systemów krytycznych. To nie jest opcja, tylko poziom oczekiwany.
I dlaczego miałoby się nie dać?
> (wliczając w to np. ładowanie
> relokowalnego kodu
Nie ma relokowalnego kodu. Właśnie dlatego.
> To nie znaczy oczywiście, że nie należy do tego dążyć,
> jeśli ekonomia projektu na to pozwala.
Ekonomia jest taka, że ma być 100%.
> > To kolejny mit. Wszyscy programiści kosztują z grubsza tyle samo, bo ich
> > koszt i tak już dawno nie zależy od ich kompetencji.
>
> Ja tam jednak obserwuję duże różnice w zależności od języka. Im więcej
> towaru na rynku, tym bardziej jego wartość spada.
Ale to nie zależy od niszowości języka, tylko od podaży i popytu. Jeżeli język X jest
niszowy, to i tak jedyny programista w Polsce będzie tanim hobbystą, jeśli będzie dla
niego 0 projektów. Niszowość mu nie pomoże.
Problemem na rynku pracy jest brak programistów w ogóle a nie to, czy coś jest
niszowe, czy nie.
> > Nie używa się bibliotek. Szkoda na to nerwów, znacznie szybciej jest
> > napisać i zweryfikować coś od zera samemu.
>
> Wliczając w to libc?
Tak. W sumie i tak nie ma tam nic ciekawego z punktu widzenia jakiegokolwiek systemu
krytycznego.
> "nie używa się"
> uważam za nieco zbyt kategoryczny obraz...
Nie używa się, bo obcy (!) kod jest bardziej kosztowny w weryfikacji, niż własny.
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ć.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 06.09.19 21:12 Mateusz Viste
- 06.09.19 21:25 Maciej Sobczak
- 06.09.19 23:00 g...@g...com
- 06.09.19 23:59 g...@g...com
- 07.09.19 01:48 g...@g...com
- 07.09.19 10:55 M.M.
- 07.09.19 17:04 Maciej Sobczak
- 07.09.19 17:21 Maciej Sobczak
- 07.09.19 19:35 M.M.
- 08.09.19 00:18 g...@g...com
- 08.09.19 08:13 AK
- 08.09.19 08:58 g...@g...com
- 08.09.19 11:19 AK
- 08.09.19 11:36 M.M.
- 08.09.19 12:13 g...@g...com
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-26 O co chodzi?
- 2024-05-26 PJ autobus-tramwaj
- 2024-05-26 Renault Trafic i lampka z czerwonym STOP
- 2024-05-26 cena pięciocyfrowa
- 2024-05-26 Re: Jak dobra KE "okrada" złą Rosję "dla Ukrainy"
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław