-
Received: by 10.52.72.16 with SMTP id z16mr1523769vdu.15.1348399635021; Sun, 23 Sep
2012 04:27:15 -0700 (PDT)
Received: by 10.52.72.16 with SMTP id z16mr1523769vdu.15.1348399635021; Sun, 23 Sep
2012 04:27:15 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.supermedia.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.g
lorb.com!l8no6674548qao.0!news-out.google.com!e10ni13434282qan.0!nntp.google.co
m!l8no6674544qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-f
or-mail
Newsgroups: pl.comp.programming
Date: Sun, 23 Sep 2012 04:27:14 -0700 (PDT)
In-Reply-To: <9...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=31.62.218.12;
posting-account=Sb6m8goAAABbWsBL7gouk3bfLsuxwMgN
NNTP-Posting-Host: 31.62.218.12
References: <3...@g...com>
<3...@g...com>
<k3idkc$ne3$1@node2.news.atman.pl>
<9...@g...com>
<9...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8...@g...com>
Subject: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
From: kenobi <p...@g...com>
Injection-Date: Sun, 23 Sep 2012 11:27:15 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:199532
[ ukryj nagłówki ]> >
>
> >
>
> Wydaje mi sie ze pewna czesc bledow mozna by
>
> wychwytywac w ten sposob ze zaklada sie bardzo
>
> scisle asserty na input (przy czym ten input
>
> to moze byc bardzo wiele bardzo roznych
>
> czynnikow im wiecej tym lepiej) po czym
>
> sledzi 'naocznie' czy kod bedzie dzialac poprawnie w pelnym zakresie
przepuszczonych
>
> wartosci - taka procedura gwarantuje pewne
>
> zezpieczenstwo, tj to ze dany program bedzie
>
> sie zachowywal ok w danym szerokim zakresie
>
> stanów (moze tez go w tym sensie umacniac
>
> czyli podciagac szerokosc przestrzeni tego
>
> stanu) - a jak juz cos z zewnatrz spowoduje
>
> ze cos wyskoczy poza ten zakres to i tak ciezko
>
> cos poradzic
Niektore rzeczy na pewno mozna kontrolowac w
jezyku np deklarowanie typow o scislych jawnych
zakresach np int od 0 do 100 gdzie jezyk
pilnowalby czy nie ma przekroczenia, albo
tez wymuszanie wszelkich mozliwych assertow
na rozne rzeczy - to by raczej moglo pomoc,
acz nie jestem pewien na ile ada to robi
Następne wpisy z tego wątku
- 24.09.12 15:48 slawek
- 24.09.12 16:26 Adam Wysocki
- 24.09.12 16:44 Jacek
- 24.09.12 16:52 Roman W
- 24.09.12 17:06 Edek Pienkowski
- 24.09.12 18:07 AK
- 24.09.12 18:12 R.e.m.e.K
- 24.09.12 19:08 Karol Y
- 24.09.12 21:33 slawek
- 24.09.12 21:41 slawek
- 24.09.12 23:40 Edek Pienkowski
- 25.09.12 02:05 Kviat
- 25.09.12 08:48 kenobi
- 25.09.12 09:26 kenobi
- 25.09.12 11:12 Roman W
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-07-02 Realme 7 Na co zmienić?
- 2024-06-27 Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-07-02 znalazłem samochód ;)
- 2024-07-02 Pierwszeństwo łamane
- 2024-07-02 zamek
- 2024-07-02 Akumulatory VRLA
- 2024-07-03 Białystok => Inżynier DevOps Conexa First (Kontraktor) <=
- 2024-07-03 MĂźnchen => Test Development Engineer (m/w/d) <=
- 2024-07-03 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-07-03 Warszawa => Programista Full Stack (.Net Core) <=
- 2024-07-02 Kraków => Spedytor międzynarodowy <=
- 2024-07-02 Poznań => Senior React Native Developer <=
- 2024-07-02 Rzeszów => Frontend Developer (React) <=
- 2024-07-02 Warszawa => Fullastack (Java) Developer <=
- 2024-07-02 reparacje