Kildekoden for edb-programmer bruger en række Hvis udsagn at kalde bestemte kodeblokke , hvis visse betingelser er opfyldt. Redegørelse og filial dækning er metoder til at teste funktionen af iF udsagn i en given kildekode. Test
kodeblokken forbundet med en given Hvis sætningen udfører , når en variabel er lig med en bestemt værdi, når der Hvis erklæring er nået i programmets udførelse. Redegørelse og branch dækning test Hvis udsagn ved at fodre alle mulige input til kildekoden. Derefter undersøger værdierne af de betingede variable og adfærd hos If udsagn.
Statement Dækning
Statement dækning tests kildekoden ved at undersøge , om hver If-sætning vil være aktiveres af mindst en mulige input et program kan modtage. Dette kaldes også line dækning, segment dækning og basisblok dækning.
Branch Dækning
programmering, en boolesk variabel er en, der har en værdi af sandt eller falsk . Denne type af variabel ofte bruges til at aktivere en If-sætning . Branch dækning tests kildekode under alle mulige iteration af koden til at sikre , at hver boolesk værdi kunne ende op som enten sande eller falske.