Tests uitgevoerd om te controleren of de correcte uitvoering van het ontwerp en de naleving van de vereisten van het programma voor een software-element (bijvoorbeeld -eenheid, module) of een collectie van elementen van de software.