-
Data: 2015-03-26 00:19:47
Temat: Re: poprawność algorytmu
Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 25/03/2015 20:05, j...@p...onet.pl wrote:
>> A zleceniodawca wymaga formalnego dowodu poprawności programu?
>
> nie wymaga, ale jeśli mój algorytm będzie niepoprawny to zostanie
> poważnie naruszona reputacja jego firmy
Nie znam się na algorytmach i ich dowodzeniu, ale mogę powiedzieć tyle,
że normalną praktyką w przemyśle jest testowanie a nie dowodzenie, bo
dowodzenie jest bardzo kosztowne - jest uważane za nieopłacalne nawet
tam, gdzie wchodzą w grę wielomilionowe straty (np. w finansach), a
zaczyna się je stosować AFAIK gdzieś w okolicach oprogramowania pojazdów
kosmicznych - duże potencjalne straty, stosunkowo mała liczba linii kodu.
Poprawność programu praktycznie nigdy nie jest kwestią 100% pewności a
zawsze jest kwestią zarządzania ryzykiem. Zawsze jest pewne
prawdopodobieństwo, że program zawiedzie powodując jakieś straty - nawet
jeśli formalnie udowodniłeś jego poprawność - i zawsze jest pytanie, ile
czasu, pieniędzy i innych zasobów można poświęcić, żeby to ryzyko o
ileśtam zredukować.
Trochę piszę oczywistości, 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.
Następne wpisy z tego wątku
- 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.
- 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
Najnowsze wątki z tej grupy
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-27 Dziwne... :)
- 2025-07-27 Czy to jeszcze dziala
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-26 Elektrownia Siersza w kolejce do zaorania
- 2025-07-26 Odkryte w Polsce złoża ropy i gazu powodują nerwowość u Niemców
- 2025-07-26 Odbiornik ADS-B i wzmacniacze
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Warszawa => Head of Technology <=
- 2025-07-26 Warszawa => Strategic Account Manager <=
- 2025-07-26 Mołdawia. Demokratura zastępuje demokrację.
- 2025-07-26 Prawicowa influencerka Candace Owens zapowiada walkę do końca ,,dla całego świata" [z parą prezydencką Macron]
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Ukraińscy kibice [w trakcie meczu] wzywali do zabijania Serbów
- 2025-07-26 Przejechałbym babę...