可信测试题库.docxVIP

可信测试题库

一、单选题（每题1分，共15分）

1.可信测试的首要目标是（）（1分）

A.发现代码缺陷B.证明系统可信C.提高测试效率D.减少开发成本

【答案】B

【解析】可信测试的核心目标是评估和证明系统是否达到预期的安全性和可靠性标准。

2.在可信测试中，属于黑盒测试方法的是（）（1分）

A.代码审查B.模拟攻击C.单元测试D.集成测试

【答案】B

【解析】黑盒测试关注系统功能而不关心内部实现，模拟攻击是典型方法。

3.以下哪个不是可信测试的关键指标？（）（1分）

A.准确性B.完整性C.可用性D.可维护性

【答案】D

【解析】可信测试主要评估系统安全、可靠等特性，可维护性属于软件工程范畴。

4.离散选择图（DST）主要用于（）（1分）

A.系统性能测试B.数据流分析C.控制流分析D.软件安全测试

【答案】C

【解析】DST通过图形化表示程序控制流，用于路径覆盖分析。

5.以下哪项不属于形式化方法的范畴？（）（1分）

A.模型检验B.需求分析C.逻辑推理D.定理证明

【答案】B

【解析】需求分析是软件工程早期阶段活动，形式化方法主要应用于模型验证和程序证明。

6.可信软件的V模型强调（）（1分）

A.迭代开发B.模块化设计C.测试驱动开发D.测试与开发并行

【答案】D

【解析】V模型将测试与开发活动对应排列，强调测试与开发同步进行。

7.软件可靠性增长模型中，适用于新开发系统的