Kiểm thử dựa trên thuộc tính trong Erlang với PropEr

Các bài kiểm thử đơn vị truyền thống thường bỏ sót các trường hợp biên quan trọng vì chúng chỉ đánh giá các kịch bản cụ thể mà bạn viết. Kiểm thử dựa trên thuộc tính thay đổi điều này bằng cách tự động tạo ra một loạt các đầu vào kiểm thử dựa trên các thuộc tính mà mã của bạn phải thỏa mãn. Khóa học này giới thiệu cho bạn các khái niệm và cách thực thi kiểm thử dựa trên thuộc tính trong Erlang bằng cách sử dụng PropEr. Bạn sẽ chuyển từ việc viết các lời khẳng định thủ công sang xác định các thuộc tính cấp cao luôn phải đúng, cho phép framework kiểm thử thực hiện công việc nặng nhọc là tìm lỗi. Bạn sẽ học cách viết các bộ tạo tùy chỉnh, thu gọn các trường hợp kiểm thử thất bại về dạng đơn giản nhất và tích hợp các thực tiễn kiểm thử hiện đại vào quy trình phát triển của mình. Bạn sẽ học được gì: - Hiểu sự khác biệt cốt lõi giữa kiểm thử đơn vị truyền thống và kiểm thử dựa trên thuộc tính - Xác định các thuộc tính toán học và logic mô tả hành vi chính xác của hệ thống - Xây dựng các trình tạo dữ liệu tùy chỉnh bằng PropEr để kiểm thử các cấu trúc và kiểu dữ liệu phức tạp - Áp dụng việc thu gọn trường hợp kiểm thử để nhanh chóng cô lập nguyên nhân gốc rễ của các lỗi - Tích hợp các kỹ thuật kiểm thử dựa trên thuộc tính có trạng thái cho các hệ thống phức tạp - Cấu trúc các bộ kiểm thử Erlang của bạn để chạy hiệu quả trong các pipeline phát triển hiện đại Khóa học này bắt đầu với các khái niệm nền tảng, xác định thuộc tính là gì và framework PropEr hoạt động như thế nào, trước khi hướng dẫn bạn qua các ví dụ thực tế, có văn bản về việc tạo bộ tạo và thực thi kiểm thử. Khóa học được thiết kế cho các nhà phát triển phần mềm và kỹ sư QA đã quen thuộc với cú pháp cơ bản của Erlang và muốn nâng cao tiêu chuẩn kiểm thử của họ. Không yêu cầu kinh nghiệm trước về kiểm thử dựa trên thuộc tính. Hãy bắt đầu đọc để xây dựng các hệ thống có tính chịu lỗi cao ngay hôm nay.