软件工程 | 杰克逊系统开发 (JSD)

简介

JSD(杰克逊系统开发)是一种软件工程方法，它由英国计算机科学家Michael A. Jackson 所创建，旨在开发可靠的软件系统。JSD的核心思想是通过建立一个形式化的问题描述，从而推导出系统的规格说明和结构设计，最终实现系统开发的自动化。

JSD的特点

• 强调问题域和需求分析。
• 严格的建模和规格化，保证系统的可靠性和一致性。
• 以结构化方法为基础。
• 模块化开发，便于模块的维护和查错。
• 支持自动代码生成。

开发流程

JSD的开发流程包括以下7个步骤：

1. 需求定义：确定项目的范围，并明确用户的需求。这个阶段需要收集用户的需求，然后制定需求规格说明书（SRS）。

2. 系统分析：建立问题域模型，通过分析问题和建立各个领域之间的关联来寻求所需的解决方案。在该阶段中还会制定规格说明书。

3. 规格设计：确定所需软件系统中各部分的功能，限制和输入/输出特征，并制定系统功能规格说明书。

4. 实时分析：通过分析系统的内部结构、流程和用户交互来确定系统的实时属性。

5. 设计：确定系统的结构和数据流程，提高产品的设计和实现效率。

6. 编码：按设计说明书编写代码，通过自动生成代码提高效率和准确性。

7. 测试和维护：测试所开发的系统，修复错误和更新。

JSD的优点

• 以问题域为基础，能更准确地分析需求，有效地解决了软件开发中的问题域建模难题。
• 建立结构化的规格和模型，便于代码设计和开发，提高了开发的准确性和可靠性。
• 采用模块化的开发方法，便于模块维护和复用。
• 支持代码自动生成，提高了效率和准确性。

参考资料

• JSD - 杰克逊系统开发
• JSD - A Method for Practical Formal Development