eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingJak to robią w NASARe: Jak to robią w NASA
  • Data: 2019-09-07 17:21:31
    Temat: Re: Jak to robią w NASA
    Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    > > Napisałem już kilka razy, dlaczego asercji się nie używa a Ty grzebiesz w SJP,
    żeby... no właśnie nie wiem po co.
    >
    > No bo błędnie napisałeś.

    W jakim sensie błędnie? W takim, że się ich używa?

    > > To na cholerę mi takie asercje?
    >
    > Bo po pierwsze, możesz je inaczej interpretować poza swoim procesem.

    Nie rozumiesz. Nie ma rzeczy poza moim procesem. I nawet nie chodzi o to, że nikt mi
    za nie nie zapłaci. Chodzi wręcz o to, że ze względów zrozumiałych bardziej dla
    prawników, niż inżynierów, rzeczy poza procesem są zabronione.

    > Po co pisać komentarz, który nic nie robi?

    Komentarz nie jest dead-codem. To właśnie ten aspekt sprawia, że asercji się nie
    używa.

    > > > I teraz, czy narzędzie sprawdzi mi, czy wartości tego enuma służą jako indeksy
    do tablicy TABLICA?
    > >
    > > Jeśli masz takie narzędzie, to sprawdzi.
    >
    > Nie mam takiego narzędzia.

    Spodziewałem się. Ale powinieneś rozumieć, że takie narzędzie można mieć. I ten fakt
    sprawia, że z takimi argumentami oddalasz się od jakkolwiek rozumianego sukcesu w tej
    dyskusji.

    > W komentarzach mogę pisać cokolwiek.

    Dalej nie rozumiesz. Za pisanie czegokolwiek wylatuje się z pracy.
    Ale jak napiszesz coś mądrego, to co innego.

    > Jak narzędzie mi sprawdzi, że nie kłamię?

    Czyli nie zajrzałeś do tego linka, którego podałem do Frama-C. Szkoda.

    > > https://frama-c.com/acsl_tutorial_index.html
    >
    > No to wygląda mi na takie rzeczy, które mogę wyrazić w asercjach.

    Jednak zajrzałeś. Ale nie zrozumiałeś. Tych rzeczy nie da się wyrazić w asercjach
    języka C - stąd pomysł na taki produkt. Ktoś tego nawet używa.
    Być może w innym (hipotetycznym?) języku można by było to mieć w asercjach i bez
    dodatkowego narzędzia, ale jakoś ten język nie robi furory w tej branży. Więc jest
    tak, jak pokazałem.

    > > Wniosek jest taki, że czytaliśmy różne standardy.
    >
    > No to dajesz cytaty.

    Czyli nawet w tej warstwie nic nie rozumiesz.
    Cytowanie tych standardów jest zabronione. Prawa autorskie i takie tam.

    Mógłbym ewentualnie podać numer paragrafu, to jest dozwolone. Ale wtedy musiałbyś sam
    sobie to otworzyć i przeczytać. No, ale skoro możesz sam otworzyć i przeczytać, to po
    co mam dawać cytaty? Ctrl-F, "assert", Enter.

    No i serio - o co teraz walczysz, tak konkretnie?

    --
    Maciej Sobczak * http://www.inspirel.com

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: