软件评估可分为静态评估和动态评估，其中属于动态评估技术的是( )

A．评审

B．走查

C．形式化证明

D．软件测试

在价格总水平调控中，行政调控手段不包括( )。

A．对少数重要商品和服务价格实行政府定价或政府指导价

B．限定差价率或者利润率

C．实行提价申报制度

D．价格调节基金制度