Thử nghiệm khẳng định

Kiểm tra dựa trên xác nhận là gì?

Một khẳng định là một biểu thức boolean tại một điểm cụ thể trong chương trình sẽ đúng trừ khi có lỗi trong chương trình. Xác nhận kiểm tra được định nghĩa là một biểu thức, bao gồm một số logic có thể kiểm tra được chỉ định về mục tiêu đang kiểm tra.

Lợi ích của Khẳng định:

Ưu điểm chính của việc xác nhận là xác định các khiếm khuyết trong một chương trình. Tính hữu ích của các khẳng định bao gồm:

• Nó được sử dụng để phát hiện các lỗi nhỏ có thể không được chú ý.

• Nó được sử dụng để phát hiện lỗi sớm hơn sau khi chúng xảy ra.

• Đưa ra tuyên bố về tác dụng của mã được đảm bảo là đúng.

Hạn chế của Khẳng định

Giống như bất kỳ đoạn mã nào khác, bản thân các xác nhận có thể chứa lỗi. Nó có thể dẫn đến các vấn đề sau:

• Không báo cáo lỗi tồn tại.

• Báo cáo lỗi khi nó không tồn tại.

• Có thể dẫn đến các tác dụng phụ khác

• Có thể Mất thời gian để thực thi nếu nó có lỗi và chiếm bộ nhớ.

Làm cách nào Assertions có thể chặn Kiểm tra?

Nếu một khẳng định bị thất bại vì lý do này hay lý do khác, thì hậu quả của điều tương tự có thể rất nghiêm trọng. Assertion có thể nâng cao thành một trở ngại có thể dẫn đến việc ngừng thử nghiệm trong cả ngày. Một số điều kiện mà chúng tôi muốn kiểm tra có thể đơn giản về mặt khái niệm, nhưng rất khó kiểm tra trên thực tế.