Szoftvereszköz, amely elfogadja a bemeneti forrás kód, vizsgálati kritériumok, előírások vagy szerkezet-meghatározásokat; Ezek termékelőállítási vizsgálati bemeneti adatok; és néha, határozza meg a várt eredményeket.