Gennemføres forsøg for at kontrollere den korrekte iværksættelse af design og overholdelse af kravene i programmet for et softwareelement (f.eks. enhed, modul) eller en samling softwareelementer.