-
X-Received: by 10.140.108.38 with SMTP id i35mr148643qgf.3.1427378586569; Thu, 26 Mar
2015 07:03:06 -0700 (PDT)
X-Received: by 10.140.108.38 with SMTP id i35mr148643qgf.3.1427378586569; Thu, 26 Mar
2015 07:03:06 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
z20no3485049igj.0!news-out.google.com!f74ni425qge.0!nntp.google.com!z107no49548
20qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 26 Mar 2015 07:03:06 -0700 (PDT)
In-Reply-To: <mevfpd$gpa$1@srv.chmurka.net>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=31.186.238.50;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 31.186.238.50
References: <4...@g...com>
<d...@g...com>
<meti4e$osd$1@srv.chmurka.net>
<f...@g...com>
<mevfpd$gpa$1@srv.chmurka.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e...@g...com>
Subject: Re: poprawność algorytmu
From: Maciej Sobczak <s...@g...com>
Injection-Date: Thu, 26 Mar 2015 14:03:06 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207672
[ ukryj nagłówki ]
> Nie znam się na algorytmach i ich dowodzeniu, ale mogę powiedzieć tyle,
> że normalną praktyką w przemyśle jest testowanie a nie dowodzenie,
Głównie dlatego, że testowanie jest zrozumiałe zarówno dla tych, którzy to robią, jak
i dla tych, którzy to mają zaakceptować jako element projektu (czytaj: zapłacić za to
lub uznać jego ważność).
W przeciwieństwie do dowodów, które są niezrozumiałe i stąd też niechętnie
akceptowane.
> bo
> dowodzenie jest bardzo kosztowne - jest uważane za nieopłacalne
Nie. Zainteresowanie dowodzeniem rośnie właśnie dlatego, że jest tańsze. Może być
nawet dużo tańsze.
> nawet
> tam, gdzie wchodzą w grę wielomilionowe straty (np. w finansach),
W finansach nie ma strat. Albo się "traci" coś, czego nigdy nie było (wtedy nie ma
strat), albo można to stosunkowo łatwo odkręcić przez reklamacje i wtedy (relatywnie)
też nie ma strat.
Masz rację, że w finansach nie stosuje się dowodów ale nie dlatego, że są droższe od
testów, tylko dlatego, że testów też się tam nie robi.
> a
> zaczyna się je stosować AFAIK gdzieś w okolicach oprogramowania pojazdów
> kosmicznych - duże potencjalne straty, stosunkowo mała liczba linii kodu.
Dowody da się automatyzować. Przy dużej liczbie linii kodu nie masz szans go pokryć
testami, natomiast nadal masz szansę robić dowody. Stąd też to rosnące
zainteresowanie.
> Poprawność programu praktycznie nigdy nie jest kwestią 100% pewności a
> zawsze jest kwestią zarządzania ryzykiem.
Tak.
> Trochę piszę oczywistości,
Nie.
> ale piszę to dlatego, że skoro twój
> zleceniodawca wymaga, żebyś robił to sam, to być może inne względy
> (zachowanie tajemnicy? koszty?) są dla niego ważniejsze niż ryzyko
> utraty reputacji na wskutek błędnego działania programu. Druga możliwość
> jest oczywiście taka, że nie jest tego świadomy.
Stawiam na drugą. Jeśli ten program jest naprawdę taki ważny, to zleceniodawca
powinien zlecić wszystkie metody weryfikacji jakie da się zastosować - review, testy
i dowody. I normalne standardy jakości wymagają, żeby każda z tych metod angażowała
*niezależną* osobę do jej przeprowadzenia (nikt nie widzi własnych błędów).
Stąd też bzdurą jest oczekiwanie, że wszystko zrobi jeden wykonawca.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 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.
- 27.03.15 13:21 g...@g...com
- 27.03.15 15:12 Maciej Sobczak
- 27.03.15 16:00 g...@g...com
- 27.03.15 21:25 Andrzej Jarzabek
- 28.03.15 05:04 M.M.
- 28.03.15 09:40 Maciej Sobczak
- 28.03.15 09:45 g...@g...com
- 28.03.15 10:10 Maciej Sobczak
Najnowsze wątki z tej grupy
- 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??
- 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
Najnowsze wątki
- 2024-11-29 Dławik CM
- 2024-11-29 [OT] Lewe oprogramowanie
- 2024-11-29 Błonie => Sales Specialist <=
- 2024-11-29 Warszawa => IT Expert (Network Systems area) <=
- 2024-11-29 Warszawa => Ekspert IT (obszar systemów sieciowych) <=
- 2024-11-29 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-29 Białystok => Inżynier Serwisu Sprzętu Medycznego <=
- 2024-11-29 Pómpy ciepła darmo rozdajoo
- 2024-11-29 Białystok => Application Security Engineer <=
- 2024-11-29 Białystok => Programista Full Stack (.Net Core) <=
- 2024-11-29 Gdańsk => Software .Net Developer <=
- 2024-11-29 Wrocław => Key Account Manager <=
- 2024-11-29 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-29 Chrzanów => Specjalista ds. public relations <=
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO