-
Data: 2010-08-17 11:01:38
Temat: Re: jedno proste pytanie
Od: j...@p...onet.pl szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> Co to znaczy "poprawność programu"? Sprecyzuj.
Każdy student informatyki wie, że:
poprawność = częściowa poprawność + własność stopu + określoność obliczeń
gdzie częsciowa poprawność = zgodność z formalną specyfikacją
> Nigdy do końca nie wiadomo, czy program nie zawiera błedów.
No właśnie o to chodzi, że testami się tej pewności nie osiągnie, natomiast są
metody formalne, np. logika Hoare'a które taką pewność dają. Problem, w tym, że
są to metody pracochłonne i - przy bardziej skomplikowanych programach - trudne
matematycznie. Stąd całe moje pytanie: czy programiści wykorzystują je w
praktyce. Oczywiście są sytuacje kiedy dowód formalny poprawności jest bardzo
pożądany, np. gdy od poprawności programu zależy ludzkie życie.
--
Wysłano z serwisu OnetNiusy: http://niusy.onet.pl
Następne wpisy z tego wątku
- 17.08.10 11:20 Michal Kleczek
- 17.08.10 12:07 j...@p...onet.pl
- 17.08.10 13:22 Maciej Sobczak
- 17.08.10 14:47 j...@p...onet.pl
- 17.08.10 15:03 j...@p...onet.pl
- 17.08.10 20:49 Maciej Sobczak
- 18.08.10 06:36 shio
- 18.08.10 07:03 Michał Sopniewski
- 18.08.10 07:30 Maciej Sobczak
- 18.08.10 08:03 shio
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-12 Ryga => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i Kad
- 2025-03-12 Poznań => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-12 Warszawa => Programista C <=
- 2025-03-12 Chrzanów => Spedytor Międzynarodowy (handel ładunkami/prowadzenie f
- 2025-03-12 64 proc. kierowców zrobi dodatkowo maks. 500 m, aby przy okazji zatankować pojazd
- 2025-03-12 Warszawa => Generative AI Engineer <=
- 2025-03-12 Dęblin => Node.js / Fullstack Developer <=
- 2025-03-12 Warszawa => Gen AI Engineer <=
- 2025-03-12 Warszawa => Data Engineer (Tech Lead) <=
- 2025-03-12 Gdańsk => PHP Developer <=
- 2025-03-12 China-Kraków => Production Coordinator / Representant Product Dev <=
- 2025-03-12 Warszawa => JavaScript / Node / Fullstack Developer <=
- 2025-03-12 China-Kraków => Key Account Manager IT <=
- 2025-03-12 Warszawa => Java Developer <=
- 2025-03-12 Warszawa => Junior Digital Product Manager <=