II. Kỹ nghệ phần mềm
5. Đặc tả phần mềm
5.6.2 Mức chi tiết
Để đưa ra cõu trả lời cho nhiều cõu hỏi trờn, việc xột duyệt cú thể tập trung vào mức chi tiết. Tại đõy, mối quan tõm tập trung vào từ ngữ của bản đặc tả.
Việc xột duyệt chi tiết bản đặc tả cú những gợi ý sau:
• Phải quan sỏt cỏc từ nối cú sức thuyết phục (như "chắc chắn", "do đú", "rừ ràng", "hiển nhiờn", "từ đú suy ra rằng") và hỏi "tại sao chỳng lại cú ở đú?"
• Theo dừi những thuật ngữ mung lung (như "một số", "đụi khi", "thường", "thụng thường", "bỡnh thường", "phần lớn", "đa số"); để yờu cầu làm sỏng tỏ
• Khi cú nờu danh sỏch, nhưng khụng đầy đủ thỡ phải đảm bảo mọi khoản mục đề được hiểu rừ. Chỳ ý vào cỏc từ như "võn võn", "cứ như thế", "cứ tiếp tục như thế", "sao cho", ...
• Phải chắc chắn phỏt biểu phạm vi khụng chứa những giả thiết khụng được núi rừ (như "mó hợp lệ trong khoảng 10 tới 100". Đú là số nguyờn, số thực hay số hệ 16?)
• Phải nhận biết về cỏc động từ mơ hồ như "xử lý", "loại bỏ". Cú thể cú nhiều cỏch hiểu về nú.
• Phải nhận biết cỏc đại từ "vu vơ" (như "modul vào/ra liờn lạc với modul kiểm tra tớnh hợp lệ dữ liệu và đặt cờ bỏo kiểm soỏt của nú")
• Tỡm cỏc cõu cú chứa sự chắc chắn (như "bao giờ", "mọi", "tất cả", "khụng một", "khụng bao giờ") rồi yờu cầu bằng chứng.
• Khi một thuật ngữ được định nghĩa tường minh tại một chỗ thỡ hóy thử thay thế định nghĩa này vào chỗ xuất hiện của nú
• Khi một cấu trỳc được mụ tả theo lời thỡ hóy vẽ ra bức tranh để giỳp hiểu được nú
• Khi một tớnh toỏn được xỏc định thỡ hóy thử với ớt nhất 2 vớ dụ …
Một khi việc xột duyệt đó hoàn tất thỡ bản đặc tả cỏc yờu cầu phần mềm sẽ được cả khỏch hàng lẫn người phỏt triển "ký tắt". Bản đặc tả trở thành "hợp đồng" cho việc phỏt triển phần mềm. Những thay đổi trong yờu cầu được nờu ra sau khi bản đặc tả đó hoàn thành sẽ khụng bị loại bỏ, nhưng khỏch hàng phải lưu ý rằng từng thay đổi sau khi ký đều là một mở rộng của phạm vi phần mềm và do đú cú thể làm tăng thờm chi phớ và/hoặc kộo dài lịch biểu.
Bản đặc tả rất khú "kiểm thử" theo một cỏch cú nghĩa, do đú sự khụng nhất quỏn hay thiếu sút cú thể bị bỏ qua khụng chỳ ý tới. Trong khi xột duyệt, người ta cú thể khuyến cỏo những
thay đổi cho bản đặc tả. Cú thể sẽ khú khăn để định lượng tỏc động toàn cục của thay đổi, tức là làm sao việc thay đổi trong một chức năng lại ảnh hưởng tới cỏc yờu cầu cho chức năng khỏc? Người ta đó phỏt triển cỏc cụng cụ đặc tả tự động húa để giỳp giải quyết vấn đề này.