Lý do tốt nhất cho việc dùng nhóm kiểm tra phần mềm độc lập là:

Mô hình CMM (Capability Maturity Model) được phát triển để đánh giá và cải thiện quy trình phát triển phần mềm của một tổ chức. Mô hình này định nghĩa 5 mức độ trưởng thành, từ mức độ ban đầu (Initial) đến mức độ tối ưu hóa (Optimizing).

• Mức 1: Initial (Ban đầu): Quy trình hỗn loạn và không được xác định rõ ràng. Thành công phụ thuộc vào nỗ lực cá nhân.
• Mức 2: Managed (Quản lý): Các quy trình cơ bản được thiết lập để theo dõi chi phí, tiến độ và chức năng. Các quy trình này có thể lặp lại ở các dự án tương tự.
• Mức 3: Defined (Định nghĩa): Các quy trình được chuẩn hóa, ghi lại và tích hợp vào một tập hợp các quy trình chuẩn của tổ chức.
• Mức 4: Quantitatively Managed (Quản lý định lượng): Đo lường và kiểm soát quy trình bằng cách sử dụng các kỹ thuật thống kê và định lượng.
• Mức 5: Optimizing (Tối ưu hóa): Tập trung vào cải tiến quy trình liên tục thông qua việc sử dụng phản hồi và công nghệ mới.

Kiểm nghiệm tính năng tương quan (correlation testing) là một chiến thuật kiểm nghiệm phần mềm tập trung vào việc xác định các phụ thuộc và tương tác giữa các module, thành phần hoặc tính năng khác nhau của hệ thống. Mục tiêu là đảm bảo rằng các thành phần này hoạt động hài hòa và chính xác khi kết hợp với nhau. Trong các giai đoạn phát triển phần mềm, việc này thường được thực hiện sau khi phân tích yêu cầu và thiết kế đã hoàn thành, và trước khi bắt đầu mã hóa, để đảm bảo thiết kế đáp ứng được các yêu cầu tương quan giữa các chức năng. Vì vậy, kiểm nghiệm tính năng tương quan mật thiết nhất với giai đoạn phân tích yêu cầu, vì nó đảm bảo các yêu cầu đã được xác định đầy đủ và nhất quán với nhau.

Phương án 1: Phân tích toàn bộ hệ thống là một hoạt động tổng quát hơn và không đặc biệt tập trung vào các tương quan giữa các tính năng. Phương án 2: Thiết kế liên quan đến việc tạo ra kế hoạch chi tiết về cách hệ thống sẽ được xây dựng, nhưng kiểm nghiệm tính năng tương quan tập trung vào việc xác minh rằng các yêu cầu đã được phân tích chính xác. Phương án 3: Phân tích yêu cầu là giai đoạn mà các yêu cầu của hệ thống được xác định và ghi lại. Kiểm nghiệm tính năng tương quan đảm bảo rằng các yêu cầu này nhất quán và không xung đột với nhau. Do đó, đây là đáp án chính xác. Phương án 4: Mã hóa là quá trình chuyển đổi thiết kế thành mã thực thi. Kiểm nghiệm tính năng tương quan xảy ra trước giai đoạn này để đảm bảo thiết kế là chính xác.

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.