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

根据我国《仲裁法》的规定，仲裁裁决作出后，裁决书由仲裁员签名，加盖仲裁委员会印章，对裁决持不同意见的仲裁员，在裁决书作出时，可以选择的做法是：

A．久必须在仲裁书上签名

B．可以在仲裁书上签名，也可以不在仲裁书上签名

C．向仲裁委员会提出申请，要求仲裁委员会对裁决书的裁决进行审查

D．要求仲裁庭在仲裁书中补充说明自己对案件的裁决意见