软件工程期末复习(8)需求的表达方法和状态转换图

2024-05-16 04:52

本文主要是介绍软件工程期末复习(8)需求的表达方法和状态转换图,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

需求的表达方法

系统模型

需求分析的任务就是借助于当前系统的逻辑模型导出目标系统的逻辑模型,解决目标系统 “做什么” 的问题

  • 通常软件开发项目是要实现目标系统的物理模型。
  • 目标系统的具体物理模型是由它的逻辑模型经实例化,即具体到某个业务领域而得到的。
  • 导出目标系统的逻辑模型的过程中,对系统进行建模有着不可替代的作用。 

在需求分析阶段创建模型的作用:

  • 模型帮助分析员理解系统的信息、功能和行为,因此,使得需求分析任务更容易、更系统;
  • 模型是评审的焦点,因此,也成为确定规约的完整性、一致性和精确性的关键;
  • 模型是设计的基础

 系统模型的分类:

  • 行为模型:这个概念包括系统的所有过程层面的内容。
    • 功能模型:描述数据的功能转换。有两种方式。
      • 其一,数据被认为在功能处理元素间流动,如数据流图(DFD)。
      • 其二,领域实体被建模成对象,通过事件触发相应的服务来处理数据元素,如面向对象方法。
    • 动态模型:描述与时间有关的变化。
  • 结构模型(静态模型):描述系统的实体结构。

需求的表达形式

最基本形式--自然语言描述:

因可能存在二义性,所以应在合适情况下选用合适的符号进行精确描述。

静态描述 :

  • 实体-关系图(ER图)
  • 数据抽象
  • 对象模型

动态描述:

  • 判定表
  • 状态迁移图
  • 时序图
  • Petri网

层次技术

Warnier图

系统的动态分析

  • 系统的需求规格说明通常可以用自然语言来叙述,但是用自然语言描述往往会出现歧义性;
  • 为了直观地分析系统的动作,从特定的视点出发描述系统的行为,需要采用动态分析的方法。

常用的动态分析方法

  • 状态迁移图
  • 时序图
  • Petri网

状态转换图:

  • 状态转换图(简称为状态图)通过描绘系统的状态及引起系统状态转换的事件,来表示系统的行为
  • 状态:状态是任何可以被观察到的系统行为模式,规定了系统对事件的响应方式
  • 事件:在某个特定时刻发生的事情,它是对引起系统做动作或(和)从一个状态转换到另一个状态的外界事件的抽象

状态转换图的符号

  • 活动表的语法格式如下:          事件名(参数表)/动作表达式
  • 事件表达式的语法如下:          事件说明[守卫条件]/动作表达式
  • 其中事件说明的语法如下:         事件名(参数表)

状态转换图举例

状态转换图和与其等价的状态转换表示例 ⬆️

例如, 当有多个申请占用CPU运行的进程时,  有关CPU分配的进程的状态迁移:

状态转换图的优点 

  • 状态之间的关系能够直观地捕捉到,可以检查所有可能的状态是否都已纳入到图中,是否存在不必要的状态等。
  • 由于状态迁移图的单纯性,能够机械地分析许多情况,可很容易地建立分析工具,回答诸如“指定事件序列P、状态A和B,可以因为P从A向B迁移吗?”、“找出经过所有状态的事件序列”之类的问题。 

这篇关于软件工程期末复习(8)需求的表达方法和状态转换图的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/993934

相关文章

Python容器转换与共有函数举例详解

《Python容器转换与共有函数举例详解》Python容器是Python编程语言中非常基础且重要的概念,它们提供了数据的存储和组织方式,下面:本文主要介绍Python容器转换与共有函数的相关资料,... 目录python容器转换与共有函数详解一、容器类型概览二、容器类型转换1. 基本容器转换2. 高级转换示

Java实现字符串大小写转换的常用方法

《Java实现字符串大小写转换的常用方法》在Java中,字符串大小写转换是文本处理的核心操作之一,Java提供了多种灵活的方式来实现大小写转换,适用于不同场景和需求,本文将全面解析大小写转换的各种方法... 目录前言核心转换方法1.String类的基础方法2. 考虑区域设置的转换3. 字符级别的转换高级转换

Prometheus+cpolar如何在手机上也能监控服务器状态?

《Prometheus+cpolar如何在手机上也能监控服务器状态?》本文强调了通过Cpolar这一内网穿透工具,轻松突破Prometheus仅限于局域网访问的限制,实现外网随时随地访问监控数据,教你... 目录前言1.安装prometheus2.安装cpolar实现随时随地开发3.配置公网地址4.保留固定

Python轻松实现Word到Markdown的转换

《Python轻松实现Word到Markdown的转换》在文档管理、内容发布等场景中,将Word转换为Markdown格式是常见需求,本文将介绍如何使用FreeSpire.DocforPython实现... 目录一、工具简介二、核心转换实现1. 基础单文件转换2. 批量转换Word文件三、工具特性分析优点局

使用C#实现将RTF转换为PDF

《使用C#实现将RTF转换为PDF》RTF(RichTextFormat)是一种通用的文档格式,允许用户在不同的文字处理软件中保存和交换格式化文本,下面我们就来看看如何使用C#实现将RTF转换为PDF... 目录Spire.Doc for .NET 简介安装 Spire.Doc代码示例处理异常总结RTF(R

Spring Boot基于 JWT 优化 Spring Security 无状态登录实战指南

《SpringBoot基于JWT优化SpringSecurity无状态登录实战指南》本文介绍如何使用JWT优化SpringSecurity实现无状态登录,提高接口安全性,并通过实际操作步骤... 目录Spring Boot 实战:基于 JWT 优化 Spring Security 无状态登录一、先搞懂:为什

OFD格式文件及如何适应Python将PDF转换为OFD格式文件

《OFD格式文件及如何适应Python将PDF转换为OFD格式文件》OFD是中国自主研发的一种固定版式文档格式,主要用于电子公文、档案管理等领域,:本文主要介绍OFD格式文件及如何适应Python... 目录前言什么是OFD格式文档?使用python easyofd库将PDF转换为OFD第一步:安装 eas

基于Java实现PPT到PDF的高效转换详解

《基于Java实现PPT到PDF的高效转换详解》在日常开发中,经常会遇到将PPT文档批量或单文件转换为PDF的需求,本文将详细介绍其使用流程、核心代码与常见问题解决方案,希望对大家有所帮助... 目录一、环境配置Maven 配置Gradle 配置二、核心实现:3步完成PPT转PDF1. 单文件转换(基础版)

使用C#实现Excel与DataTable的相互转换

《使用C#实现Excel与DataTable的相互转换》在软件开发中,Excel文件和DataTable是两种广泛使用的数据存储形式,本文将介绍如何通过C#实现Excel文件与Data... 目录安装必要的库从 Excel 导出数据到 DataTable从 DataTable 导入数据到 Excel处理 E

利用Python将PDF文件转换为PNG图片的代码示例

《利用Python将PDF文件转换为PNG图片的代码示例》在日常工作和开发中,我们经常需要处理各种文档格式,PDF作为一种通用且跨平台的文档格式,被广泛应用于合同、报告、电子书等场景,然而,有时我们需... 目录引言为什么选择 python 进行 PDF 转 PNG?Spire.PDF for Python