软件工程导论第4章习题答案

第4章习题

这些答案是我参考了网上的答案,结合课本,加入自己理解的答案。
课本:《软件工程导论 (第6版)》-- 张海藩

4-1

举例对比形式化方法和欠形式化方法的优缺点。

答:
(1) 欠形式化方法的缺点

  1. 矛盾。例如,规格说明书的某一部分规定系统必须监控化学反应容器中的温度,而另一部分却规定只监控一定范围内的温度。
  2. 二义性。例如,以下表述具有二义性:“操作员标识由操作员姓名和密码组成,密码由6位数字构成。当操作员登录进系统时它被存放到注册文件中”。“它”指代不明。
  3. 含糊性。例如,“系统界面应该是对用户友好的。”,这样笼统的陈述没有给出任何有用的信息。
  4. 不完整性。例如,“水库深度数据应该保留6个月”,如果规格说明书没有给出这些数据在6个月以外的描述,那么这些细节是不完整的。
  5. 抽象层次混乱。是指在非常抽象的陈述中混进了一些关于细节的低层次陈述,降低了可读性。

(2) 形式化方法的优点

  • 克服了非形式化方法的缺点。
  1. 能够简洁准确地描述物理现象、对象或动作的结果。
  2. 可以在不同的软件工程活动之间平滑地过渡。
  3. 提供了高层确认的手段。

4-2

在什么情况下应该使用形式化说明技术?使用形式化说明技术时应遵守哪些准则?

  • 在使用非形式化方式描述时,存在矛盾,二义性,含糊性,不完整性,抽象层次混乱等问题时,使用形式化说明技术
  1. 应该选用适当的表示方法
  2. 应该形式化,但不要过分形式化【二仙桥】
  3. 应该估算成本
  4. 应该有形式化方法顾问随时提供咨询
  5. 不应该放弃传统的开发方法
  6. 应该建立详尽的文档
  7. 不应该放弃质量标准
  8. 不应该盲目依赖形式化方法
  9. 应该测试、测试再测试
  10. 应该重用

记忆宫殿路线(宿舍):
我的座位→看hjj做什么→看hyh做什么→看ljj做什么→穿洞洞鞋→出去打水→回来洗手→看下洗衣机→上个厕所→上床睡觉
① 我在B站学表白方法(表示方法
② hjj在B站看二仙桥
③ hyh上JD买买买(成本
④ ljj找医生顾问咨询 xxxx
应该穿传统的鞋子,应该穿洞洞鞋
⑥ 饮水机那里挂着很多详尽的文档,看完才能打水
⑦ 洗手不能不洗干净(质量标准
⑧ hjj又没晾衣服,不依赖我们就不记得晾了
⑨ 吃屎吃屎吃屎(测试测试测试
反复睡觉

热门文章

暂无图片
编程学习 ·

那些年让我们目瞪口呆的bug

程序员一生与bug奋战,可谓是杀敌无数,见怪不怪了!在某知识社交平台中,一个“有哪些让程序员目瞪口呆的bug”的话题引来了6700多万的阅读,可见程序员们对一个话题的敏感度有多高。 1、麻省理工“只能发500英里的邮件” …
暂无图片
编程学习 ·

redis的下载与安装

下载redis wget http://download.redis.io/releases/redis-5.0.0.tar.gz解压redis tar -zxvf redis-5.0.0.tar.gz编译 make安装 make install快链方便进入redis ln -s redis-5.0.0 redis
暂无图片
编程学习 ·

《大话数据结构》第三章学习笔记--线性表(一)

线性表的定义 线性表:零个或多个数据元素的有限序列。 线性表元素的个数n定义为线性表的长度。n为0时,为空表。 在比较复杂的线性表中,一个数据元素可以由若干个数据项组成。 线性表的存储结构 顺序存储结构 可以用C语言中的一维数组来…
暂无图片
编程学习 ·

对象的扩展

文章目录对象的扩展属性的简洁表示法属性名表达式方法的name属性属性的可枚举性和遍历可枚举性属性的遍历super关键字对象的扩展运算符解构赋值扩展运算符AggregateError错误对象对象的扩展 属性的简洁表示法 const foo bar; const baz {foo}; baz // {foo: "bar"…
暂无图片
编程学习 ·

让程序员最头疼的5种编程语言

世界上的编程语言,按照其应用领域,可以粗略地分成三类。 有的语言是多面手,在很多不同的领域都能派上用场。大家学过的编程语言很多都属于这一类,比如说 C,Java, Python。 有的语言专注于某一特定的领域&…
暂无图片
编程学习 ·

写论文注意事项

参考链接 给研究生修改了一篇论文后,该985博导几近崩溃…… 重点分析 摘要与结论几乎重合 这一条是我见过研究生论文中最常出现的事情,很多情况下,他们论文中摘要部分与结论部分重复率超过70%。对于摘要而言,首先要用一小句话引…
暂无图片
编程学习 ·

安卓 串口开发

上图: 上码: 在APP grable添加 // 串口 需要配合在项目build.gradle中的repositories添加 maven {url "https://jitpack.io" }implementation com.github.licheedev.Android-SerialPort-API:serialport:1.0.1implementation com.jakewhart…
暂无图片
编程学习 ·

2021-2027年中国铪市场调研与发展趋势分析报告

2021-2027年中国铪市场调研与发展趋势分析报告 本报告研究中国市场铪的生产、消费及进出口情况,重点关注在中国市场扮演重要角色的全球及本土铪生产商,呈现这些厂商在中国市场的铪销量、收入、价格、毛利率、市场份额等关键指标。此外,针对…
暂无图片
编程学习 ·

Aggressive cows题目翻译

描述&#xff1a; Farmer John has built a new long barn, with N (2 < N < 100,000) stalls.&#xff08;John农民已经新建了一个长畜棚带有N&#xff08;2<N<100000&#xff09;个牛棚&#xff09; The stalls are located along a straight line at positions…
暂无图片
编程学习 ·

剖析组建PMO的6个大坑︱PMO深度实践

随着事业环境因素的不断纷繁演进&#xff0c;项目时代正在悄悄来临。设立项目经理转岗、要求PMP等项目管理证书已是基操&#xff0c;越来越多的组织开始组建PMO团队&#xff0c;大有曾经公司纷纷建造中台的气质&#xff08;当然两者的本质并不相同&#xff0c;只是说明这个趋势…
暂无图片
编程学习 ·

Flowable入门系列文章118 - 进程实例 07

1、获取流程实例的变量 GET运行时/进程实例/ {processInstanceId} /变量/ {变量名} 表1.获取流程实例的变量 - URL参数 参数需要值描述processInstanceId是串将流程实例的id添加到变量中。变量名是串要获取的变量的名称。 表2.获取流程实例的变量 - 响应代码 响应码描述200指…
暂无图片
编程学习 ·

微信每天自动给女[男]朋友发早安和土味情话

微信通知&#xff0c;每天给女朋友发早安、情话、诗句、天气信息等~ 前言 之前逛GitHub的时候发现了一个自动签到的小工具&#xff0c;b站、掘金等都可以&#xff0c;我看了下源码发现也是很简洁&#xff0c;也尝试用了一下&#xff0c;配置也都很简单&#xff0c;主要是他有一…
暂无图片
编程学习 ·

C语言二分查找详解

二分查找是一种知名度很高的查找算法&#xff0c;在对有序数列进行查找时效率远高于传统的顺序查找。 下面这张动图对比了二者的效率差距。 二分查找的基本思想就是通过把目标数和当前数列的中间数进行比较&#xff0c;从而确定目标数是在中间数的左边还是右边&#xff0c;将查…
暂无图片
编程学习 ·

项目经理,你有什么优势吗?

大侠被一个问题问住了&#xff1a;你和别人比&#xff0c;你的优势是什么呢? 大侠听到这个问题后&#xff0c;脱口而出道&#xff1a;“项目管理能力和经验啊。” 听者抬头看了一下大侠&#xff0c;显然听者对大侠的这个回答不是很满意&#xff0c;但也没有继续追问。 大侠回家…
暂无图片
编程学习 ·

nginx的负载均衡和故障转移

#注&#xff1a;proxy_temp_path和proxy_cache_path指定的路径必须在同一分区 proxy_temp_path /data0/proxy_temp_dir; #设置Web缓存区名称为cache_one&#xff0c;内存缓存空间大小为200MB&#xff0c;1天没有被访问的内容自动清除&#xff0c;硬盘缓存空间大小为30GB。 pro…
暂无图片
编程学习 ·

业务逻辑漏洞

身份认证安全 绕过身份认证的几种方法 暴力破解 测试方法∶在没有验证码限制或者一次验证码可以多次使用的地方&#xff0c;可以分为以下几种情况︰ (1)爆破用户名。当输入的用户名不存在时&#xff0c;会显示请输入正确用户名&#xff0c;或者用户名不存在 (2)已知用户名。…