Test
Tổng quan
Aiken cung cấp sự hỗ trợ cho việc viết và thực thi các bài kiểm tra. Bạn có thể viết các bài kiểm tra trực tiếp trong mã của mình và chạy chúng một cách nhanh chóng bằng cách sử dụng công cụ aiken check.
Để viết bài kiểm tra trong Aiken, bạn sử dụng từ khóa test, như sau:
test foo() {
1 + 1 == 2
}
Mỗi bài kiểm tra là một hàm được đặt tên không có đối số và trả về một giá trị boolean. Bài kiểm tra được coi là hợp lệ nếu nó trả về True.
Bạn có thể viết các bài kiểm tra ở bất kỳ đâu trong mã của mình và chúng có thể thực hiện lệnh gọi hàm và sử dụng các hằng số như bình thường. Tuy nhiên, các bài kiểm tra không thể gọi các bài kiểm tra khác. Nếu bạn muốn sử dụng lại mã giữa các bài kiểm tra, bạn có thể tạo một hàm riêng.
Mặc dù khung thử nghiệm còn đơn giản ở thời điểm hiện tại, nhưng nó vẫn hữu ích. Trong tương lai, Aiken dự kiến sẽ giới thiệu các đối số cho các bài kiểm tra để biến chúng thành các thuộc tính hoàn chỉnh. Các đối số sẽ được tạo ngẫu nhiên và các bài kiểm tra sẽ được thực hiện hàng trăm lần.
Một điều thú vị về các bài kiểm tra là chúng sử dụng cùng một máy ảo với máy thực thi hợp đồng trên chuỗi. Nói cách khác, chúng là các đoạn mã thực tế trên chuỗi mà bạn có thể chạy và suy luận trong cùng bối cảnh với mã sản xuất của bạn.
Test reports
Đây là một ví dụ minh họa về cách viết một hàm đơn giản cùng với các bài kiểm tra đơn vị:
fn add_one(n: Int) -> Int {
n + 1
}
test add_one_1() {
add_one(0) == 1
}
test add_one_2() {
add_one(-42) == -41
}
Khi chạy aiken check trên dự án của chúng ta, chúng ta sẽ nhận được một báo cáo tương tự như sau:
aiken check
Compiling aiken-lang/stdlib 1.7.0 (D:Workspaceaiken-tutorialproject