Kiểm chứng phần mềm và Toán rời rạc

Kiểm chứng phần mềm là gì?

• Kiểm chứng phần mềm là quá trình xóa bỏ tất cả lỗi trong phần mềm.

• Kiểm chứng phần mềm là việc kiểm tra mã nguồn mà không cần xác minh.

• Kiểm chứng phần mềm là quá trình xác minh và xác nhận chất lượng phần mềm.

• Kiểm chứng phần mềm là quá trình phát triển phần mềm.

Logic toán học bao gồm những thành phần nào?

• Biến, hằng, phép toán, quy tắc suy diễn.

• Hàm, biến thể, định lý, chứng minh

• Số, chữ, hình học, phương trình

• Chương trình, thuật toán, dữ liệu, cấu trúc

Trong tổ hợp, công thức tính số cách chọn k phần tử từ n phần tử là gì?

• C(n, k) = n! / (k! * (n + k)!)

• C(n, k) = n! / (k! * (n - k)!)

• C(n, k) = n! / ((n - k)! * k! * 2)

• C(n, k) = n! / (k! * (n - 2k)!)

Xác suất của một sự kiện chắc chắn là bao nhiêu?

• 2

• 0

• 0.5

• 1

Phát biểu định lý De Morgan trong logic toán học.

• ¬(A ∧ B) = ¬A ∧ B

• ¬(A ∨ B) = ¬A ∧ ¬B và ¬(A ∧ B) = ¬A ∨ ¬B.

• ¬(A ∧ B) = A ∨ B

• ¬(A ∨ B) = A ∧ ¬B

Trong kiểm chứng phần mềm, thuật ngữ 'test case' có nghĩa là gì?

• Test case là một công cụ tự động hóa kiểm thử.

• Test case chỉ là một phần của tài liệu thiết kế phần mềm.

• Test case là một loại phần mềm độc lập.

• Test case là tài liệu mô tả các điều kiện và bước kiểm tra chức năng phần mềm.

Xác suất của một sự kiện không xảy ra là bao nhiêu nếu xác suất xảy ra là 0.3?

• 0.9

• 0.5

• 0.7

• 1.0

Số cách sắp xếp n phần tử khác nhau là bao nhiêu?

• n! + 1

• n!

• 2n

• n^2

Trong logic, phép AND có ký hiệu là gì?

• &

• |

• &&

• AND()

Xác suất của việc rút một lá bài đỏ từ một bộ bài 52 lá là bao nhiêu?

• 1.0

• 0.75

• 0.5

• 0.25