-
X-Received: by 2002:a0c:994b:: with SMTP id i11mr31019074qvd.230.1570519693022; Tue,
08 Oct 2019 00:28:13 -0700 (PDT)
X-Received: by 2002:a0c:994b:: with SMTP id i11mr31019074qvd.230.1570519693022; Tue,
08 Oct 2019 00:28:13 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!fu-berlin.de!o24no7696568qtl.0!news-out
.google.com!x7ni1239qtf.0!nntp.google.com!o24no7696561qtl.0!postnews.google.com
!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 8 Oct 2019 00:28:12 -0700 (PDT)
In-Reply-To: <qnftmt$8vc$1@dont-email.me>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.80;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.84.80
References: <ZFueF.189972$Jh2.55867@fx39.am4>
<b...@g...com>
<5d835054$0$525$65785112@news.neostrada.pl>
<qm5o8c$6mr$1@news.icm.edu.pl>
<5d867c27$0$17361$65785112@news.neostrada.pl>
<qm5va9$c07$1@dont-email.me> <5d86b148$0$520$65785112@news.neostrada.pl>
<qm7c3j$pl6$1@dont-email.me> <5d87968d$0$503$65785112@news.neostrada.pl>
<qm875f$g8o$1@dont-email.me> <5d87b31a$0$522$65785112@news.neostrada.pl>
<qm8e0j$s55$1@dont-email.me> <qmgven$som$1@z-news.wcss.wroc.pl>
<f...@g...com>
<qmnls7$tml$2@news.icm.edu.pl>
<b...@g...com>
<qmtap2$kfe$1@dont-email.me>
<4...@g...com>
<qn5dj9$qh9$3@dont-email.me>
<b...@g...com>
<qn82tb$4uq$1@dont-email.me>
<0...@g...com>
<qnb1gg$68i$1@dont-email.me>
<9...@g...com>
<qnftmt$8vc$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3...@g...com>
Subject: Re: POpularno?? j?zyk?w programowania ??
From: Maciej Sobczak <s...@g...com>
Injection-Date: Tue, 08 Oct 2019 07:28:13 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:214365
[ ukryj nagłówki ]> > To wychodzi w pokryciu kodu obiektowego.
>
> Najpierw musisz znaleźć metodę testowania która zawiera dostatecznie
> dużo przypadków.
Dalej nie kapujesz. Najpierw mam metodę mierzenia pokrycia. A potem, jeśli testy nie
dają wystarczającego pokrycia, szukam dziury. To nie musi być dziura w testach. To
może być dziura w kompilatorze. Czyli nie chodzi o to, żeby coś pokryć dużą liczbą
testów, tylko żeby mieć świadomość, czemu coś nie jest pokryte. To znaczy, że nie
muszę mieć jakiejś specjalnej metody testowania, żeby taką świadomość uzyskać a w
omawianym przykładzie wcale nie trzeba mieć "dostatecznie dużo przypadków".
> Ależ happens. Na ten przykład popularną metodą testowania kodu
> krytycznego, ale naprawdę krytycznego,
Łoł, ale tak naprawdę-naprawdę krytycznego, czy tylko naprawdę krytycznego?
Bo w tej dyskusji wspinasz się sięgając po coraż wyższe autorytety. Ostatnio było
nawet o rozmowie z człowiekiem mającym kontakt z brażną lotniczą...
> jest psucie go w czasie
> rzeczywistym i patrzenie gdzie i co wybuchnie analizując czy jest czy
> nie podatny na uszkodzenia.
I nadal nie ma potrzeby używać wielu kompilatorów. Skup się.
> No ale jednak happens.
No ale jednak nie pokazałeś żadnego przekonywującego przykładu.
> Inaczej: akurat w tej branży testuje się kilkoma innymi metodami
> również.
I właśnie dlatego nie potrzeba wielu kompilatorów. Do tego wniosku asymptotycznie
zmierzamy.
> > Dlatego ten pomysł byłby potraktowany jako koszt bez wartości dodanej.
>
> Nie "byłby" tylko jest stosowany. Może bardziej w HDLu ale w normalnym
> programowaniu też.
Rozumiem. Czyli jeśli nie udało się wykazać sensowności użycia wielu kompilatorów, to
trzeba napisać "bardziej w HDLu" a potem dodać "ale tu też". I jest szansa, że
przypadkowy czytelnik dostrzeże w tym wartościową wypowiedź.
> Różnie bywa. Taka ciekawostka: weryfikację narzędzia robi się czasem na
> słowo honoru: "działa od dziesięciu lat i nie ma problemu". Serio mówie.
To się nazywa Previously Developed Software. Tak. Ale to nie jest słowo honoru, bo
historię użycia trzeba mieć udokumentowaną i trzeba wykazać w jakim stopniu nowe
użycia pokrywają się ze starymi. Nie ma w tym nic nieracjonalnego.
> Musisz zagwarantować że twój pewny kompilator jest pewny dla kodu
> którego jeszcze nie ma.
Jest dokładnie odwrotnie (czyli jak już pisałem, mylisz pojęcia).
Uważaj:
"Upon successful completion of verification of the software product, the compiler is
considered acceptable for that product."
"Although the compiler is considered acceptable once all of the verification
objectives are satisfied, the compiler is only considered acceptable for that product
and not necessarily for other products."
Czyli o tym, że kompilator *był* dobry wiadomo dopiero jak się nim zrobi produkt.
Natomiast nie zakłada się, że *będzie* dobry, zanim się tego produktu nie zrobi. Bo
proces jest tak ustawiony, że wcale na tym założeniu nie polega.
Zapytaj kolegę od samolotów, skąd są te cytaty.
> Albo z miejsca gdzie siedzę widać coś innego niż z Twojego.
Na to wygląda. Ale też dlatego nie mam zamiaru się w nieskończoność szarpać.
[...]
> Nikt nie naciska na kilka kompilatorów.
Hura!
> Ale kilku wielkich graczy
> zdecydowało się na to.
"Pewni ludzie", "niektórzy", "chodzą głosy", "ktoś mi opowiadał", itp...
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 08.10.19 09:34 Maciej Sobczak
- 08.10.19 09:54 AK
- 10.10.19 21:40 heby
- 10.10.19 21:52 heby
- 10.10.19 23:08 AK
- 11.10.19 12:07 g...@g...com
- 12.10.19 16:34 heby
- 15.11.19 17:53 wloochacz
- 15.11.19 18:08 wloochacz
- 15.11.19 21:32 heby
- 15.11.19 21:40 heby
- 19.11.19 16:50 wloochacz
- 19.11.19 17:18 wloochacz
- 19.11.19 17:39 wloochacz
Najnowsze wątki z tej grupy
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- 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
Najnowsze wątki
- 2025-05-02 Wrocław => Controlling systems Consultant <=
- 2025-05-02 Kraków => Programista MS Dynamics 365BC/NAV <=
- 2025-05-02 Kraków => Koordynator Produkcji / Przedstawiciel ds. rozwoju produktu
- 2025-05-02 Warszawa => Spedytor Międzynarodowy <=
- 2025-05-02 Białystok => NMS System Administrator <=
- 2025-05-02 Warszawa => Sales Director (Cloud solutions) <=
- 2025-05-02 Czy na URZĘDACH RP3 można bezkarnie LATAMI wywieszać flagę obcego państwa? [podstawa prawna]
- 2025-05-02 tona telefonów komórkowych kryje ok. 3,5 kilograma srebra, 360 gramów złota i 280 gramów palladu.
- 2025-05-01 Jak zbudować Perpetum Mobile
- 2025-05-01 Wybory ten wygra kto odzyska TEPS'ę od Kulczyka
- 2025-04-30 Czy wymieniacie fotel kierowcy, gdy kupujecie używanego gruchota po prostacie i nietrzymaniu moczu ?
- 2025-05-02 dewastują Tesle
- 2025-05-02 jadę do państwa polskiego
- 2025-05-01 zachowaj odstęp
- 2025-04-30 Czy wymieniacie fotel kierowcy, gdy kupujecie używanego gruchota po prostacie