-
X-Received: by 10.157.80.33 with SMTP id a33mr199156oth.13.1493359781284; Thu, 27 Apr
2017 23:09:41 -0700 (PDT)
X-Received: by 10.157.80.33 with SMTP id a33mr199156oth.13.1493359781284; Thu, 27 Apr
2017 23:09:41 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.nask.pl!news.nask.org.pl!newsfeed.pionier.net.pl!news.glorb.com!c
26no418095itd.0!news-out.google.com!v18ni1526ita.0!nntp.google.com!c26no418086i
td.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 27 Apr 2017 23:09:40 -0700 (PDT)
In-Reply-To: <odtb6q$445$1@node2.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.16.227;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.16.227
References: <odaqeu$4p2$1@dont-email.me>
<7...@g...com>
<4...@g...com>
<odhokt$skl$1@node2.news.atman.pl>
<a...@g...com>
<4...@g...com>
<4...@g...com>
<odo0is$9aj$1@node1.news.atman.pl>
<9...@g...com>
<odqhim$sgp$1@node1.news.atman.pl>
<e...@g...com>
<odtb6q$445$1@node2.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f...@g...com>
Subject: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
From: Maciej Sobczak <s...@g...com>
Injection-Date: Fri, 28 Apr 2017 06:09:41 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:210466
[ ukryj nagłówki ]On Thursday, April 27, 2017 at 7:53:32 PM UTC+2, Sebastian Biały wrote:
> Czyli nie pisali w Adzie.
Nie ma systemów napisanych w 100% w Adzie. To, że wywaliło się w tym kawałku, gdzie
Ada nie była wykorzystana (albo nie była wykorzystana w pełni) pokazuje, że problem
nie był w Adzie. Dla mnie to logiczne.
> Dziwne, bo się tym wielu ludzi chwalilo, na
> newsach też często czytam że krytyczny soft pisze się w Adzie.
W tym samym poście twierdzisz, że pisali, i że nie pisali.
> Zauważ że decyzje biznesowe
> dotyczące wyboru technologii prawie nigdy nie podlegają osobie która ma
> o nich pojęcie.
Nadal nie wykazałeś, że decyzja o wyborze technologii była zła.
> > Może przyjmij jakąś jedną spójną wersję. Nawet błędną, ale jedną.
>
> Proszę: caly świat testuje oprogramowanie in vitro poza esą ktora robi
> to na hura.
Proszę: https://en.wikipedia.org/wiki/List_of_software_bugs
Jak widać, "cały świat" testuje. Na symulatorach, zapewne.
> > Wykorzystanie statycznych metod analizy
>
> Nie wykorzystują.
Wykorzystują, bo część takich metod jest wpisana w język, np. w system typów.
> Pisza i od razu jest dobrze, tak powiedział.
Niech zgadnę - zrobiłeś skrót z cudzej skróconej wypowiedzi? A może za tą wypowiedzią
stoi jakiś bardziej przemyślany proces? Ale nie, na pewno na świecie jest N-1
idiotów.
> > pozwala obniżyć rygor pokrycia testami
>
> Pod warunkiem że bugi tkwią w składni lub algorytmice. Gorzej gdy w
> zakresach.
Właśnie testowanie zakresów da się w ten sposób wykluczyć najszybciej.
> Mówisz np o DO-254. No więc coś Ci powiem o tym. Akuratnie ilośc
> testowania kodu w hardware i software rośnie.
Skoro rośnie, to kiedyś była mniejsza. Ariane 5 to było 20 lat temu.
To, że 20 lat później masz poczucie wyższości nad tamtymi ludźmi to nie jest wielkie
osiągnięcie. Trzeba było tam być 20 lat temu.
> Nigdy tak wiele nie
> testowano
Przecież cały czas o tym piszę. W Ariane 5 wsadzono moduł z mniejszej rakiety, bez
kompletnych testów integracyjnych.
> > To są ciekawe tematy, ale jeśli chcesz podyskutować, to przestań trollować.
>
> Czasem trzeba. Inaczej programisci Ady będa chodzili tak samo nadęci
Akurat ci, których znam, są raczej skromni. Zdaje się, że swiadomi swoich ograniczeń.
> Spuśc troche powierza. Zarobiłem zaczepkę z mrugnięciem i od razu
> zaczynasz straszliwą dyskusję
Nie wyrażam się z pogardą o nikim. Nikogo nie nazwałem idiotą ani debilem. I tak
dalej. Nawet nie ja zacząłem tą dyskusję. Przeczytaj swoje posty i porównaj.
Dyskutujemy czy trollujesz dalej?
> Nie zgadzam się z tym że na tym się oszczędza.
Oszczędza się właśnie na tym, bo weryfikacja nie produkuje żadnych artefaktów. I
widać to zwłaszcza w waterfallu, który był (i nadal jest) popularną metodą w takich
systemach.
BTW:
http://www-users.math.umn.edu/~arnold/disasters/aria
ne5rep.html
"It is not mandatory, even if preferable, that all the parts of the subsystem are
present in all the tests at a given level."
Jak również:
"A large number of closed-loop simulations of the complete flight simulating ground
segment operation, telemetry flow and launcher dynamics were run in order to verify
[...]"
Porównaj to ze swoimi wypowiedziami na temat tego, co zrobili albo czego nie zrobili
albo co zrobiłby każdy student, albo co robią wszyscy na całym świecie, itd.
I przede wszystkim, przeczytaj ten raport.
--
Maciej Sobczak * http://www.inspirel.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-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 <=