国际贸易是跨国界的交易活动，是一个国家同世界其他国家或地区间的商品、技术、劳务和信息等的流通活动。 根据定义，下列属于国际贸易的是( )。

A．以色列国防部向美国订购一批战斗机

B．日本三菱公司向中国出口一批高级汽车

C．澳大利亚人汤姆斯与印度某人才市场签订了劳务输出合同

D．伊拉克过渡政府向德国某钢铁公司购买了2000吨钢材

程序测试分为静态分析和动态测试。其中______是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。