Bảo hiểm logic

Kiểm tra phạm vi logic là gì?

Logic tương ứng với cấu trúc bên trong của mã và thử nghiệm này được áp dụng cho các ứng dụng quan trọng về an toàn như phần mềm được sử dụng trong ngành hàng không. Phép thử này xác minh tập con của tổng số phép gán chân trị cho các biểu thức.

Nguồn bao phủ logic:

Phạm vi logic đến từ bất kỳ nguồn nào được đề cập dưới đây:

• Quyết định trong các chương trình

• Máy trạng thái hữu hạn và sơ đồ trạng thái

• Requirements