Học Automation cùng MINATA #79: FAT và SAT: biến checklist thành bằng chứng máy đáp ứng yêu cầu
FAT và SAT không phải hai lần "bật máy xem có chạy". Đây là chuỗi kiểm chứng có truy vết (traceability) từ yêu cầu tới kết quả và các hạng mục còn mở. Làm đúng, chúng cho khách và nhà chế tạo cùng một bằng chứng khách quan rằng máy đáp ứng yêu cầu.
FAT bắt đầu từ yêu cầu đã khóa
FAT (nghiệm thu tại xưởng chế tạo) nên bắt đầu từ URS/functional specification, I/O list, safety concept, bản vẽ và software version đã khóa. Test trên một phiên bản đang thay đổi thì kết quả không có nghĩa. Mỗi test cần: precondition, thao tác, expected result, actual result, evidence, người chứng kiến và trạng thái pass/fail.
Truy vết từ yêu cầu tới kết quả
Mỗi yêu cầu quan trọng nên map tới ít nhất một test chứng minh nó được đáp ứng. Nhờ vậy khi nghiệm thu, hai bên đọc được "yêu cầu này được chứng minh bằng test kia, kết quả thế này", thay vì tranh luận cảm tính. Hạng mục chưa đạt vào punch list với người chịu trách nhiệm và cách xử lý.
SAT kiểm điều kiện site
SAT (nghiệm thu tại hiện trường) xác nhận lại trong điều kiện thật: utility (nguồn, khí), layout, material thật, giao tiếp upstream/downstream, workflow của người vận hành và môi trường. Không đưa nguyên checklist FAT sang SAT rồi bỏ qua những rủi ro chỉ xuất hiện khi lắp đặt thật — như nhiễu từ thiết bị lân cận, hay vật liệu thực khác mẫu test.
Tình huống kỹ thuật tham khảo
Một máy được FAT tại xưởng với software version khóa, mỗi chức năng test có evidence và người chứng kiến; vài hạng mục chưa đạt vào punch list. Tại site, SAT chạy lại các test phụ thuộc điều kiện thật (nguồn, vật liệu, giao tiếp máy trước/sau) và đóng punch list. Hồ sơ FAT/SAT trở thành bằng chứng nghiệm thu, không phải tờ giấy ký cho xong.
Phạm vi test, tiêu chí và evidence cuối cùng phải theo hợp đồng, yêu cầu và tiêu chuẩn áp dụng.
Sai lầm thường gặp
- FAT trên phiên bản phần mềm/bản vẽ chưa khóa.
- Test không có expected result và evidence.
- Không map yêu cầu tới test, nghiệm thu cảm tính.
- Đưa nguyên checklist FAT sang SAT, bỏ rủi ro site.
- Không có punch list với người chịu trách nhiệm.
Checklist FAT và SAT
- [ ] FAT bắt đầu từ yêu cầu và phiên bản đã khóa.
- [ ] Mỗi test có precondition, expected, actual, evidence, người chứng kiến.
- [ ] Yêu cầu map tới test chứng minh; có truy vết.
- [ ] SAT kiểm điều kiện site: utility, material, interface, môi trường.
- [ ] Hạng mục chưa đạt vào punch list có người và cách xử lý.
FAT/SAT có bằng chứng làm nghiệm thu khách quan và bàn giao rõ ràng. Bài #80 khép lại chuỗi với bàn giao hệ thống tự động hóa.
Đọc thêm kiến thức tự động hóa tại MINATA: https://minatavn.com/vi/blog/tu-dong-hoa
Bài liền trước — #78: Remote access cho bảo trì: https://minatavn.com/vi/blog/hoc-automation-cung-minata-78-remote-access-bao-tri
Bài tiếp theo — #80: Bàn giao hệ thống tự động hóa: https://minatavn.com/vi/blog/hoc-automation-cung-minata-80-ban-giao-he-thong-tu-dong-hoa
Xem tất cả bài viết kỹ thuật MINATA