Thế nào là đặc tả phi hình thức?

Câu 20:

Trong kỹ thuật phân hoạch tương đương của kiểm thử hộp đen, nếu điều kiện đầu vào là một biến hoặc một biểu thức logic thì phân hoạch kiểm thử thành ?

Lời giải:

Đáp án đúng: a

Trong kỹ thuật phân hoạch tương đương, khi điều kiện đầu vào là một biến hoặc một biểu thức logic, chúng ta thường phân hoạch thành hai lớp tương đương: một lớp chứa các giá trị thỏa mãn điều kiện (True), và một lớp chứa các giá trị không thỏa mãn điều kiện (False). Do đó, đáp án đúng là C. 2 lớp tương đương.

Câu 21:

Trong kỹ thuật phân tích giá trị biên, nếu cấu trúc dữ liệu chương trình bên trong được quy định là các biên thì thiết kế trường hợp kiểm thử ?

Lời giải:

Đáp án đúng: B

Phân tích giá trị biên (Boundary Value Analysis - BVA) là một kỹ thuật kiểm thử hộp đen, trong đó các trường hợp kiểm thử được thiết kế để bao gồm các giá trị biên của các biến đầu vào. Mục đích là để phát hiện các lỗi có thể xảy ra khi chương trình xử lý các giá trị ở biên của phạm vi hợp lệ.

Trong trường hợp này, câu hỏi đề cập đến việc cấu trúc dữ liệu chương trình bên trong được quy định là các biến. Do đó, thiết kế trường hợp kiểm thử nên tập trung vào việc thực thi cấu trúc dữ liệu tại biên của nó. Điều này có nghĩa là chúng ta cần kiểm tra chương trình với các giá trị lớn nhất và nhỏ nhất mà các biến có thể nhận, cũng như các giá trị ngay trên và dưới các biên này.

Các lựa chọn khác không phù hợp vì:
* A. Thực thi cấu trúc dữ liệu tại giá trị cực đại: Chỉ kiểm tra một biên (biên trên) và bỏ qua các biên khác.
* B. Thực thi cấu trúc dữ liệu tại giá trị cực tiểu: Chỉ kiểm tra một biên (biên dưới) và bỏ qua các biên khác.
* C. Thực thi cấu trúc dữ liệu tại giá trị bất kỳ: Không tập trung vào các biên, nơi lỗi thường xảy ra nhất.

Vì vậy, đáp án đúng là D.

Câu 22:

Trong quá trình phát triển phần mềm, giai đoạn lập trình phần mềm có nghĩa là:

Lời giải:

Đáp án đúng: A

Giai đoạn lập trình phần mềm là giai đoạn hiện thực hóa thiết kế thành mã nguồn.

* Đáp án A đúng vì nó mô tả chính xác việc xây dựng một hệ thống thực thi dựa trên thiết kế đã được tạo ra ở các giai đoạn trước.
* Đáp án B sai vì nó mô tả giai đoạn kiểm thử hoặc thẩm định.
* Đáp án C sai vì nó mô tả giai đoạn phân tích và thiết kế.
* Đáp án D sai vì nó mô tả giai đoạn thu thập yêu cầu.

Do đó, đáp án chính xác nhất là A.

Câu 23:

Ưu điểm chiến lược kiểm thử trên xuống?

Lời giải:

Đáp án đúng: C

Chiến lược kiểm thử từ trên xuống (Top-down testing) bắt đầu với các module cấp cao nhất và dần dần tiến xuống các module cấp thấp hơn. Ưu điểm chính của phương pháp này là phát hiện sớm các lỗi thiết kế trong kiến trúc hệ thống, vì các thành phần quan trọng nhất được kiểm tra trước. Các lựa chọn khác không phải là ưu điểm chính của kiểm thử từ trên xuống:

* A. Phát hiện sớm các lỗi chương trình: Đây là ưu điểm chung của nhiều phương pháp kiểm thử, không đặc trưng cho kiểm thử từ trên xuống.
* B. Nhanh chóng đáp ứng yêu cầu người dùng: Điều này liên quan đến quy trình phát triển phần mềm nói chung, không cụ thể cho kiểm thử từ trên xuống.
* D. Có thể kiểm soát được các mức tiến hóa: Đây không phải là ưu điểm trực tiếp của kiểm thử từ trên xuống. Kiểm soát mức tiến hóa liên quan đến quản lý dự án và kiểm soát phiên bản.

Do đó, đáp án đúng nhất là C. Phát hiện sớm các lỗi thiết kế.

Câu 24:

Ưu điểm đặc tả hình thức?

Lời giải:

Đáp án đúng: A

Đặc tả hình thức (Formal specification) sử dụng ngôn ngữ toán học để mô tả hệ thống. Ưu điểm chính của đặc tả hình thức là tăng tính chính xác và rõ ràng, giúp loại bỏ sự mơ hồ trong yêu cầu và thiết kế. Các lựa chọn khác như chi phí thấp, dễ sử dụng, dễ đọc, dễ hiểu không phải là ưu điểm chính của đặc tả hình thức vì đặc tả hình thức thường phức tạp và đòi hỏi kiến thức toán học nhất định.

Do đó, đáp án đúng là A.

Câu 25:

Trong yêu cầu phi chức năng, phát biểuYêu cầu về hệ thống được phát triển như tốc độ, bộ nhớ, độ tin cậy, tính di chuyển được, tính dùng lại được, là:

Lời giải: