工业仿真形式化验证试题库及答案.docVIP

工业仿真形式化验证试题库及答案

单项选择题（每题2分，共10题）

1.工业仿真中常用的形式化验证方法不包括（）

A.模型检测B.定理证明C.测试用例法

答案：C

2.形式化验证的主要目的是（）

A.提高开发效率B.发现系统缺陷C.降低成本

答案：B

3.以下哪种语言常用于形式化描述（）

A.CB.JavaC.Z语言

答案：C

4.模型检测主要针对（）系统

A.离散B.连续C.混合

答案：A

5.工业仿真形式化验证流程第一步是（）

A.建立模型B.选择工具C.定义属性

答案：C

6.以下不是形式化验证优点的是（）

A.全面性B.快速性C.精确性

答案：B

7.定理证明基于（）

A.逻辑推理B.样本统计C.模拟运行

答案：A

8.符号模型检测是对（）的改进

A.显式模型检测B.定理证明C.抽象解释

答案：A

9.形式化验证在工业仿真中可用于验证（）

A.界面美观度B.系统安全性C.文档规范性

答案：B

10.工业仿真中形式化验证工具不包含（）

A.SPINB.MATLABC.NuSMV

答案：B

多项选择题（每题2分，共10题）

1.形式化验证常用工具包括（