Phân tích và Kiểm thử Phần mềm

Công cụ Korat sử dụng thông tin nào để giảm thiểu không gian dữ liệu đầu vào

• Tiền điều kiện
• Hậu điều kiện
• Hợp đồng
• Lớp được kiểm thử

Đâu không là đầu vào của tool Randoop khi sinh ca kiểm thử tự động

• Ca kiểm thử
• Các lớp được kiểm thử
• Thời gian giới hạn
• Tập các yêu cầu/hợp đồng

Đâu là vấn đề của việc sinh dữ liệu kiểm thử tự động

• Sinh dư thừa các testcase, nhưng độ phủ thì vẫn thấp
• Khả năng tái sử dụng của những testcase thấp
• Kiểm thử tự động là 1 phương pháp tốt, nên không có vấn đề gì xảy ra
• Sinh đủ các testcase và độ phủ thì cao

Dựa vào cơ chế nào mà Korat có thể loại bỏ các bộ test dư thừa đối với cấu trúc dữ liệu cây nhị phân

• Loại bỏ các cây có quan hệ đẳng tích với nhau
• Loại bỏ các cây có độ dài đường thăm các nhánh bằng nhau
• Loại bỏ các cây có gốc rỗng
• Loại bỏ các cây không có nhánh trái

Hiện nay, Randoop KHÔNG được phát triển để sử dụng với ngôn ngữ nào?

• Swift
• Java
• Python
• C#

Có bao nhiêu hình dạng chung cho Cây nhị phân có kích thước k có thể được tạo?

• (k+1)^(2k+1)
• k^(2k+1)
• (k+1)^2k
• (2k+1)^(k+1)

Korat hiệu quả khi làm việc với kiểu dữ liệu nào?

• Binary-tree
• String
• Integer
• Floating-point number

Korat sử dụng kỹ thuật gì để tạo ra các ca kiểm thử tự động?

• Symbolic execution.
• Randomization
• Mutation testing
• Model-based testing

Loại cấu trúc dữ liệu nào là cấu trúc dữ liệu phổ biến được áp dụng tool Korat

• Cây nhị phân và danh sách
• Cây nhị phân
• Danh sách
• Hàng đợi

Randoop tạo ra các ca kiểm thử bằng cách nào?

• Sử dụng các thuật toán để tạo ra các ca kiểm thử ngẫu nhiên.
• Phân tích mã nguồn rồi tạo ra các ca kiểm thử
• Sử dụng các thành phần đã được tạo trước đó để tạo ra các đối tượng mới
• Sử dụng các ca kiểm thử đã có để tạo ra các ca kiểm thử mới.