一、引言
结构化分析是一种面向数据流进行需求分析的方法,其总体步骤包括:
1. 需求获取;
2. 分析建模;
3. 需求文档化;
4. 需求验证与评审。
本文将以在线图书管理系统为例,详细展示按照这些步骤进行结构化分析的全过程,旨在为系统的开发提供清晰、准确的需求框架。
二、需求获取
1. 访谈与调研
与图书馆管理员、读者、系统维护人员交流。管理员关注图书采购、库存管理、借阅规则设置,如期望快捷添加新书信息、实时掌握库存、设置库存阈值提醒采购;读者注重图书检索、借阅/归还流程、逾期提醒,希望有多种检索方式方便找书;维护人员关心系统稳定性和数据备份需求。
2. 问卷调查
面向广大读者群体,了解借阅频率、图书查找方式偏好及个性化服务需求等高频需求,如询问借阅次数多的读者是否希望有推荐功能。
3. 观察法
实地观察现有图书馆业务流程,总结手工登记借阅记录等环节的痛点,如操作繁琐、易出错等。
4. 原型法
快速构建低保真原型,如纸质草图或简单线框图,向用户演示基本交互流程,验证需求合理性,例如展示图书查询和借阅流程的交互界面。
产出物:初步的需求清单,涵盖功能需求(图书管理、读者管理、查询检索、借阅管理、系统管理等)和非功能需求(响应时间≤2秒、支持100并发用户、数据备份恢复机制)。
三、分析建模
1. 功能建模(数据流图,DFD)
构建分层 DFD 展示系统功能及数据流动。
- 0 层 DFD(上下文图):呈现系统与外部实体(读者、管理员、图书供应商)的交互,明确输入和输出。例如,读者输入查询请求和归还图书操作,管理员输入库存更新指令,系统输出查询结果和借阅确认通知等。
- 1 层 DFD:分解核心模块,如图书管理、读者管理、查询检索。详细展示各模块间的数据交互,如图书管理模块中图书信息录入、库存校验、借阅记录更新的数据流动。
- 低层 DFD:进一步细化子模块逻辑,如细化图书借阅流程。以图书借阅为例,从读者提交借阅请求,到系统验证库存、检查读者状态等一系列操作的数据流动。
工具:Visio、Draw.io、IDEF0
产出物:分层 DFD 图(0 层、1 层、关键子模块)。
2. 数据建模(E - R 图)
定义系统数据实体及其关系,以列表形式展示各实体及其属性:
- 图书(Book):
BookID
:主键,字符串类型,长度 12,格式为 "BK - YYYYMMDD - XXX",唯一标识每本图书,格式固定。ISBN
:字符串类型,长度 13/10,需符合国际标准书号规则。Title
:字符串类型,长度 100,书名,不允许空值。Author
:字符串类型,长度 50,作者,可有多个,用逗号分隔。Stock
:整数类型,库存数量,非负整数。
- 读者(Reader):
ReaderID
:主键,字符串类型,长度 8,由系统自动生成的 8 位数字,唯一标识读者。Name
:字符串类型,长度 20,姓名,中英文、数字组成,不允许空格开头/结尾。Contact
:字符串类型,长度 50,联系方式,合法邮箱或电话格式。BorrowLimit
:整数类型,最大借阅数量,非负整数。
- 借阅记录(BorrowRecord):
RecordID
:主键,字符串类型,自定义编号规则。ReaderID
:外键,字符串类型,长度 8,关联读者表的ReaderID
。BookID
:外键,字符串类型,长度 12,关联图书表的BookID
。BorrowDate
:日期类型,格式为 YYYY - MM - DD,借阅日期,系统当前日期。ReturnDate
:日期类型,格式为 YYYY - MM - DD,归还日期,可为 NULL 表示未归还。
关系:读者与借阅记录为一对多关系(一个读者可借多本书);图书与借阅记录为一对多关系(一本书可被多个读者借阅)。
工具:MySQL Workbench、PowerDesigner、ER/Studio
产出物:E - R 图(含实体、属性、关系的图形化展示),同时以列表形式详细记录各实体及其属性信息。
3. 行为建模(状态转换图,STD)
刻画系统或对象的状态变化及触发条件,以文本形式展示:
图书状态转换图
- 初始状态:可借阅
- 触发事件:借阅请求
- 条件:库存>0
- 状态转移:可借阅 → 借出中
- 借出中状态
- 触发事件:归还操作
- 状态转移:借出中 → 已归还
- 已归还状态
- 触发事件:库存更新
- 状态转移:已归还 → 可借阅
读者账户状态转换图
- 初始状态:正常
- 触发事件:逾期未还
- 状态转移:正常 → 逾期
- 逾期状态
- 触发事件:罚款未缴
- 状态转移:逾期 → 冻结
- 冻结状态
- 触发事件:缴纳罚款
- 状态转移:冻结 → 正常
工具:StarUML、Enterprise Architect、Visio(支持绘制状态图)、在线工具如 PlantUML 或 Mermaid(可在文档中直接嵌入图形化代码),此处以文本形式呈现状态转换逻辑。
产出物:状态转换图(图书状态、读者账户状态)的文本描述,可用表格化描述补充复杂逻辑(仅在必要时):
图书当前状态 | 触发事件 | 条件 | 下一状态 |
---|---|---|---|
可借阅 | 借阅请求 | 库存>0 | 借出中 |
借出中 | 归还操作 | - | 已归还 |
已归还 | 库存更新 | - | 可借阅 |
正常 | 逾期未还 | - | 逾期 |
逾期 | 罚款未缴 | - | 冻结 |
冻结 | 缴纳罚款 | - | 正常 |
4. 辅助工具与方法
4.1 加工规格说明(PSPEC)
详细描述 DFD 中每个“加工”(处理逻辑)的具体算法,采用多种方式描述,例如对于图书借阅加工过程:
- 结构化语言描述:
1. 输入读者 ID 和图书 ID
2. 进行读者状态检查:- 若读者状态为冻结,输出“读者账户冻结,借阅失败”- 若读者状态正常,继续下一步
3. 检查图书库存:- 若库存>0,继续下一步- 若库存=0,输出“库存不足,借阅失败”
4. 更新库存:将图书库存减 1
5. 插入借阅记录:在借阅记录表中添加一条新记录
6. 输出“借阅成功”
-
判定表描述:
| 条件 | 读者状态正常 | 读者状态冻结 | 库存>0 | 库存=0 |
| ---- | ---- | ---- | ---- | ---- |
| 动作 | 借阅成功,更新库存,插入记录 | 借阅失败,提示账户冻结 | 借阅成功,更新库存,插入记录 | 借阅失败,提示库存不足 |
-
判定树描述:
开始
├─读者状态正常?
│ ├─是
│ │ ├─库存>0?
│ │ │ ├─是 → 借阅成功,更新库存,插入记录
│ │ │ └─否 → 借阅失败,提示库存不足
│ └─否 → 借阅失败,提示账户冻结
└─(无对应情况,因前提为流程正常启动,读者未处理时默认正常,可优化流程逻辑忽略此分支)
产出物:PSPEC 文档,包含结构化语言描述、判定表、判定树等不同形式的加工逻辑说明。
4.2 控制规格说明(CSPEC)
描述系统控制流(如事件触发顺序、并发控制)。以图书借阅流程为例,采用结构化语言描述:
1. 用户点击“借阅”按钮
2. 系统触发验证请求:- 并发控制:对同一本书的借阅请求加锁- 验证读者状态:检查是否冻结- 验证库存:检查是否大于 0
3. 若验证通过:- 更新库存- 插入借阅记录- 输出“借阅成功”
4. 若验证不通过:- 根据失败原因输出相应提示信息
产出物:CSPEC 文档,以结构化语言描述系统控制流。
4.3 数据字典
集中管理所有数据项的定义,以表格形式呈现:
数据项名称 | 数据类型 | 长度 | 取值范围/格式 | 约束条件 | 示例值 |
---|---|---|---|---|---|
BookID | 字符串 | 12 | "BK - YYYYMMDD - XXX" | 唯一标识,格式固定 | "BK - 20231015 - 001" |
ISBN | 字符串 | 13/10 | 国际标准书号 | 需符合 ISBN 校验规则 | "9787115474578" |
Title | 字符串 | 100 | 中英文混合 | 不允许空值 | "Python 编程:从入门到实践" |
Stock | 整数 | - | ≥0 | 库存数量 | 5 |
BorrowDate | 日期 | - | YYYY - MM - DD | 系统当前日期 | "2023 - 10 - 20" |
ReturnDate | 日期 | - | YYYY - MM - DD | 可为空(未归还) | "2023 - 11 - 20" |
产出物:数据字典文档。
四、需求文档化
1. 需求规格说明书(SRS)结构
- 引言
- 项目背景、目标用户、术语定义。
- 功能需求
- 按模块描述详细功能(如“图书管理”支持批量导入 ISBN)。
- 非功能需求
- 性能(响应时间≤2秒)、安全性(密码加密存储)、可用性(99.9%系统可用性)。
- 数据需求
- 数据库表结构(基于 E - R 图)、数据字典。
- 界面原型
- 关键页面线框图(如登录页、查询结果页)。
2. 数据字典(详细定义)
数据项名称 | 数据类型 | 长度 | 取值范围/格式 | 约束条件 | 示例值 |
---|---|---|---|---|---|
BookID | 字符串 | 12 | "BK - YYYYMMDD - XXX" | 唯一标识,格式固定 | "BK - 20231015 - 001" |
ISBN | 字符串 | 13/10 | 国际标准书号 | 需符合 ISBN 校验规则 | "9787115474578" |
Title | 字符串 | 100 | 中英文混合 | 不允许空值 | "Python 编程:从入门到实践" |
Stock | 整数 | - | ≥0 | 库存数量 | 5 |
BorrowDate | 日期 | - | YYYY - MM - DD | 系统当前日期 | "2023 - 10 - 20" |
ReturnDate | 日期 | - | YYYY - MM - DD | 可为空(未归还) | "2023 - 11 - 20" |
工具:
- Word/Confluence(文档编写)。
- Excel(数据字典表格化管理)。
产出物:需求规格说明书(SRS),包含上述各部分内容。
3. 需求跟踪矩阵(RTM)
需求ID | 描述 | 设计模块 | 测试用例ID | 状态 |
---|---|---|---|---|
R001 | 支持按书名模糊查询 | 查询模块 | TC001 | 已确认 |
R002 | 借阅时检查库存并更新记录 | 借阅模块 | TC002 | 已确认 |
产出物:需求跟踪矩阵(RTM),以 Excel 或专业工具(如 JIRA)管理,确保需求与设计、测试用例对应。
五、需求验证与评审
1. 评审会议
召集开发团队、客户代表、测试人员,逐条审查 SRS 文档。检查点包括:需求是否覆盖所有业务场景,是否存在逻辑矛盾等。例如,检查图书借阅流程在不同用户状态下的逻辑是否正确。
2. 原型验证
通过交互式原型(如 Axure/Figma)演示核心流程,收集用户反馈。例如,让读者体验图书查询和借阅流程,收集易用性方面的意见。
3. 需求跟踪矩阵(RTM)更新与确认
确保开发任务和测试用例与需求严格对应,如有偏差及时调整。例如,若有新的功能需求加入,及时在 RTM 中更新并关联相关设计和测试用例。
产出物:评审报告,记录评审发现的问题及解决情况;更新后的需求跟踪矩阵(RTM)。
六、总结
通过以上结构化分析过程,我们对在线图书管理系统的需求有了清晰、全面的认识。从需求获取、分析建模、需求文档化到需求验证与评审,每个环节都相互关联、不可或缺。需求获取阶段为后续分析提供基础;分析建模阶段将需求转化为直观的模型,便于理解和沟通,其中 E - R 图以图形化方式清晰展示实体属性与关系,状态转换图以直观的图形呈现系统状态变化,加工规格说明采用多种方式详细描述处理逻辑,控制规格说明明确系统控制流,数据字典集中管理数据项定义;需求文档化阶段将分析结果整理成正式文档,作为开发依据;需求验证与评审阶段确保需求的准确性和完整性。这一过程有助于提高系统开发的质量和效率,减少后期更改的成本,最终实现一个满足用户需求、高效稳定的在线图书管理系统。