Lead to a system of sufficient qual

Lead to a system of sufficient quality. A requirement should contribute to asystem that is sufficiently usable, safe, efficient, reliable and maintainable. Ittakes a good deal of expertise to judge whether requirements meet these needs– special analysis techniques can also be applied that we will not discuss indetail in this book. For example, to assess the safety of a critical system, formalmathematical proof techniques may be employed. To assess usability, therequirements can be validated against a checklist of good user interface designprinciples. As we will discuss in Chapter 7, to fully validate a system’s usabilityyou have to observe users actually working with a prototype.

Dẫn đến một hệ thống đủ chất lượng. Một yêu cầu phải đóng góp cho một
hệ thống đó là đủ sử dụng, an toàn, hiệu quả, đáng tin cậy và dễ bảo trì. Nó
có một thỏa thuận tốt về chuyên môn để đánh giá liệu các yêu cầu đáp ứng những nhu cầu này
- các kỹ thuật phân tích đặc biệt cũng có thể được áp dụng mà chúng ta sẽ không thảo luận
chi tiết trong cuốn sách này. Ví dụ, để đánh giá sự an toàn của một hệ thống quan trọng, chính thức
kỹ thuật chứng minh toán học có thể được sử dụng. Để đánh giá khả năng sử dụng, các
yêu cầu có thể được xác nhận đối với một danh sách kiểm tra của người dùng tốt thiết kế giao diện
nguyên tắc. Như chúng ta sẽ thảo luận trong Chương 7, để xác nhận hoàn toàn khả năng sử dụng của hệ
thống, bạn phải quan sát người sử dụng thực sự làm việc với một nguyên mẫu.