单项选择题
A．阶码的位数和尾数的位数 B．阶码采用的编码和尾数的位数 C．阶码的位数和尾数采用的编码 D．阶码采用的编码和尾数采用的编码
A．证明软件系统中存在错误 B．找出软件系统中存在的所有错误 C．证明软件的正确性 D．尽可能多地发现软件系统中地错误
A．对象模型 B．功能模型 C．动态模型 D．类模型