Dạng kiểm thử nào dùng kỹ thuật hộp trắng (white box test):

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).

Nhiệm vụ của phân tích và nắm bắt yêu cầu là thiết lập một cách rõ ràng và chính xác các dịch vụ mà hệ thống cần cung cấp, đồng thời xác định các ràng buộc mà hệ thống phải tuân thủ trong quá trình hoạt động. Điều này đảm bảo rằng hệ thống được phát triển đáp ứng đúng nhu cầu của người dùng và hoạt động hiệu quả trong môi trường thực tế.

• Phương án 1: Mô tả trừu tượng là bước đầu, nhưng chưa đủ chi tiết để triển khai.
• Phương án 2: Mô tả chính xác hơn về chức năng, nhưng cần nhấn mạnh việc thiết lập và xác định rõ ràng.
• Phương án 3: Phát biểu chính thức chỉ là một phần của quá trình, không bao gồm việc thiết lập và các ràng buộc.

Phương án 4 phản ánh đầy đủ nhất nhiệm vụ của phân tích và nắm bắt yêu cầu.

Câu hỏi yêu cầu tìm phát biểu đúng nhất về tài liệu đặc tả yêu cầu. Ta phân tích từng đáp án:

• Đáp án 1: Sai. Tài liệu đặc tả yêu cầu không phải của riêng người phát triển hệ thống, mà là sự đồng thuận giữa các bên liên quan (stakeholders), bao gồm cả khách hàng, người dùng, và các chuyên gia nghiệp vụ. Ngoài ra, nó không mô tả cách hệ thống làm (how), mà tập trung vào cái gì hệ thống cần làm (what).

• Đáp án 2: Sai. Tài liệu đặc tả yêu cầu là đầu vào cho thiết kế và mã hóa, nhưng không phải là tài liệu phục vụ trực tiếp cho thiết kế và mã hóa. Thiết kế và mã hóa có các tài liệu và quy trình riêng.

• Đáp án 3: Đúng nhưng chưa đủ. Tài liệu đặc tả yêu cầu có mô tả các yêu cầu chức năng, phi chức năng và miền ứng dụng, nhưng định nghĩa này chưa bao quát hết bản chất của một tài liệu đặc tả yêu cầu.

• Đáp án 4: Đúng và đầy đủ nhất. Tài liệu đặc tả yêu cầu là sự thể hiện chính thức các yêu cầu phần mềm, nó xác định cái gì hệ thống cần phải làm, không phải làm như thế nào (đó là công việc của thiết kế).

Vì vậy, đáp án 4 là đáp án đúng nhất vì nó chính xác và đầy đủ nhất về mục đích và phạm vi của tài liệu đặc tả yêu cầu.