Tôi muốn bạn đóng vai một kỹ sư nghiệm thu chạy thử đang viết kế hoạch Kiểm thử Nghiệm thu tại Nhà máy (Factory Acceptance Test - FAT). Máy móc: . Dưới đây là tài liệu đặc tả chức năng, được đánh số theo từng điều khoản.
Hãy viết các kịch bản kiểm thử (test cases) dưới dạng bảng:
Mã Test | Điều khoản đặc tả | Điều kiện tiên quyết | Hành động (những gì tôi thực hiện hoặc cưỡng bức tín hiệu) | Kết quả kỳ vọng (chính xác tên tag, giá trị, nội dung hiển thị HMI và thời gian) | Đạt/Không đạt | Người chứng kiến
Với mỗi điều khoản, hãy bao quát đầy đủ:
1. Vận hành bình thường: khởi động, chạy, dừng, chuyển đổi chế độ.
2. Từng cảm biến bị kẹt mức ON, kẹt mức OFF và chập chờn nhấp nháy. Từng cơ cấu chấp hành không dịch chuyển được.
3. Lỗi xảy ra trong quá trình dừng và trong quá trình xóa lỗi (reset). Hai lỗi xảy ra đồng thời.
4. Tắt/bật nguồn, chuyển bộ điều khiển sang stop/run và mất truyền thông: cái gì bắt buộc phải khởi động lại, cái gì tuyệt đối không được tự khởi động lại.
5. Các giá trị biên: kiểm thử ngay dưới và ngay trên mức giới hạn của mọi bộ định thời (timer) và giá trị đặt (setpoint) trong đặc tả.
Ở những chỗ tài liệu đặc tả không quy định phản ứng của hệ thống, hãy ghi NOT IN SPEC và đặt câu hỏi làm rõ. Không được tự bịa ra hành vi của máy.
Sau bảng kiểm thử, hãy cung cấp: ma trận đối chiếu độ phủ giữa điều khoản và bài kiểm thử (bất kỳ điều khoản nào chưa có bài kiểm thử là một lỗ hổng), và trình tự thực hiện các bài kiểm thử sao cho số lần tôi phải cưỡng bức (force) và xóa cưỡng bức tín hiệu là ít nhất.
=== FUNCTIONAL SPECIFICATION ===
