试题详情
- 单项选择题形式化方法模型是将数学方法用于（）
A、定义计算机系统的规格说明
B、开发无错误的计算机系统
C、验证计算机系统的正确性
D、以上所有选项
- D
关注下方微信公众号，在线模考后查看
热门试题
- 完善性维护
- 变换分析设计的步骤？
- 关于远景/范围文档，以下说法正确的是（）
- 因果图法可以用于系统地设计测试用例。
- 为什么说软件维护是一项困难的工作？
- 纯收入
- 简述SA方法的优缺点？
- 软件生存期中时间最长的是（）阶段。
- 统一建模语言UML是当今软件工程领域最先
- 程序设计语言分为哪几类？
- 在结构化的分析方法中，用实体关系图表达系
- 面向对象分析是提取和整理用户需求，并建立
- 什么是面向复用方法？说说它产生的原因和适
- （）又称实施图，用来表示系统中的计算节点
- 渐增式是将模块一个一个地连入系统，每连入
- 删除任务的操作方法可按（）键。
- 软件的开发单位应该建立本*单位文档的标识
- 简述软件生命周期开发方法的基本过程及每个
- 软件结构是以（）为基础而组成的一种控制层
- 数据流图与程序流程图的主要区别是程序流程