Trắc nghiệm Công nghệ Phần mềm Bài: CÁC PHƯƠNG PHÁP KIỂM CHỨNG

Phương pháp kiểm chứng nào sau đây **không** yêu cầu thực thi mã nguồn để tìm lỗi?

Đâu là mục tiêu chính của các phương pháp kiểm chứng tĩnh (Static Verification Methods)?

Trong phương pháp "Đánh giá mã" (Code Review), vai trò của người đánh giá (reviewer) là gì?

Phương pháp nào sau đây là một hình thức đánh giá chính thức và có cấu trúc cao, thường được thực hiện bởi một nhóm với các vai trò cụ thể?

Trong một buổi "Đi bộ mã" (Walkthrough), người phát triển phần mềm (author) có vai trò chính là gì?

Phương pháp "Phân tích tĩnh mã nguồn" (Static Code Analysis) được thực hiện như thế nào?

Một trong những lợi ích lớn nhất của việc sử dụng các phương pháp kiểm chứng tĩnh là gì?

Phương pháp "Kiểm tra" (Inspection) thường có ưu điểm gì so với "Đánh giá mã" thông thường?

Khái niệm "Desk Checking" là một phương pháp kiểm chứng tĩnh. Nó được thực hiện như thế nào?

Phát biểu nào sau đây **không đúng** về "Các phương pháp hình thức" (Formal Methods) trong kiểm chứng?

Mục tiêu của việc sử dụng một "Checklist" (Danh sách kiểm tra) trong đánh giá mã là gì?

Phương pháp kiểm chứng nào sau đây thường được sử dụng để tìm kiếm các lỗ hổng bảo mật phổ biến trong mã nguồn như SQL Injection hay Cross-Site Scripting (XSS)?

Khi một nhà phân tích yêu cầu phải xem xét các yêu cầu chức năng để đảm bảo chúng có tính "có thể kiểm chứng" (verifiable), đây là một hoạt động của phương pháp kiểm chứng nào?

So với kiểm thử động, các phương pháp kiểm chứng tĩnh có hạn chế gì?

Công cụ nào sau đây thường được sử dụng để hỗ trợ "Kiểm tra" (Inspection) và "Đánh giá mã" (Code Review) trong môi trường nhóm?

Phát biểu nào sau đây mô tả đúng nhất về "Phân tích tĩnh luồng dữ liệu" (Static Data Flow Analysis)?

Lợi ích chính của việc áp dụng các phương pháp kiểm chứng ngay từ giai đoạn đầu của dự án là gì?

Khi một nhóm phát triển thường xuyên tổ chức các buổi "Pair Programming" (Lập trình cặp), đây là một hình thức của phương pháp kiểm chứng nào?

Các phương pháp kiểm chứng có vai trò gì trong việc tuân thủ các tiêu chuẩn công nghiệp (ví dụ: ISO, MISRA C)?

Nếu một lập trình viên cố tình thêm một đoạn mã độc vào phần mềm, phương pháp kiểm chứng nào có khả năng phát hiện ra nó?

Tại sao các phương pháp kiểm chứng tĩnh không thể thay thế hoàn toàn kiểm thử động?

Mục tiêu của việc sử dụng các "Mẫu thiết kế" (Design Patterns) trong quá trình thiết kế và kiểm chứng là gì?

Phương pháp kiểm chứng nào phù hợp nhất để đánh giá tài liệu đặc tả yêu cầu về tính "nhất quán" (consistency)?

Sự "tự động hóa" trong các phương pháp kiểm chứng tĩnh mang lại lợi ích gì?

Kiểm chứng là một phần của quá trình đảm bảo chất lượng phần mềm (SQA) nhằm mục đích gì?