-
X-Received: by 2002:a37:27d0:: with SMTP id n199mr18572758qkn.313.1567956727166; Sun,
08 Sep 2019 08:32:07 -0700 (PDT)
X-Received: by 2002:a37:27d0:: with SMTP id n199mr18572758qkn.313.1567956727166; Sun,
08 Sep 2019 08:32:07 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erj
e.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o
24no312069qtl.0!news-out.google.com!c11ni456qtp.0!nntp.google.com!o24no312062qt
l.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sun, 8 Sep 2019 08:32:06 -0700 (PDT)
In-Reply-To: <6...@g...com>
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>
<8...@g...com>
<4...@g...com>
<e...@g...com>
<8...@g...com>
<f...@g...com>
<6...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f...@g...com>
Subject: Re: Jak to robią w NASA
From: Maciej Sobczak <s...@g...com>
Injection-Date: Sun, 08 Sep 2019 15:32:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:213979
[ ukryj nagłówki ]> > W jakim sensie błędnie? W takim, że się ich używa?
>
> W takim sensie, jak pisałem na początku.
No to od początku:
1. W kodzie krytycznym nie używa się asercji (w takim sensie, w jakim do tego pojęcia
dobrnęliśmy od początku dyskusji[*]), bo
2. w przetestowanym kodzie tworzą dead-code, którego się unika z innych powodów.
3. Przesłanki do tego stwierdzenia widać też w dwóch najpoważniejszych standardach
kodowania dla tej branży, które w ogóle nie zajmują się tematem asercji.
[*] Co ja interpretuję jako popularne użycie makra assert. Po ponownej lekturze linka
z początku stwierdzam, że nie musiało chodzić o to makro, autorowi mogło chodzić też
o inny mechanizm, bo wspominał o wracaniu do wołającej funkcji.
Nie pokałeś niczego, co by zaprzeczało tym stwierdzeniom albo rzucało nową lub inną
perspektywę. Zamiast tego przerzucamy się wrażeniami z lektury Słownika Języka
Polskiego i innymi zlepkami nie na temat. Nic to nie wnosi do dyskusji o tym, jak się
pisze systemy krytyczne.
> > Nie rozumiesz. Nie ma rzeczy poza moim procesem.
>
> Jest bardzo dużo rzeczy poza Twoim procesem.
W branży krytycznej nie ma.
> Na przykład całe Twoje wcześniejsze doświadczenie.
No właśnie. Nie na temat.
> Raczej jest tak, że programista napisze relewantny komentarz, potem inny
programista zrefaktoryzuje kod, ale zapomni o aktualizacji komentarza, i komentarz
przestaje być relewantny.
Nie, nie zapomni. W szczególności, to, co nazwałeś "refaktoryzacją" to nie jest coś,
co sobie robi "inny programista", bo ma akurat taką inspirację. W szczególności,
jeśli komentarze wykorzystywane są w takim celu jak pokazałem (z analizą statyczną),
to ewentualne błędy zostaną autmatycznie wykryte.
> ,,Czy możemy w swoich pracach korzystać z fragmentów cudzych utworów,
Nadal nie na temat.
> To podaj chociaż tytuły dokumentów.
Standard języka C, MISRA-C, AUTOSAR. Pisałem już.
I nawet jeśli na siłę wyłuskasz z nich jakieś użycia słowa "assertion" nie na temat,
to będą one, no właśnie, nie na temat.
> > No i serio - o co teraz walczysz, tak konkretnie?
>
> Z błędnym użyciem słowa "asercja".
Rozumiem. Ale mi się nie chce. Wolę dyskutować o programowaniu.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 08.09.19 22:17 Maciej Sobczak
- 09.09.19 17:56 AK
- 11.09.19 07:30 M.M.
- 11.09.19 09:21 Maciej Sobczak
- 11.09.19 20:09 AK
- 11.09.19 20:32 M.M.
- 12.09.19 09:21 Maciej Sobczak
- 12.09.19 12:05 M.M.
- 13.09.19 08:14 Maciej Sobczak
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-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=
- 2024-05-17 Bieruń => Administrator i wdrożeniowiec Lotus Notes/Domino <=