相关考题
-
单项选择题
以下不是逻辑模型正确性的验证方法的是（）
A.模拟验证
B.假设验证
C.仿真验证
D.形式验证 -
单项选择题
UC矩阵的正确建立不需要通过的验证是（）
A.唯一性检验
B.完备性检验
C.一致性检验
D.无冗余性检验 -
单项选择题
处理逻辑的表达工具不含（）
A.决策树表达工具
B.判定表表达工具
C.详细信息表达工具
D.结构化语言
