Trắc nghiệm Công nghệ Phần mềm Bài: KIỂM CHỨNG PHẦN MỀM

Kiểm chứng phần mềm (Software Verification) là quá trình gì?

Sự khác biệt chính giữa Kiểm chứng (Verification) và Thẩm định (Validation) là gì?

Hoạt động nào sau đây là một ví dụ của Kiểm chứng tĩnh (Static Verification)?

Mục tiêu chính của các hoạt động Kiểm chứng là gì?

Trong các phương pháp Kiểm chứng tĩnh, "Peer Review" (Đánh giá đồng cấp) là gì?

Phát biểu nào sau đây **đúng** về Kiểm chứng tĩnh so với Kiểm thử động?

Một lợi ích chính của việc thực hiện Kiểm chứng sớm trong vòng đời phát triển phần mềm là gì?

Kiểm tra (Inspection) là một hoạt động Kiểm chứng có cấu trúc và quy củ hơn so với đánh giá thông thường, thường bao gồm các vai trò như:

Công cụ nào sau đây thường được sử dụng để thực hiện "Phân tích tĩnh mã nguồn" (Static Code Analysis) trong quá trình Kiểm chứng?

Kiểm chứng giúp đảm bảo các thuộc tính chất lượng nào của phần mềm?

Khi một nhóm xem xét tài liệu đặc tả yêu cầu để đảm bảo chúng rõ ràng, đầy đủ và nhất quán, đây là hoạt động Kiểm chứng ở giai đoạn nào?

Phát biểu nào sau đây **không đúng** về Kiểm chứng phần mềm?

Khái niệm "Walkthrough" (Đi bộ mã) trong Kiểm chứng là gì?

Một trong những lý do chính để thực hiện Kiểm chứng, đặc biệt là đánh giá tài liệu, là gì?

Khái niệm "Phân tích luồng dữ liệu" (Data Flow Analysis) và "Phân tích luồng điều khiển" (Control Flow Analysis) là các kỹ thuật nào thường được sử dụng trong Kiểm chứng?

Nếu một tài liệu thiết kế không tuân thủ các nguyên tắc thiết kế tốt (ví dụ: tính phụ thuộc cao), hoạt động Kiểm chứng nào sẽ giúp phát hiện vấn đề này?

Kiểm chứng giúp giảm thiểu "nợ kỹ thuật" (technical debt) bằng cách nào?

Phát biểu nào sau đây mô tả vai trò của "Formal Methods" (Các phương pháp hình thức) trong Kiểm chứng?

Trong quy trình Kiểm chứng, "Checklist" (Danh sách kiểm tra) có vai trò gì?

Ai là người chịu trách nhiệm chính trong việc thực hiện các hoạt động Kiểm chứng trong một dự án phần mềm?

Mục tiêu của việc đảm bảo "Tính truy vết" (Traceability) trong tài liệu yêu cầu và thiết kế là gì trong bối cảnh Kiểm chứng?

Lợi ích kinh tế chính của Kiểm chứng là gì?

Kiểm chứng và Kiểm thử là hai hoạt động:

Nếu một đoạn mã bị phát hiện vi phạm quy ước mã hóa của công ty trong quá trình đánh giá, đây là kết quả của hoạt động Kiểm chứng nào?

Kiểm chứng giúp đảm bảo "sự tuân thủ" (compliance) của phần mềm đối với điều gì?