According to Wikipedia: “In computer software testing, a test assertion is an expression which encapsulates some testable logic specified about a target under test.”
“[Assertions] help testers and engineers ensure that tests of the target relate properly and clearly to the corresponding specified statements about the target”