プログラム検証

[ぷろぐらむけんしょう] [puroguramukensyou]

プログラム検証

读成： ぷろぐらむけんしょう
中文： 程式验证、程序验证、程序检验

検証装置551においては、CPUにより所定のプログラムが実行されることによって制御部551Aが実現される。

在验证设备 551中，控制单元 551A由 CPU执行的预定程序实现。 - 中国語 特許翻訳例文集

app.discroot.certはJava（登録商標）仮想マシンを用いて動的なシナリオ制御を行うJava（登録商標）アプリケーションのプログラムを実行する際に、アプリケーションが改竄されていないか、及びアプリケーションの身元確認を行なうプロセス（以下、署名検証という）に用いられるデジタル証明書である。

app.discroot.cert是在使用 Java(注册商标 )虚拟机执行进行动态的脚本控制的 Java(注册商标 )应用的程序时、在进行应用是否没有被篡改、以及应用的身份确认的过程 (以下称作签名验证 )中使用的数字证书。 - 中国語 特許翻訳例文集