Tugurium/GTI

Glosario Terminología Informática

assertion checking

0 control de la aserción
Comprobación de sentencias incrustadas por el usuario que afirman las relaciones entre los elementos de un programa. Las herramientas que comprueban la validez de las afirmaciones durante la ejecución del programa o las herramientas que realizan la verificación formal de las afirmaciones tienen esta característica.
2019-06-10