-
Data: 2019-09-06 21:03:02
Temat: Re: Jak to robią w NASA
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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
Najnowsze wątki
- 2025-03-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Najlepszy akumulator 12V
- 2025-03-16 Co powinno spotkać "adwokatów dwóch" uczestniczących w przesłuchaniu świadka do którego nie dopuszczono adwokata świadka?
- 2025-03-16 Przednich p-mgielnych nie wolno bez mgły
- 2025-03-16 Co w KANADZIE wolno komercyjnie (na razie się nie czepili?)
- 2025-03-16 silnik-chwilówka
- 2025-03-16 Prokurator Wrzosek "Bezstronna" nie przyczynia się do śmierci (dowodnie) - oświadcza bodnatura [Dwie Kacze Wieże]
- 2025-03-15 kraje nieprzyjazne samochodom
- 2025-03-15 parking Auchan
- 2025-03-15 Art. 19.1 ustawy o ochronie praw autorskich
- 2025-03-15 przegląd za mną
- 2025-03-15 Na co komu okna
- 2025-03-15 Mój elektryk
- 2025-03-15 Fejk muzyczny czy nie fejk