noun
checking program; verification program
Computing term for a program that performs checks or verification, such as a diagnostic or validation tool.
この検査プログラムはメモリのエラーを検出します。
This checking program detects memory errors.
Compound of 検査 (inspection, check) and プログラム (program), a straightforward modern technical term.