可信软件技术课程2019年试卷A卷@USC

注：课本为《软件工程师可信计算基础》 ，据老师所述，这块理论跟不上技术的发展~~~

开卷考试，有些无固定答案，框出具体书页范围，自行戳词描述即可~~~

 由于某种不可抗力，模糊了

 

问答题：由于某种不可抗力，太模糊看不清

1、从核心问题/处理故障的方法等方面讲述可信性的基本原理

2、缺陷的6种类

3、对于MCDC测试覆盖率来说，代码中的判断/条件指的是什么？

4、容错设计的难点

5、安全性举证啥啥啥（记不太清了）

综合题：

1、假设给定一个Z语言集合[参议员]，这个集合包含了美国所有的参议员，用数学符号来定义以下条目：
（1）定义包含所有共和党参议员的集合。
（2）定义一个谓词：当且仅当有50位民主党参议员时为真。

 

 答案：

一、选择题

A  C  C  D  D  C  B

二、填空题

如图所示

三、判断题（看不清，瞎选的）

T  F  F  T  T  F  T  F

四、问答题

1、从核心问题/处理故障的方法等方面讲述可信性的基本原理

 

 

2、缺陷的6种类 

3、对于MCDC测试覆盖率来说，代码中的判断/条件指的是什么？ 

 

4、容错设计的难点

 

5、安全性举证啥啥啥（记不太清了）

 

 

综合题：

1、如上卷所示

2、

 

——咸鱼最后的倔强~~~