PPP 040603 - Unit Testing a Smart Contract
Tóm tắt nội dung
Video mô tả cách kiểm tra đơn vị một hợp đồng thông minh trong blockchain Cardano. Hợp đồng thông minh đang được kiểm tra có Hàm xác thực kiểm tra xem Redeemer được chuyển cho nó là âm hay không sau một thời hạn nhất định. Tác giả sử dụng dữ liệu tùy chỉnh Kiểu để thể hiện thời hạn, mặc dù giá trị thời gian POSIX cũng có thể được sử dụng.
Tác giả giải thích cách tạo bộ thử nghiệm cho trình xác thực này. Các thử nghiệm bộ cho bốn kết hợp khác nhau của Redeemer và giá trị thời hạn. Tác giả giải thích sáu bài kiểm tra chi tiết và cách thực hiện chúng.
Video cũng giải thích cách tạo hai giao dịch trợ giúp: một để tạo UTXO tại địa chỉ tập lệnh và một giao dịch khác để tiêu thụ nó. Tác giả chỉ ra cách kết hợp các giao dịch bằng cách sử dụng Hàm MCONCAT để tạo một giao dịch phức tạp. Tác giả kết luận rằng bộ thử nghiệm có thể được sử dụng để xác minh tính chính xác của hàm xác thực trong hợp đồng thông minh.
