Nhược điểm đặc tả hình thức?
Trả lời:
Đáp án đúng: C
Đặc tả hình thức, mặc dù có nhiều ưu điểm, nhưng cũng tồn tại một số nhược điểm. Trong các lựa chọn được đưa ra:
* **A. Khó kiểm tra yêu cầu:** Đây là một nhược điểm chính của đặc tả hình thức. Do tính trừu tượng và sử dụng các ký hiệu, công thức toán học, việc kiểm tra xem đặc tả có thực sự đáp ứng các yêu cầu của người dùng hay không trở nên khó khăn hơn so với các phương pháp đặc tả khác.
* **B. Thiếu tính chính xác:** Ngược lại, đặc tả hình thức nổi tiếng về tính chính xác cao do sử dụng ngôn ngữ và ký hiệu toán học để mô tả hệ thống.
* **C. Khó đọc, khó sử dụng:** Đúng, đặc tả hình thức có thể khó đọc và sử dụng đối với những người không quen thuộc với các ký hiệu và công cụ liên quan.
* **D. Chi phí đặc tả thấp:** Sai, đặc tả hình thức thường đòi hỏi chuyên gia có kiến thức sâu rộng, dẫn đến chi phí cao hơn.
Do đó, đáp án chính xác nhất là A. Khó kiểm tra yêu cầu.
