Models may be checked for completen

Models may be checked for completeness by a modeling tool that uses techniques such as structural analysis and state-space reachability analysis (which ensure that all paths in the state models are reached by some set of correct inputs); models may also be checked for completeness manually by using inspections or other review techniques (see the Software Quality KA)

Kết quả (Việt) 1:

Các mô hình có thể được kiểm tra cho đầy đủ bởi một công cụ mô hình hóa sử dụng các kỹ thuật như phân tích cấu trúc và không gian trạng thái reachability phân tích (trong đó đảm bảo rằng tất cả các đường dẫn trong mô hình nhà nước đạt được bởi một số thiết lập chính xác đầu vào); Các mô hình có thể cũng được kiểm tra cho sự hoàn chỉnh bằng tay bằng cách sử dụng kiểm tra hoặc xem xét lại các kỹ thuật khác (xem phần mềm chất lượng KA)

Kết quả (Việt) 2:

Mô hình có thể được kiểm tra đầy đủ bởi một công cụ mô hình có sử dụng các kỹ thuật như phân tích cấu trúc và phân tích không gian trạng thái reachability (mà đảm bảo rằng tất cả các đường dẫn trong các mô hình nhà nước đang đạt được một số thiết lập các đầu vào chính xác); mô hình cũng có thể được kiểm tra đầy đủ bằng tay bằng cách sử dụng kiểm tra hay các kỹ thuật đánh giá khác (xem chất lượng phần mềm KA)

Kết quả (Việt) 3:

Mô hình được sử dụng như công cụ mô hình kỹ thuật phân tích tình trạng không thể truy cập toàn vẹn cấu trúc phân tích kiểm tra (đảm bảo tất cả các con đường trong tình trạng là do một số mô hình đúng nhập đạt); cũng có thể kiểm tra mô hình toàn vẹn qua kiểm tra hay những Kỹ thuật thủ công (xem phần mềm kiểm tra chất lượng người quen biết)