饶建农

摘要：针对软件开发中的模块依赖提出了一种新的模块间依赖模型。新模型的关键思想是依赖是由规范调节的，这样不仅记录了依赖的存在，而且记录了依赖的质量。单个模块不一定只提供单个规范，每个依赖模块可以通过不同的规范使用它。这种依赖的概念比传统的概念更容易解释一些常见的编程习惯用法，并为分析和设计提供了新的评价体系。

关键词：模块依赖;规范;依赖关系图;耦合

中图分类号：TP311      文献标识码：A

文章编号：1009-3044（2021）09-0078-03

开放科学（资源服务）标识码（OSID）

1 背景

软件设计者早就认识到模块之间的依赖关系在评估设计中的意义。当模块之间存在许多相互依赖关系时，系统更难理解，编码分工的灵活性降低，局部变化将产生广泛影响。尽管依赖性起着开创性的作用，但是大多数设计人员对依赖性是什么，以及如何表达依赖性只有模糊的认识。

尽管各种代码依赖因其在分离编译和程序分析中的作用而受到重视，但对设计依赖的重视却很少。因此，依赖关系图在程序设计中的作用要小得多，不能用作分析的基础。

本文提出了一种新的依赖模型。该模型的工作还处于初步阶段，但它确实解决了标准模型的一些问题，特别是更好地解释了面向对象设计中的一些常见的习惯用法。

2 标准模型及其缺陷

模块依赖的标准概念首先由Parnas[1]阐述，大多数开发人员都很熟悉。该系统被描述为一个图，节点表示模块，边表示语法依赖关系。……