On 06/10/2019 15:02, slawek wrote:
> No cóż - z takim znawcą jak ty - znawcą cyt. "zwykłego
> pieprzenia" - trudno polemizować.
> Więc taka mała prośba: funkcja muldiv(a, b, c) ma obliczać a*b/c
> tak aby unikać underflow i overflow, liczby są 64 bitowe, wynik
> też. Napisz wszystkie konieczne testy dla tego przypadku - tak
> abyś mógł zgodzić się że muldiv zostanie, cyt. "unittestowana".
> Chyba potrafisz, miszczu?!?

Jasne, miszczu. Przy czym nie ja, tylko przemysł.

Oczywiśćie w pewnych warunkach szacuje się ryzyko więc odpowiedź nie
będzie ścisła, tu masz przykłąd jednej z technologii w tym celu:

https://www.chipverify.com/systemverilog/systemveril
og-randomization

Albo może ogólniej:

https://en.wikipedia.org/wiki/Random_testing

A więc, miszczu, twój problem jest częsciowo rozwiązywany w granicach
zdrowego rozsądku mimo braku rozwiązania wprost.

Ale naprawde, podoba mi się Twoje podeście że jak ktoś wytnie Ci palcem
że masz zbyt trywialny przykład to go podkręcasz i znowu machasz rękami.

Czy już wpsomnałem że w pewnych warunkacj twój problem da się rozwiązać
formalnie? Tak, to też się robi tylko że tego nie można nazwać unit
testowaniem.

No dawaj, podkręcaj tą dziecinadę.