IEEE definerer programvaretesting til å være verifikasjon av oppførselen til et program på et sett av tester fra det vanligvis uendelig settet i det kjørbare domenet, målt opp mot oppførsel.