下列诗文默写与原文一致的一项是

A．过尽千帆皆不是，肠断白蘋洲。（温庭筠《望江南》）

B．浊酒一杯家万里，未勒燕然归无计。（范仲淹《渔家傲·秋思》）

C．锦帽貂裘，千骑卷平岗。（苏轼《江城子·密州出猎》）

D．只恐双溪舴艋舟，载不动许多愁。（李清照《武陵春》）

______是指被测程序不在计算机上运行而是由人工检测或计算机辅助静态分析的方法对程序进行检测。