相关考题
-
多项选择题
逻辑模块的性能主要体现在以下几个方面（）
A.完备性
B.一致性
C.可拓展性
D.实用性和可衔接性 -
单项选择题
以下不是逻辑模型正确性的验证方法的是（）
A.模拟验证
B.假设验证
C.仿真验证
D.形式验证 -
单项选择题
UC矩阵的正确建立不需要通过的验证是（）
A.唯一性检验
B.完备性检验
C.一致性检验
D.无冗余性检验
