En las pruebas de software de computadora, una afirmación de prueba es una expresión que encapsula alguna lógica comprobable especificada sobre un objetivo bajo prueba. La expresión se presenta formalmente como una afirmación , junto con alguna forma de identificador , para ayudar a los evaluadores e ingenieros a garantizar que las pruebas del objetivo se relacionen de forma adecuada y clara con las declaraciones especificadas correspondientes sobre el objetivo. Por lo general, la lógica de cada afirmación de prueba se limita a un solo aspecto especificado. Una aserción de prueba puede incluir requisitos previos que deben ser verdaderos para que la aserción de prueba sea válida.