软件需求分析作业
（第二次）
姓名：郑灵欣
班级：21 级软件工程一班
学号：202105566803
第七章
填空题
8. Z 是牛津大学提出的一种基于集合论与一介逻辑的形式化规格说明语言，也称为 Z 语言。
在 Z 的数学符号中的常用集合有_自然数集合______ 、整数集合___ 、_正数集合______。
简答题
5. LOTOS 是一种标准的形式化描述方法，主要应用于通信系统以及分布式系统的规约。那
么设计 LOTOS 的主要目的是什么？
答：设计 LOTOS 的主要目的是建立一种高度抽象且具有强大数学基础的语言，可以用于分
析和描述复杂的系统， LOTOS 作为被 ISO 标准化的形式描述技术之一,主要 用来设计分
布式系统,特别是 OSI 服务和协议
问答题
2. 欧洲开展推进把形式化规格说明技术应用于实际的软件开发中的工作比较活跃，特别是
从企业应用的角度来看，严格的规格说明等正在受到重视。
（1）目前把形式化规格说明应用于软件开发工作中的形式有哪两种？
（2）画出任意一种形式的过程图。
答：
题目一：
1） Petri 网
2） Z 语言
题目二：
X
郑灵欣
第八章
填空题
4. 当软件需求规格说明文档满足审查标准时，就可以决定进入正式审查的筹备阶段。在这
一阶段我们需要做的是___ 筹备_______，__总体会议______，__ __准备____，___审查会议____，
修改，重审。
简答题
21. 资深软件工程师都知道，当以 SRS 为基础进行后续开发工作，如果在开发后期或在交付
系统之后才发现需求存在问题，这时修补需求错误就需要做大量的工作。相对而言，在系统
分析阶段，检测 SRS 中的错误所采取的任何措施都将节省相当多的时间和资金。因此，有
必要对于 SRS 的正确性进行验证，以确保需求符合良好特征。需求验证也称为需求确认，
其活动是为了确定哪五个方面的内容？
答：
(1) SRS 正确地描述了预期的、满足项目干系人需求的系统行为和特征。
(2) SRS 中的软件需求是从系统需求、业务规格和其他来源中正确推导而来的。
(3)需求是完整的和高质量的。
(4)需求的表示在所有地方都是一致的。
(5)需求为继续进行系统设计、实现和测试提供了足够的基础。
问答题
6. 在需求工程领域中，如何检测和验证目标软件的需求是相当困难而又重要的工作。通过
多年的研究和实践，软件需求检测和验证理论以及技术已取得了不小的成果和进步。其中，
将可视化技术与形式化需求验证方法相结合就是一种方法。
（1）什么是可视化？
（2）这种方法有什么好处？
答：
（1）可视化是利用计算机图形学和图像处理技术,将数据转换成图形或图像在屏幕上显示出
