Bug hunt: hướng đối số, kế thừa hướng và phép chia nguyên
Class cần viết: qutil · cần máy chấm có SystemVerilog · 6 case (2 mẫu) · giới hạn 4 s/case · ~25 phút
Một đồng nghiệp viết lớp tiện ích dưới đây cho testbench. Code biên dịch không lỗi, không cảnh báo, nhưng kết quả sai lung tung. Starter là nguyên văn code của đồng nghiệp. Hãy tìm và sửa cho đúng đặc tả. Giữ nguyên tên hàm và thứ tự đối số; được đổi hướng và kiểu của đối số.
| Hàm | Đặc tả |
|---|---|
real mean(int q[$]) |
trung bình cộng chính xác (dạng real) của các phần tử; q rỗng → 0.0 |
void add_all(q, int a) |
cộng a vào từng phần tử của queue của nơi gọi |
task sum_into(s, q) |
tính tổng các phần tử của q và trả qua s |
void partition(q, int pivot, lo, hi) |
nối thêm vào cuối lo các phần tử < pivot, vào cuối hi các phần tử >= pivot, giữ thứ tự; nội dung sẵn có của lo, hi được giữ nguyên |
Ví dụ: mean('{1, 2}) = 1.5. Với lo = '{9}, hi = '{}, gọi partition('{5, 1, 7}, 5, lo, hi) cho lo = '{9, 1}, hi = '{5, 7}.
Testbench luôn truyền biến (không truyền hằng) cho mọi đối số queue và cho s.
Các case
- meanmẫu
- add_all sửa tại chỗmẫu
Cùng 4 case ẩn kiểm các yêu cầu còn lại của đề. Case ẩn chỉ báo đúng/sai, không nói chi tiết: tự tìm chỗ sai từ đề, hoặc mở gợi ý.
Testbench có mô hình tham chiếu riêng, độc lập với lời giải mẫu. Lời giải mẫu đã chạy qua mọi case trên simulator thật, và 4 bản lỗi mẫu đều bị ít nhất một case bắt. Case mẫu sai sẽ cho biết chỗ sai đầu tiên (giá trị mong đợi so với giá trị nhận được); case ẩn chỉ báo đúng/sai.