Trong Đồ thị dòng dữ liệu G = (N, E) của chương trình, N là tập các cạnh đúng hay sai?

Trong đồ thị dòng dữ liệu (Data Flow Graph) G = (N, E), N là tập các nút (nodes) đại diện cho các phép toán hoặc biến, và E là tập các cạnh (edges) đại diện cho dòng dữ liệu giữa các nút này. Mỗi cạnh trong E biểu diễn sự phụ thuộc dữ liệu, tức là dữ liệu từ một nút này được sử dụng bởi một nút khác. Vì vậy, phát biểu "E là tập các cạnh" là đúng.

Xác minh (verification) là quá trình đánh giá phần mềm trong suốt giai đoạn phát triển để xác định xem sản phẩm có đáp ứng các yêu cầu đã đặt ra hay không. Nó bao gồm các phương pháp kiểm tra tĩnh như xem xét tài liệu, kiểm tra mã nguồn, v.v. Do đó, tất cả các nội dung A, B, và C đều đúng.

Xác thực (validation) là quá trình kiểm tra xem phần mềm có đáp ứng các yêu cầu của khách hàng hay không. Nó không chỉ là đánh giá sau phát triển, mà còn bao gồm việc đảm bảo phần mềm hoạt động đúng theo mong đợi của người dùng và đáp ứng các yêu cầu nghiệp vụ. Xác thực có thể bao gồm cả kiểm tra tĩnh (ví dụ: xem xét tài liệu) và kiểm tra động (ví dụ: chạy thử nghiệm). Do đó, đáp án D (Tất cả các nội dung trên) là đáp án chính xác nhất vì nó bao hàm các khía cạnh khác nhau của xác thực.

Kế hoạch kiểm thử (Test plan) là một tài liệu mô tả phạm vi, cách tiếp cận, tài nguyên và lịch trình của các hoạt động kiểm thử. Nó xác định các mục tiêu kiểm thử, các tính năng được kiểm tra, các kỹ thuật kiểm thử được sử dụng, và các tiêu chí chấp nhận.

A. Những gì không kiểm tra được (Out of scope) là một phần quan trọng của kế hoạch kiểm thử, giúp xác định rõ ràng giới hạn của quá trình kiểm thử.
B. Kế hoạch để đánh giá chất lượng (Quality assessment plan) là một phần của kế hoạch kiểm thử, mô tả cách chất lượng của sản phẩm sẽ được đánh giá.
C. Môi trường thử nghiệm (Test environment) là một phần quan trọng của kế hoạch kiểm thử, mô tả cấu hình phần cứng và phần mềm cần thiết để thực hiện kiểm thử.
D. Lịch trình và thời hạn (Schedule and deadlines) là một phần không thể thiếu của kế hoạch kiểm thử, giúp quản lý thời gian và nguồn lực.

Như vậy, tất cả các nội dung A, B, C và D đều có trong tài liệu kế hoạch kiểm thử. Tuy nhiên, câu hỏi yêu cầu tìm nội dung *không* có trong tài liệu này. Vì tất cả các đáp án đều có mặt, câu hỏi có vẻ không chính xác hoặc thiếu thông tin. Dựa trên những gì thường thấy trong một test plan, tất cả các mục được liệt kê đều có mặt. Do đó, không có đáp án đúng trong các lựa chọn đã cho.

Mô hình V là một mô hình phát triển phần mềm, trong đó quá trình kiểm thử (verification) được thực hiện song song với quá trình phát triển. Thứ tự xác minh trong mô hình V đi theo thứ tự từ giai đoạn phân tích yêu cầu (Requirement Analysis) đến thiết kế hệ thống (System Design), thiết kế kiến trúc (Architecture Design) và cuối cùng là thiết kế module (Module Design). Vì vậy, đáp án A là đáp án chính xác.