Theo chiến thuật kiểm nghiệm phổ biến, kiểm nghiệm tính năng tương quan với:

Phần mềm dự báo thời tiết hoạt động bằng cách thu thập dữ liệu thời gian thực (nhiệt độ, độ ẩm, áp suất, v.v.) và sử dụng các mô hình toán học phức tạp để dự đoán điều kiện thời tiết trong tương lai. Do yêu cầu xử lý thông tin liên tục và đưa ra kết quả trong một khoảng thời gian xác định, phần mềm này thuộc loại phần mềm thời gian thực.

• Phần mềm hệ thống: Quản lý và điều khiển phần cứng máy tính, ví dụ: hệ điều hành.
• Phần mềm trí tuệ nhân tạo: Mô phỏng trí thông minh của con người để giải quyết vấn đề, ví dụ: chatbot.
• Phần mềm thời gian thực: Xử lý dữ liệu và phản hồi trong một khoảng thời gian giới hạn, ví dụ: hệ thống điều khiển máy bay.
• Phần mềm nghiệp vụ: Hỗ trợ các hoạt động kinh doanh, ví dụ: phần mềm kế toán.

Kiểm thử hộp trắng (white box testing) là một kỹ thuật kiểm thử phần mềm mà trong đó cấu trúc bên trong, thiết kế và cách triển khai của phần mềm được người kiểm thử biết đến. Người kiểm thử sẽ sử dụng kiến thức này để thiết kế các trường hợp kiểm thử.

• Kiểm thử hồi quy (regression test): Là loại kiểm thử để đảm bảo rằng một thay đổi mã gần đây không ảnh hưởng xấu đến các tính năng hiện có. Kiểm thử hồi quy có thể sử dụng cả kỹ thuật hộp đen và hộp trắng.
• Kiểm thử nghiệm thu (acceptance test): Là loại kiểm thử được thực hiện bởi người dùng cuối hoặc khách hàng để xác định xem hệ thống có đáp ứng các yêu cầu của họ hay không. Kiểm thử nghiệm thu thường sử dụng kỹ thuật hộp đen.
• Kiểm thử hệ thống (system test): Là loại kiểm thử được thực hiện trên toàn bộ hệ thống để đảm bảo rằng nó hoạt động như mong đợi. Kiểm thử hệ thống có thể sử dụng cả kỹ thuật hộp đen và hộp trắng.

Vì không có đáp án nào chắc chắn chỉ sử dụng kỹ thuật hộp trắng, nên đáp án chính xác nhất trong trường hợp này là không có đáp án đúng.

Trong lĩnh vực đặc tả phần mềm, chúng ta thường gặp các loại đặc tả sau:

• Đặc tả hình thức (Formal Specification): Sử dụng ngôn ngữ hình thức và ký hiệu toán học để mô tả hệ thống một cách chính xác và không mơ hồ. Điều này cho phép chứng minh các thuộc tính của hệ thống và thực hiện phân tích tự động.
• Đặc tả phi hình thức (Informal Specification): Sử dụng ngôn ngữ tự nhiên (ví dụ, tiếng Anh, tiếng Việt) để mô tả hệ thống. Loại đặc tả này dễ hiểu hơn nhưng có thể gây ra sự mơ hồ và khó khăn trong việc phân tích chính xác.
• Đặc tả hỗn hợp (Mixed Specification): Kết hợp cả đặc tả hình thức và phi hình thức để tận dụng ưu điểm của cả hai phương pháp. Ví dụ, một phần của hệ thống có thể được mô tả bằng ngôn ngữ hình thức để đảm bảo tính chính xác, trong khi các phần khác được mô tả bằng ngôn ngữ tự nhiên để dễ hiểu hơn.

"Đặc tả toán học" thực chất là một cách gọi khác của đặc tả hình thức, nhấn mạnh vào việc sử dụng các công cụ và ký hiệu toán học. Do đó, phương án "Đặc tả toán học" không phải là một loại đặc tả riêng biệt mà nằm trong phạm trù của "Đặc tả hình thức".

Vậy, "Đặc tả toán học" không phải là một loại hình đặc tả riêng biệt, mà nó là một cách gọi khác của "Đặc tả hình thức". Các loại hình đặc tả thường gặp là đặc tả hình thức, phi hình thức và hỗn hợp.

Câu hỏi đề cập đến việc thiết kế chi tiết và đặc tả các cấu trúc dữ liệu được sử dụng trong việc thực hiện hệ thống. Điều này chính xác là hoạt động "Thiết kế cấu trúc dữ liệu".

• Thiết kế cấu trúc dữ liệu: Là quá trình lựa chọn và tổ chức dữ liệu sao cho nó có thể được sử dụng một cách hiệu quả bởi một thuật toán hoặc chương trình. Nó bao gồm việc xác định các kiểu dữ liệu, mối quan hệ giữa chúng và các thao tác có thể được thực hiện trên chúng.
• Đặc tả cấu trúc dữ liệu: Là việc mô tả chi tiết cấu trúc dữ liệu đã thiết kế, bao gồm các thuộc tính, kiểu dữ liệu, ràng buộc và các thao tác liên quan.

Các lựa chọn khác không phù hợp vì:

• Đặc tả cấu trúc dữ liệu: Mặc dù liên quan, nhưng đây chỉ là một phần của quá trình thiết kế cấu trúc dữ liệu.
• Thiết kế thuật toán: Tập trung vào việc xây dựng các bước để giải quyết một vấn đề, không phải là việc tổ chức dữ liệu.
• Đặc tả thuật toán: Là việc mô tả chi tiết các bước của thuật toán, không liên quan đến cấu trúc dữ liệu.

Thiết kế phần mềm đóng vai trò quan trọng trong việc cung cấp đầy đủ thông tin cho việc bảo trì sau này. Một thiết kế tốt sẽ giúp cho việc hiểu và sửa đổi phần mềm trở nên dễ dàng hơn, giảm thiểu rủi ro và chi phí liên quan đến bảo trì. Các lựa chọn khác không hoàn toàn đúng vì thiết kế không phải là pha duy nhất quyết định chất lượng (kiểm thử, triển khai cũng quan trọng), không hoàn toàn là công cụ giao tiếp duy nhất (tài liệu yêu cầu cũng vậy), và không phải lúc nào cũng là pha đầu tiên (ví dụ, trong mô hình lặp).