Tình huống về #Kiểm chứng và xác nhận

Số 50Quản lý Chất lượng

Mars Climate Orbiter (1999): lệch đơn vị đo giữa hai đội và bài học kiểm chứng giao diện đầu–cuối

Tàu Mars Climate Orbiter trị giá khoảng 327,6 triệu USD bị mất khi tiếp cận sao Hỏa vì một phần mềm mặt đất xuất dữ liệu theo đơn vị Anh (pound-force giây) trong khi bên nhận dùng hệ mét. Phân tích vì sao lỗi nhỏ lọt qua mọi lớp kiểm soát chất lượng và PM nên làm gì.

0 0 025/09/2026

Số 54Quản lý Chất lượng

Ariane 5 chuyến bay 501 (1996): tái sử dụng phần mềm cũ và khoảng trống trong kiểm thử mô phỏng

Tên lửa Ariane 5 phát nổ khoảng 37 giây sau khi phóng vì phép chuyển đổi số thực 64 bit sang số nguyên 16 bit bị tràn trong phần mềm kế thừa từ Ariane 4. Phân tích theo báo cáo Hội đồng điều tra ESA: vì sao tái sử dụng không đồng nghĩa với đã kiểm chứng.

0 0 028/05/2026

Số 58Quản lý Chất lượng

Cầu Millennium London (2000): đạt mọi tiêu chuẩn thiết kế vẫn rung lắc — khi kiểm chứng chưa bằng xác nhận

Cầu đi bộ Millennium ở London phải đóng chỉ hai ngày sau khi khai trương vì rung lắc ngang khi đông người đi qua — hiện tượng chưa được đưa vào các tiêu chuẩn thiết kế cầu thời đó. Bài học về giới hạn của "đạt tiêu chuẩn", xác nhận trong điều kiện thực và cách xử lý minh bạch.

0 0 028/01/2026