プログラム検証技術
【ぷろぐらむけんしょうぎじゅつ】
【puroguramukensyougijutsu】
程序检验技术