管理程序的试验程序

supervisor test program

简化的试验程序

simplified test procedure

大容量存储器转储校验程序

mass stroage dump & verify programme

模拟数字变换器检验程序

analog-to-digital converter check program

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.

核电站(厂)运行质量保证程序)

процедура обеспечения качества эксплуатации АЭС

核电站(厂)运行质量保证程序

процедура обеспечения качества эксплуатации АЭС

描绘或测定由给定的或确定的输入数据产生欲求的输出或智能信息所要求的特定步骤。通常人们都采用这种逻辑分析的方法来验证许多计算机过程、程序或运行的正确性。

The delineation or determination of the specific steps required to produce the desired output or intelligence information from the given or ascertained input data. The logic studies are completed for many computer processes, programs, or runs.