Hledám knihy: Myslíme v C++ a v Javě

mikrom

  • ****
  • 321
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #150 kdy: 16. 09. 2019, 22:54:12 »
Vecko sa da otestovat.
Zriedkave chyby sa daju otestovat aspon v debuggeri, ze sa zmodifikuju premenne tak, aby dana situacia nastala.


Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #151 kdy: 16. 09. 2019, 23:27:40 »
Vecko sa da otestovat.
Zriedkave chyby sa daju otestovat aspon v debuggeri, ze sa zmodifikuju premenne tak, aby dana situacia nastala.

Problém je, že člověka tak nějak všechno nenapadne.

Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #152 kdy: 17. 09. 2019, 14:42:19 »
Vecko sa da otestovat.
Třeba souběh (race condition) se otestovat moc nedá.

Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #153 kdy: 17. 09. 2019, 14:55:26 »
Vecko sa da otestovat.
Třeba souběh (race condition) se otestovat moc nedá.

Nebo spousta situací v distribuovaných systémech

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #154 kdy: 17. 09. 2019, 16:49:20 »
Vecko sa da otestovat.
“Vécko” určitě, Java a PHP k němu pasují nejlépe  :D


Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #155 kdy: 17. 09. 2019, 16:50:32 »
Vecko sa da otestovat.
Třeba souběh (race condition) se otestovat moc nedá.
Jednotkově ne, ale existují metody pro ověření při překladu i běhu, třeba Go je pro své gorutiny používá.

BoneFlute

  • *****
  • 1 981
    • Zobrazit profil
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #156 kdy: 17. 09. 2019, 19:02:44 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.

Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #157 kdy: 17. 09. 2019, 19:21:55 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.

Kdo bude ty chyby vyrabet, aby meli ti nejzkusenejsi co hledat?
Budou jenom hledat? Nebo budou mit cas i na neco jineho?

Kit

  • *****
  • 704
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #158 kdy: 17. 09. 2019, 19:22:10 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.

Jak bys ty testy chtěl psát jinak než ručně? Jistě, boilerplates na testy si necháš vygenerovat, ale asserty musíš dopsat ručně podle zadání úlohy. Nic jiného v tu chvíli nemáš.

BoneFlute

  • *****
  • 1 981
    • Zobrazit profil
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #159 kdy: 17. 09. 2019, 20:52:20 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.

Kdo bude ty chyby vyrabet, aby meli ti nejzkusenejsi co hledat?
Budou jenom hledat? Nebo budou mit cas i na neco jineho?

Asi jsem se špatně vyjádřil.

Narážel jsem na poznámku, že go-lang dokáže detekovat race condition. A když to dokáže překladač, který napsal zkušený vývojář zaměřující se na problém, tak je to IMHO vždycky lepší, než když si ty chyby a testy na to bude hledat/psát každej koncák sám. Teoreticky by samozřejmě koncák měl mít větší předpoklady pro napsání lepšího testu. Ale v praxi to podle všeho nefunguje.

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #160 kdy: 17. 09. 2019, 20:55:51 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.
Také existuje formální verifikace (při překladu), kdy se ověřují různé invarianty pomocí symbolických dokazovačů (theorem provers), třeba jedno rozšíření Haskellu ověřuje platnost podmínek ohledně (endo)funktorů, které běžný překladač prostě ignoruje. Problém s takovouto verifikací je, že naučit se ji používat je samo o sobě náročné (nemluvě o pochopení implementace). V této inherentní složitosti je podobná závislostním typům, u kterých si také málokdo z fleku představí, proč jsou o řád lepší než běžná typová kontrola.

BoneFlute

  • *****
  • 1 981
    • Zobrazit profil
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #161 kdy: 17. 09. 2019, 23:17:08 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.
třeba jedno rozšíření Haskellu ověřuje platnost podmínek ohledně (endo)funktorů, které běžný překladač prostě ignoruje.

Měl by si hint?

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #162 kdy: 17. 09. 2019, 23:33:55 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.
třeba jedno rozšíření Haskellu ověřuje platnost podmínek ohledně (endo)funktorů, které běžný překladač prostě ignoruje.
Měl by si hint?
http://www.cse.chalmers.se/~peterd/papers/TestingModelChecking.pdf

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #163 kdy: 17. 09. 2019, 23:56:08 »
A proto jakékoliv ručně psané testy jsou z principu špatně. (Tím nechci říct, že by se neměli psát.) Bylo by mnohem lepší, když budou chyby hledat ti nejzkušenější vývojáři a zadrátuje se to do stroje.
třeba jedno rozšíření Haskellu ověřuje platnost podmínek ohledně (endo)funktorů, které běžný překladač prostě ignoruje.
Měl by si hint?
Tohle je stravitelnější: http://kindsoftware.com/documents/reports/Green10.pdf

BoneFlute

  • *****
  • 1 981
    • Zobrazit profil
Re:Hledám knihy: Myslíme v C++ a v Javě
« Odpověď #164 kdy: 18. 09. 2019, 15:18:54 »