#software testing
- Assert — A logical assertion assumed to be true at a specific point in an algorithm or reasoning; a software macro or function used in programming to verify if a mandatory structural condition is met during code execution. If the verification fails, the program halts to signal a logic error.
- To self-verify — To subject one's own actions, knowledge, data, or results to a systematic check in order to test their correctness, validity, or compliance with a predefined set of rules; to perform an independent self-evaluation without external assistance.
- Self-verified — Having undergone a process of self-verification; a computerized system, algorithm, data, or text autonomously checked and validated as correct according to strict internal rules or standards, without the intervention of an external entity or verification.