-
Data: 2019-10-06 15:35:45
Temat: Re: POpularno?? j?zyk?w programowania ??
Od: heby <h...@p...onet.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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ę.
Następne wpisy z tego wątku
- 06.10.19 19:03 J-23
- 06.10.19 23:21 Maciej Sobczak
- 07.10.19 00:50 J-23
- 07.10.19 19:47 heby
- 07.10.19 19:50 heby
- 07.10.19 23:08 J-23
- 08.10.19 08:11 AK
- 08.10.19 08:13 AK
- 08.10.19 08:48 AK
- 08.10.19 09:28 Maciej Sobczak
- 08.10.19 09:34 Maciej Sobczak
- 08.10.19 09:54 AK
- 10.10.19 21:40 heby
- 10.10.19 21:52 heby
- 10.10.19 23:08 AK
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-24 Aby WKOOOORWIĆ ekofaszystów ;-)
- 2024-11-22 OC - podwyżka
- 2024-11-22 wyszedł z domu bez buta
- 2024-11-22 Bieda hud.
- 2024-11-24 DS1813-10 się psuje
- 2024-11-23 Białystok => Inżynier bezpieczeństwa aplikacji <=
- 2024-11-23 Szczecin => QA Engineer <=
- 2024-11-23 Warszawa => SEO Specialist (15-20h tygodniowo) <=
- 2024-11-22 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-11-22 Warszawa => Senior Account Manager <=
- 2024-11-22 Warszawa => Key Account Manager <=
- 2024-11-22 Warszawa => DevOps Specialist <=
- 2024-11-22 Kraków => IT Expert (Network Systems area) <=
- 2024-11-22 Warszawa => Infrastructure Automation Engineer <=
- 2024-11-22 Warszawa => Presales / Inżynier Wsparcia Technicznego IT <=