-
Data: 2017-04-28 08:09:40
Temat: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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 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 <=
- 2024-05-17 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-05-17 Warszawa => International freight forwarder <=