Pengujian Berasaskan Hartanah dalam Erlang dengan PropEr

Ujian unit tradisional sering terlepas kes tepi kritikal kerana ia hanya menilai senario khusus yang anda tulis. Pengujian berasaskan hartanah mengubah keadaan ini dengan menjana pelbagai jenis input ujian secara automatik berdasarkan sifat yang mesti dipenuhi oleh kod anda. Kursus ini memperkenalkan anda kepada konsep dan pelaksanaan pengujian berasaskan hartanah dalam Erlang menggunakan PropEr. Anda akan beralih daripada menulis penegasan manual kepada mentakrifkan hartanah peringkat tinggi yang mesti sentiasa benar, membolehkan kerangka kerja ujian melakukan tugas berat dalam mencari pepijat. Anda akan belajar cara menulis penjana tersuai, mengecilkan kes ujian yang gagal kepada bentuk paling ringkas, dan mengintegrasikan amalan ujian moden ke dalam aliran kerja pembangunan anda. Perkara yang akan anda pelajari: - Memahami perbezaan teras antara ujian unit tradisional dan pengujian berasaskan hartanah - Mentakrifkan sifat matematik dan logik yang menerangkan tingkah laku sistem yang betul - Membina penjana data tersuai menggunakan PropEr untuk menguji struktur dan jenis yang kompleks - Menggunakan pengecilan kes ujian untuk mengasingkan punca kegagalan dengan cepat - Mengintegrasikan teknik pengujian berasaskan hartanah yang mengekalkan keadaan untuk sistem yang kompleks - Menyusun suite ujian Erlang anda agar berjalan dengan cekap dalam saluran paip pembangunan moden Kursus ini bermula dengan konsep asas, mentakrifkan apakah itu hartanah dan cara kerangka kerja PropEr beroperasi, sebelum membimbing anda melalui contoh bertulis dan praktikal mengenai penciptaan penjana dan pelaksanaan ujian. Ia direka untuk pembangun perisian dan jurutera QA yang sudah biasa dengan sintaks asas Erlang dan ingin meningkatkan standard ujian mereka. Tiada pengalaman terdahulu dalam pengujian berasaskan hartanah diperlukan. Mula membaca untuk membina sistem yang sangat tahan lasak hari ini.