#testare software
- asert — O afirmație logică considerată adevărată într-un anumit punct al unui algoritm sau raționament; macrocomandă ori funcție software utilizată în programare pentru a verifica dacă o condiție structurală obligatorie este îndeplinită în timpul execuției codului. Dacă verificarea eșuează, programul își oprește execuția pentru a semnala o eroare de logică.
- autoverificare — Acțiunea de a se autoverifica și rezultatul ei; proces intern, automatizat sau conștient, prin care o entitate (sistem informatic, mașină, persoană) își examinează propriul comportament, datele sau performanțele pentru validare.