Thứ tự xác minh (verification) trong mô hình V:

Requirement Analysis, System Design, Architecture Design, Module Design

System Design, Architecture Design, Module Design, Requirement Analysis.

System Design, Architecture Design, Requirement Analysis, Module Design.

Không có đáp án nào đúng.

Trả lời:

Đáp án đúng: A

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.

Câu hỏi trắc nghiệm Kiểm thử phần mềm có đáp án chi tiết - Phần 1

50 câu hỏi 60 phút

Bắt đầu thi

Câu hỏi liên quan

Câu 10:

Quy trình kiểm thử phần mềm gồm các nội dung: Lập kế hoạch kiểm thử (test plan), Phân tích và thiết kế kiểm thử (Test analyst / test designer ), Thực hiện kiểm thử (Test Executing), Đánh giá và báo cáo kiểm thử (Test Report & Evaluation).

Lời giải:

Đáp án đúng: A

Quy trình kiểm thử phần mềm thường bao gồm các bước chính như lập kế hoạch kiểm thử, phân tích và thiết kế các trường hợp kiểm thử, thực hiện kiểm thử và đánh giá kết quả, báo cáo. Các nội dung được liệt kê trong câu hỏi đã bao gồm các bước chính này.

Câu 11:

Kiểm thử hộp trắng (white-box testing) là

Lời giải:

Đáp án đúng: D

Kiểm thử hộp trắng (white-box testing), còn được gọi là kiểm thử cấu trúc (structural testing), tập trung vào việc kiểm tra cấu trúc bên trong và logic của phần mềm. Trong phương pháp này, người kiểm thử có kiến thức về mã nguồn và sử dụng nó để thiết kế các test case. Mục tiêu là để đảm bảo rằng tất cả các đường dẫn thực thi trong mã nguồn đều được kiểm tra và phần mềm hoạt động đúng theo thiết kế. Vì vậy, tất cả các đáp án A, B, và C đều đúng.

Câu 12:

Trong kiểm thử hộp trắng, nội dung nào sau đây là không đúng?

Lời giải:

Đáp án đúng: B

Câu hỏi này kiểm tra kiến thức về kiểm thử hộp trắng, đặc biệt là các khái niệm liên quan đến đường thi hành và kiểm thử dòng điều khiển.

Phương án A đúng vì đường thi hành (execution path) đúng là một kịch bản thi hành của một đơn vị chương trình. Nó mô tả trình tự các lệnh được thực hiện khi chương trình chạy với một tập hợp đầu vào cụ thể.

Phương án B sai vì một đơn vị chương trình có thể có nhiều đường thi hành khác nhau, tùy thuộc vào các điều kiện và nhánh rẽ trong mã nguồn. Mỗi tập hợp đầu vào có thể dẫn đến một đường thi hành khác nhau.

Phương án C đúng vì mục tiêu của kiểm thử dòng điều khiển (control flow testing) là để đảm bảo mọi đường thi hành của đơn vị chương trình đều được kiểm tra và chạy đúng. Điều này bao gồm việc kiểm tra tất cả các nhánh, vòng lặp, và điều kiện trong mã.

Do đó, đáp án không đúng là B.

Câu 13:

Cho đoạn code sau đây, hãy chọn đáp án đúng nhất:float foo(int a, int b, int c, int d){float e;if (a==0)return 0;int x = 0;if ((a==b) || ((c==d)))x = 1;e = 1/x;return e;}Chúng ta cần bao nhiêu testcase để đảm bảo phủ cấp 1.

Lời giải:

Đáp án đúng: B

Để đạt được độ phủ cấp 1 (statement coverage), chúng ta cần thực hiện các test case sao cho mỗi dòng code được thực thi ít nhất một lần. Xét đoạn code đã cho:

1. `if (a==0) return 0;`: Cần một test case để `a == 0` (ví dụ: `a = 0`, `b = 1`, `c = 2`, `d = 3`). Test case này sẽ khiến hàm trả về 0.
2. `int x = 0;`: Dòng này luôn được thực thi nếu `a != 0`.
3. `if ((a==b) || ((c==d))) x = 1;`: Cần một test case để điều kiện `(a==b) || ((c==d))` là đúng (ví dụ: `a = 1`, `b = 1`, `c = 2`, `d = 3`). Điều này làm cho `x = 1`.
4. `if ((a==b) || ((c==d))) x = 1;`: Cần một test case để điều kiện `(a==b) || ((c==d))` là sai (ví dụ: `a = 1`, `b = 2`, `c = 3`, `d = 4`). Điều này làm cho `x = 0`.
5. `e = 1/x;`: Để dòng này được thực thi mà không gây ra lỗi chia cho 0, ta cần đảm bảo `x != 0`. Trường hợp `x=1` đã được đề cập ở trên. Tuy nhiên, trường hợp `x=0` cũng cần được xét, dù sẽ gây ra lỗi runtime.
6. `return e;`: Dòng này luôn được thực thi nếu không có `return` sớm.

Vậy tổng cộng, chúng ta cần ít nhất 3 test case để đảm bảo phủ hết các nhánh rẽ và các dòng lệnh (trừ trường hợp gây lỗi chia cho 0, nhưng vẫn cần test).

- Test case 1: a = 0, b = 1, c = 2, d = 3 (để phủ `a == 0`)
- Test case 2: a = 1, b = 1, c = 2, d = 3 (để phủ `(a==b) || (c==d)` là đúng, x = 1)
- Test case 3: a = 1, b = 2, c = 3, d = 4 (để phủ `(a==b) || (c==d)` là sai, x = 0)

Như vậy, đáp án đúng là C. 3

Câu 14:

Cho đoạn code sau đây, hãy chọn đáp án đúng nhất:float foo(int a, int b, int c, int d){float e;if (a==0) return 0;int x = 0;if ((a==b) || (c==d)) x = 1;e = 1/x;return e;}Chúng ta cần bao nhiêu testcase để đảm bảo phủ cấp 2.

Lời giải:

Đáp án đúng: C

Đoạn code có các điều kiện sau:
1. `a == 0`: ảnh hưởng đến việc trả về giá trị 0 ngay lập tức.
2. `(a == b) || (c == d)`: ảnh hưởng đến giá trị của `x`. Nếu điều kiện này đúng, `x` sẽ bằng 1, ngược lại `x` sẽ bằng 0.
3. `e = 1/x`: có thể gây ra lỗi chia cho 0 nếu `x` bằng 0.

Để phủ cấp 2 (branch coverage), chúng ta cần đảm bảo mỗi nhánh của mỗi điều kiện được thực thi ít nhất một lần. Do đó cần xét các trường hợp sau:

* Testcase 1: `a = 0`. Nhánh `if (a == 0)` được thực thi và trả về 0.
* Testcase 2: `a != 0`, `a == b`, và `c != d`. Nhánh `if (a == 0)` không được thực thi, và `x` bằng 1.
* Testcase 3: `a != 0`, `a != b`, và `c == d`. Nhánh `if (a == 0)` không được thực thi, và `x` bằng 1.
* Testcase 4: `a != 0`, `a != b`, và `c != d`. Nhánh `if (a == 0)` không được thực thi, và `x` bằng 0.

Như vậy, cần tối thiểu 4 testcase để đảm bảo phủ cấp 2.

Câu 15:

Lời giải: