Un '''cas de prova''' (en anglès, ''test case'') en [[enginyeria del programari]] és un conjunt de condicions o variables, valors, precondicions, resultats esperats i postcondicions,<ref name="istqbglossary">{{citar ref-web| url = http://istqb.org/download/attachments/2326555/ISTQB+Glossary+of+Testing+Terms+2+1.pdf | títol = Glossary ISTQB | format = pdf | llengua = anglès}}</ref><ref>{{citar ref-web| url = http://www.testingstandards.co.uk/living_glossary.htm | títol = Testing Standards Glossary | format = html | llengua = anglès}}</ref> sota les que un enginyer de proves (''tester'') determina si una [[Aplicació (informàtica)|aplicació]] o un sistema de software està funcionant correctament o no. El mecanisme per a determinar si un programa o sistema ha passat correctament o no una prova s'anomena [[oracle (proves de programari)|oracle]]. En algunes configuracions, un oracle por ser un [[requeriment]] o bé un [[cas d'ús]], metre que en altres situacions por ser una [[heurística]]. Es pot requerir de molts casos de prova per a determinar si un programa o sistema es considera prou escrutat per a ser editar. Els casos de prova a vegades se'ls anomena com a ''[[Script de prova|scripts de prova]]'' (en anglès, ''test scripts''), particularment quan es posen per escrits. Els casos de prova escrits s'acostumen a agrupar en ''[[Joc de prova|jocs de proves]]''.
