题目
A.单元测试
B. 集成测试
C. 数学验证
D. 盒式规约
第1题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
第2题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A.产生式归约
B.移进归约
C.盒结构归约
D.规范归约
第3题
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
(25)
A.测试
B.仿真
C.实验
D.正确性验证
第4题
A.使用了严格的净室软件工程过程的产品
B.控制模块具有较大技术风险的产品
C.采用了契约式设计的产品
D.在极限编程中使用了探索式开发风格的产品
第5题
以下关于软件开发方法的叙述,错误的是()。
A.对于较为复杂的应用问题,适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
第7题
A.错误
B.正确
第8题
A.UML是面向对象程序分析、设计与构造的一种表达方法
B.UML包含了类图/对象图、次序图、状态图、用例图等图形化的表达方法
C.UML便于人们交流分析设计的成果
D.其他选项中有错误描述
第9题
A.UML是面向对象程序分析、设计与构造的一种表达方法
B.UML包含了类图/对象图、次序图、状态图、用例图等图形化的表达方法
C.UML便于人们交流分析设计的成果
D.其他选项中有错误描述
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!