Các hàm assertion là những hàm được sử dụng trong quá trình kiểm thử phần mềm để kiểm tra tính đúng đắn của các giả định được đặt ra trong mã nguồn. Chúng thường được sử dụng trong các bài kiểm thử tự động để xác minh rằng một điều kiện cụ thể là đúng tại một thời điểm nhất định trong quá trình thực thi chương trình. Nếu giả định không đúng, hàm assertion sẽ thông báo lỗi và thường dừng chương trình hoặc bài kiểm thử đang chạy.
Trong Java, các hàm assertion được cung cấp thông qua lớp Assert trong JUnit, một framework phổ biến cho việc viết và chạy bài kiểm thử. Lớp Assert cung cấp một loạt các phương thức để kiểm tra các điều kiện như kiểm tra sự bằng nhau của hai đối tượng, kiểm tra một điều kiện là đúng hay sai, kiểm tra một đối tượng có là null hay không, và nhiều điều kiện khác[1].
Trong TypeScript, khái niệm về type assertions cũng tồn tại, nhưng nó được sử dụng với mục đích hơi khác. Type assertions trong TypeScript không kiểm tra tại thời điểm chạy mà hướng dẫn trình biên dịch coi một giá trị là một kiểu ...
