Property-Based Testing sa Erlang gamit ang PropEr

Ang mga tradisyunal na unit test ay madalas na nakakaligtaan ang mga kritikal na edge case dahil sinusuri lamang nila ang mga tiyak na senaryo na isinulat mo. Binabago ito ng property-based testing sa pamamagitan ng awtomatikong pag-generate ng malawak na hanay ng mga test input batay sa mga property na dapat tuparin ng iyong code. Ipinapakilala sa iyo ng kursong ito ang mga konsepto at pagsasagawa ng property-based testing sa Erlang gamit ang PropEr. Lilipat ka mula sa pagsusulat ng mga manual assertion patungo sa pagtukoy ng mga high-level property na dapat palaging totoo, na nagbibigay-daan sa testing framework na gawin ang mabigat na trabaho sa paghahanap ng mga bug. Matututo kang sumulat ng mga custom generator, paliitin ang mga bigong test case sa kanilang pinakasimpleng anyo, at i-integrate ang mga modernong kasanayan sa pagsubok sa iyong development workflow. Ang iyong mga matututunan: - Unawain ang mga pangunahing pagkakaiba sa pagitan ng tradisyunal na unit testing at property-based testing - Tukuyin ang mga mathematical at logical property na naglalarawan ng tamang pag-uugali ng sistema - Bumuo ng mga custom data generator gamit ang PropEr upang subukan ang mga kumplikadong istruktura at uri - Ilapat ang test-case shrinking upang mabilis na ihiwalay ang ugat ng mga pagkabigo - I-integrate ang mga teknik sa stateful property-based testing para sa mga kumplikadong sistema - I-ayos ang iyong mga Erlang test suite upang tumakbo nang mahusay sa loob ng mga modernong development pipeline Nagsisimula ang kursong ito sa mga pangunahing konsepto, tinutukoy kung ano ang isang property at kung paano gumagana ang PropEr framework, bago ka gabayan sa mga nakasulat at praktikal na halimbawa ng paggawa ng generator at pagpapatupad ng test. Ito ay idinisenyo para sa mga software developer at QA engineer na pamilyar sa pangunahing syntax ng Erlang at gustong i-angat ang kanilang mga pamantayan sa pagsubok. Walang kinakailangang paunang karanasan sa property-based testing. Simulan ang pagbabasa upang bumuo ng mga lubos na matatag na sistema ngayon.