Thế nào là đặc tả hình thức?

Giai đoạn "phát triển" trong tiến trình phần mềm tập trung vào việc hiện thực hóa các yêu cầu và thiết kế đã được xác định trước đó. Các bước chính bao gồm:

* Thiết kế phần mềm: Chuyển đổi các yêu cầu thành một kiến trúc và thiết kế chi tiết, bao gồm các thành phần, mô-đun và giao diện.
* Mã hóa: Viết mã nguồn dựa trên thiết kế đã được tạo ra. Đây là quá trình chuyển đổi thiết kế thành các dòng lệnh mà máy tính có thể hiểu và thực thi.
* Kiểm thử phần mềm: Đảm bảo mã nguồn hoạt động đúng như mong đợi và đáp ứng các yêu cầu. Kiểm thử bao gồm nhiều cấp độ, từ kiểm thử đơn vị đến kiểm thử tích hợp và kiểm thử hệ thống.

Phương án 1 (Thiết kế phần mềm, mã hóa, kiểm thử phần mềm) bao gồm đầy đủ các bước quan trọng nhất trong giai đoạn phát triển.

Các phương án khác không hoàn chỉnh hoặc chứa các bước không thuộc giai đoạn phát triển:

* Phương án 2 (Thiết kế phần mềm, mã hóa, kiểm thử phần mềm, bảo trì): Bảo trì là một giai đoạn riêng biệt sau khi phần mềm đã được triển khai.
* Phương án 3 (Phân tích hệ thống, lập kế hoạch dự án, phân tích yêu cầu): Đây là các bước thuộc giai đoạn phân tích và lập kế hoạch, trước giai đoạn phát triển.
* Phương án 4 (Phân tích yêu cầu, thiết kế phần mềm, mã hóa, cài đặt): Phân tích yêu cầu thuộc giai đoạn trước phát triển, cài đặt thường được xem là một phần của triển khai, một giai đoạn sau phát triển.

Trong quản lý dự án phần mềm, thiết kế phần mềm thường được chia thành hai giai đoạn chính: thiết kế sơ bộ (hay còn gọi là thiết kế cấp cao) và thiết kế chi tiết (hay còn gọi là thiết kế cấp thấp). Thiết kế sơ bộ tập trung vào việc xác định cấu trúc tổng thể của hệ thống, các thành phần chính và mối quan hệ giữa chúng. Thiết kế chi tiết đi sâu vào việc mô tả cụ thể cách thức từng thành phần hoạt động, các thuật toán và cấu trúc dữ liệu được sử dụng.

Phương án 1: Thiết kế kiến trúc và thiết kế dữ liệu là hai khía cạnh quan trọng của thiết kế, nhưng không bao trùm toàn bộ quá trình thiết kế phần mềm theo quan điểm quản lý dự án.

Phương án 2: Thiết kế dữ liệu và thiết kế thuật toán cũng là các khía cạnh quan trọng, nhưng không thể hiện được sự phân chia giai đoạn thiết kế một cách tổng quan.

Phương án 4: Thiết kế thành phần và thiết kế giao diện là các phần của thiết kế chi tiết, không phải là hai giai đoạn phân chia chính.

Tính chất cần có của dữ liệu trong phân tích yêu cầu là tính có định hướng thời gian. Điều này có nghĩa là dữ liệu cần được thu thập và phân tích theo một trình tự thời gian nhất định để có thể hiểu được sự thay đổi và phát triển của hệ thống theo thời gian. Các phương án khác không phải là tính chất cần thiết của dữ liệu trong phân tích yêu cầu.
- Giá trị pháp lý: Dữ liệu không nhất thiết phải có giá trị pháp lý.
- Tính mô tả trừu tượng: Dữ liệu cần cụ thể để phân tích hiệu quả.
- Mô tả bằng toán học: Không phải lúc nào cũng cần thiết hoặc khả thi.

Phân tích thiết kế tập trung vào việc chuyển đổi các yêu cầu và đặc tả của hệ thống thành một bản thiết kế chi tiết, sẵn sàng cho việc triển khai. Câu hỏi "Làm thế nào chuyển thiết kế dữ liệu logic sang thiết kế dữ liệu vật lý?" trực tiếp liên quan đến việc này, vì nó đề cập đến việc cụ thể hóa cấu trúc dữ liệu để phù hợp với một hệ quản trị cơ sở dữ liệu cụ thể.

Các lựa chọn khác không trực tiếp liên quan đến phân tích thiết kế:

- "Thời gian hoàn thành dự án có đủ không?" liên quan đến quản lý dự án và ước tính thời gian.
- "Các xử lý nào được tiến hành và các thông tin chi tiết liên quan?" liên quan đến phân tích yêu cầu hoặc đặc tả hệ thống.
- "Đâu là phạm vi của hệ thống phần mềm?" liên quan đến định nghĩa phạm vi dự án trong giai đoạn khởi tạo dự án.

Giai đoạn thu thập yêu cầu (Requirements Elicitation) là một trong những giai đoạn quan trọng nhất của quy trình phát triển phần mềm. Mục tiêu chính của giai đoạn này là thu thập, phân tích và đặc tả các yêu cầu của người dùng và các bên liên quan. Kết quả của giai đoạn này thường là một tài liệu đặc tả yêu cầu phần mềm (Software Requirements Specification - SRS), mô tả chi tiết những gì phần mềm cần phải làm.

* Đáp án 2: Tài liệu đặc tả yêu cầu phần mềm là đáp án chính xác nhất. Tài liệu này chứa đựng tất cả các yêu cầu đã được thu thập, phân tích và đặc tả, làm cơ sở cho các giai đoạn thiết kế, phát triển và kiểm thử sau này.
* Đáp án 1: Bảng ước tính chi phí dự án là kết quả của giai đoạn ước tính, thường được thực hiện sau khi đã có thông tin về phạm vi và yêu cầu của dự án.
* Đáp án 3: Lược đồ ngữ cảnh là một phần của tài liệu đặc tả yêu cầu, nhưng không phải là kết quả duy nhất.
* Đáp án 4: Lược đồ Use case và các lược đồ khác cũng là một phần của tài liệu đặc tả yêu cầu, nhưng không phải là kết quả duy nhất và đầy đủ.