甲是期货公司的客户，期货公司多次采取私下对冲、对赌等行为，未将甲的指令入市交易。请根据上述事实，回答以下问题。

期货公司私下对冲、对赌，未将甲的指令人市交易等行为形成的交易结果（）。

A.有效

B.有效，不过如果甲认为损害自己利益，可以撤销

C.效力待定，如果甲追认，则有效

D.无效

在程序设计阶段应该采取______和逐步求精的方法，把一个模块的功能逐步分解，细化为一系列具体的步骤，继而用某种程序设计语言写成程序。