On 2011-12-22, Edek <e...@g...com> wrote:
> On 12/22/2011 01:09 AM, Andrzej Jarzabek wrote:
>> On 21/12/2011 19:37, Edek wrote:
>>>
>>> Z samego programowania dowody (pół)formalne stosuje
>>> się przy algorytmach wątkowych. Żaden unit test nie pokaże
>>> błędu wielowątkowego, co najwyżej wysypie się np. raz na 1e4.
>>
>> No więc jeśli wiesz, że błędna implementacja wysypie się raz na 1e4, to
>> jeśli zrobiłeś test, który odpala się 1e6 razy, to masz znacznie lepszą
>> gwarancję poprawności, niż gdybyś tylko zrobił dowód (pół)formalny.
>
> Bzdura...

Nie do końca. Jeśli napisałeś test *oraz* przeprowadziłeś dowód
(pół)formalny, to jesteś lepiej zabezpieczony. ale AJ pewnie chciał
zastąpić dowód testem.

--
Secunia non olet.
Stanislaw Klekot