-
X-Received: by 10.140.94.105 with SMTP id f96mr40328qge.36.1427184674217; Tue, 24 Mar
2015 01:11:14 -0700 (PDT)
X-Received: by 10.140.94.105 with SMTP id f96mr40328qge.36.1427184674217; Tue, 24 Mar
2015 01:11:14 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
z20no4071457igj.0!news-out.google.com!q90ni528qgd.1!nntp.google.com!z107no44684
52qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 24 Mar 2015 01:11:14 -0700 (PDT)
In-Reply-To: <4...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.186.75.101;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 46.186.75.101
References: <4...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2...@g...com>
Subject: Re: poprawność algorytmu
From: g...@g...com
Injection-Date: Tue, 24 Mar 2015 08:11:14 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207664
[ ukryj nagłówki ]W dniu poniedziałek, 23 marca 2015 15:12:25 UTC+1 użytkownik j...@p...onet.pl
napisał:
> Uczyli mnie na studiach dowodzenia poprawności algorytmów w logice Hoare'a. Jednak
poprawności trudniejszych algorytmów człowiem nie dowiedzie, a automatyzacja jest
niemożliwa, bo nie da się zautomatyzować generowania niezmienników. Testowanie
dowiedzie występowania błędów, ale nie dowiedzie że ich nie ma. Zaprogramowałem
pewien algorytm w PHP5+MySQL i nie jestem pewien czy jest poprawny. Czy są jeszcze
jakieś metody weryfikacji poprawności algorytmów poza dowodzeniem i testowaniem?
PHP nie jest pod tym wzgledem najbardziej fortunnym systemem, ale mozesz
sobie recznie wypisac sygnatury typow dla zmiennych i funkcji i sprawdzic,
czy program jest prawidlowo napisany na poziomie typow.
Wydaje mi sie tez, ze w tej sytuacji najkorzystniej byloby po prostu
napisac sprytne testy obejmujace wszystkie warunki brzegowe, a jesli masz
taka mozliwosc, to rowniez wygenerowac dostatecznie duze losowe dane testowe
i sprawdzic, czy program zachowuje sie prawidlowo
Następne wpisy z tego wątku
- 24.03.15 17:28 Maciej Sobczak
- 25.03.15 06:47 Andrzej Jarzabek
- 25.03.15 20:05 j...@p...onet.pl
- 25.03.15 20:06 j...@p...onet.pl
- 25.03.15 21:04 bartek
- 25.03.15 23:07 Andrzej Jarzabek
- 26.03.15 00:19 Andrzej Jarzabek
- 26.03.15 15:03 Maciej Sobczak
- 26.03.15 16:19 bartek
- 26.03.15 22:29 Andrzej Jarzabek
- 27.03.15 09:13 M.M.
- 27.03.15 10:06 Maciej Sobczak
- 27.03.15 10:57 g...@g...com
- 27.03.15 11:09 g...@g...com
- 27.03.15 12:24 M.M.
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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??
Najnowsze wątki
- 2025-03-14 Spalił się autobus :-)
- 2025-03-14 Policjanci z Piątku
- 2025-03-14 Lublin => JavaScript / Node / Fullstack Developer <=
- 2025-03-14 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2025-03-14 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-14 VAT-R Umowa najmu na adres zamieszkania
- 2025-03-14 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-14 Warszawa => Junior Rekruter <=
- 2025-03-14 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-14 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-14 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-03-13 Raspberry Pi 3 Model B+
- 2025-03-13 Kuchenka elektryczna
- 2025-03-12 test
- 2025-03-13 własny ekran startowy