eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programming[OT] Duża kasa i kiepski wynik - dlaczego?Re: [OT] Du?a kasa i kiepski wynik - dlaczego?
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.P
    OSTED!not-for-mail
    From: "AK" <n...@n...com>
    Newsgroups: pl.comp.programming
    Subject: Re: [OT] Du?a kasa i kiepski wynik - dlaczego?
    Date: Mon, 14 Sep 2015 10:38:24 +0200
    Organization: ATMAN - ATM S.A.
    Lines: 42
    Message-ID: <mt6121$11g$1@node2.news.atman.pl>
    References: <mosvh7$bpl$1@node1.news.atman.pl> <mssktp$9n5$1@node1.news.atman.pl>
    <msvs6u$hjj$1@node1.news.atman.pl> <msvaa3$15k$1@node1.news.atman.pl>
    <mt10d4$v8$1@node2.news.atman.pl> <mt16oq$t5c$1@node1.news.atman.pl>
    <mt1b2u$bf8$1@node2.news.atman.pl> <mt1et9$5tj$2@node1.news.atman.pl>
    <mt1j7s$ado$1@node1.news.atman.pl> <mt1oci$oob$1@node2.news.atman.pl>
    <mt2euk$joa$1@z-news.wcss.wroc.pl> <mt3oub$j8r$1@node1.news.atman.pl>
    <mt4huo$491$1@z-news.wcss.wroc.pl> <mt4kh4$hp0$1@node1.news.atman.pl>
    <mt55pc$h4g$1@z-news.wcss.wroc.pl>
    NNTP-Posting-Host: dynamic62-133-142-051.ostnet.pl
    Mime-Version: 1.0
    Content-Type: text/plain; format=flowed; charset="iso-8859-2"; reply-type=original
    Content-Transfer-Encoding: 8bit
    X-Trace: node2.news.atman.pl 1442219905 1072 62.133.142.51 (14 Sep 2015 08:38:25 GMT)
    X-Complaints-To: u...@a...pl
    NNTP-Posting-Date: Mon, 14 Sep 2015 08:38:25 +0000 (UTC)
    In-Reply-To: <mt55pc$h4g$1@z-news.wcss.wroc.pl>
    X-Priority: 3
    X-MSMail-Priority: Normal
    X-Newsreader: Microsoft Windows Mail 6.0.6002.18197
    X-MimeOLE: Produced By Microsoft MimeOLE V6.0.6002.18463
    X-Antivirus: avast! (VPS 150913-1, 2015-09-13), Outbound message
    X-Antivirus-Status: Clean
    Xref: news-archive.icm.edu.pl pl.comp.programming:208275
    [ ukryj nagłówki ]

    Użytkownik "Waldek Hebisch" <h...@m...uni.wroc.pl> napisał:

    >> Nie wierze. C nie nadaje sie do weryfikacji formalnej poprawnosci programow
    >> w nim pisanych (chyba ze jest to baaardzo okrojone C - i to o wiele bardziej niz
    Misra C),
    >> a jadro to jaderko na przyslowiowych "kilku kartkach" i "specjalnie pisane" pod
    werfyfikacj?.
    >>
    >> W zwyklym C/C++ formalna weryfikacja pooprawnosci to zwykla
    >> uluda (i taka na zawsze zostanie).
    >>
    >
    > Mikrojado L4 ma kolo 8000 lini kodu.

    No to naprawde... Potega !
    PS: "My ze szwagrem" zweryfikujemy takie cus w miesiac za 34PLN/h :)

    > ZCW weryfikacja obemuje np. sprawdzenie ze nie ma przepelnien buforow.

    a wystarczylo uzyc jezyka w ktorym np. przepelnienie buforow nie wystepuje/
    nie grozi kolapsem (ehh ta "wysokopoziomowosc" C /C++:)

    > Co do C to jest rozpracowana odpowiednia logika i ponoc teraz
    > nie sprawia wiecej problemow niz inne jezyki.

    Jaasne. Wystaczy po prostu zrezygnowac z pointerow :)

    PS: Nie moge "wyjsc z podziwu" dlaczego do napisania tak malych przeciez rzeczy
    jak to mikrojadro nie uzyc chocby Ady , ktora z zalozenia o niebo lepiej
    nadaje sie do weryfikacji poprawnosci formalnej programow.
    Z C/C++ to najpierw stwarza sie problemy (poprzez samo jego uzycie) a pozniej
    bohatersko i wielkim nakladem sil sie rozwiazuje (typowe slodzienie herbaty
    przez mieszanie w lewo). Poza tym o ile jeszzce pamietam to glowna materia
    formalnej weryfikacji poprawnosci priogramow to nie wylapywanie jakiegos
    przepelnienia bufora, ale sprawdzanie zgodnosci "flow" kodu programu
    z "flow" projektu (badanie zgodnosci kodu z zalozeniami logicznymi).

    AK


    ---
    Ta wiadomość została sprawdzona na obecność wirusów przez oprogramowanie antywirusowe
    Avast.
    https://www.avast.com/antivirus

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: