II. Kỹ nghệ phần mềm
5. Đặc tả phần mềm
5.1.1 Khỏi niệm Đặc tả specification
Đặc tả một vấn đề là mụ tả cỏc đặc trưng của vấn đề đú. Vấn đề cú thể là đối tượng, khỏi niệm hoặc một thủ tục nào đú, ...
Yờu cầu đầu tiờn của đặc tả là tớnh chớnh xỏc
Cỏc đặc tả thường mang tớnh trừu tượng. Càng ở mức cao (những mức đầu tiờn của quỏ trỡnh làm mịn hoặc chớnh xỏc húa) đặc tả càng trừu tượng,khỏi quỏt . Càng xuống cỏc mức thấp, đặc tả càng tiếp cận dần tới cụ thể - tức là tới một thể hiện trờn một mỏy tớnh cụ thể với một ngụn ngữ lập trỡnh cụ thể.
- Đặc tả hỡnh thức: là những đặc tả chớnh xỏc tức là khụng thể dẫn tới những cỏch hiểu khỏc nhau. Đặc tả hỡnh thức sử dụng cụng cụ chủ yếu là đại số và logic (formal)
- Đặc tả phi hỡnh thức: diễn đạt bằng những ngụn ngữ, tuy khụng chặt chẽ nhưng được nhiều người biết và cú thể trao đổi với nhau để chớnh xỏc hoỏ những điểm chưa rừ, những khỏi niệm mơ hồ
- Đặc tả hỗn hợp: phối hợp hai kiểu đặt tả trờn
Trong thực tế, cú nhiều loại hỡnh đặc tả, vớ dụ như: Đặc tả cấu trỳc dữ liệu (mụ tả cỏc thành phần của dữ liệu ...), đặc tả chức năng (mụ tả chức năng thụng qua việc mụ tả tớnh chất của input, output ...), đặc tả đối tượng (bao gồm đặc tả cấu trỳc và đặc tả chức năng ...), đặc tả thao tỏc (mụ tả cỏc thao tỏc cần thực hiện ...), đặc tả cỳ phỏp (mụ tả cỏch lắp ghộp cỏc kớ hiệu, cỏc từ lại thành chương trỡnh ...), đặc tả xử lý, đặc tả thuật toỏn...
Kiểu đặc tả cần phự hợp với giải phỏp. Cỏc yờu cầu phần mềm cú thể được phõn tớch theo một số cỏch khỏc nhau. Cỏc kỹ thuật phõn tớch cú thể dẫn tới những đặc tả trờn giấy hay trờn mỏy tớnh (được xõy dựng nhờ dựng CASE) cú chứa cỏc mụ tả ngụn ngữ đồ họa và tự nhiờn cho yờu cầu phần mềm. Việc làm bản mẫu đó giỳp đặc tả thực hiện được, tức là bản mẫu thể hiện một biểu diễn của cỏc yờu cầu phần mềm. Cỏc ngụn ngữ đặc tả hỡnh thức dẫn tới biểu diễn hỡnh thức.