Modul ini menuntaskan lapisan keandalan program Erlang: typespec sebagai anotasi tipe, dialyzer sebagai analisis statisnya, EUnit dan Common Test sebagai dua kerangka pengujian bawaan, PropEr untuk pengujian berbasis properti, dan ct_doctest untuk menguji contoh dokumentasi secara langsung. Keenamnya saling melengkapi dengan tanggung jawab yang berbeda, dan seluruh eksekusinya nyata pada OTP 29.1.2.
Tipe dan pengujian
Keandalan program: typespec, dialyzer, EUnit, Common Test, PropEr, dan ct_doctest pada OTP 29.
0/0 selesai
- Typespec
Anotasi -spec dan -type untuk mendokumentasikan tipe dan mendukung dialyzer.
- Dialyzer
Success typing, pembuatan PLT, dan cara membaca konflik dialyzer.
- EUnit
Unit test dengan EUnit: makro assert, generator, dan fixture.
- Test suite Common Test
Test suite Common Test: group, perangkat konfigurasi, dan siklus hidupnya.
- PropEr dan ct_doctest
Pengujian berbasis properti dengan PropEr dan contoh dokumentasi dengan ct_doctest.