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

[mikrom]

Vecko sa da otestovat.
Zriedkave chyby sa daju otestovat aspon v debuggeri, ze sa zmodifikuju premenne tak, aby dana situacia nastala.

[Reklama]

[Cikáda]

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.

[Jiří Havel]

Vecko sa da otestovat.

Třeba souběh (race condition) se otestovat moc nedá.

[Ondra Satai Nekola]

Vecko sa da otestovat.

Třeba souběh (race condition) se otestovat moc nedá.

Nebo spousta situací v distribuovaných systémech

[Idris]

Vecko sa da otestovat.

“Vécko” určitě, Java a PHP k němu pasují nejlépe 

[Reklama]

[Idris]

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]

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.

[listoper]

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]

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]

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]

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]

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]

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]

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]

Perfekt, dík.