补充资料：设计工具

设计工具
designing tool

有一类采用某种形式化功能规约描述语言的设计工具。它用以辅助设计人员建立目标系统的形式化设计模型，并可对设计模型进行分析和验证。现已有一些实验性系统出现，典型工具有可到达性分析工具、模型检查工具、约束分析工具等。 可列达性介析工兵通过枚举一个系统的所有可能输人状态来构造出系统的可到达性图。对此图的分析可得出一些有用结果，如潜在的灾难性状态是否可到达，系统是否可能陷人死锁，在同样条件下系统是否会显示不同的行为特征等。模型检查工具接受一个表示系统可到达性图的逻辑模型和一组表示设计目标的逻辑公式，来判断规约是否达到要求。约束分析工具用来验证系统的行为规约是否可满足，即把控制流等规约转换成一组线性不等式，如果它们有解，则规约是可满足的。 面向对象设计((X)I〕)工具是90年代设计工具的重要发展方向之一。此外，设计工具发展方向还包括，更多地表达软件设计活动本身的信息以提高软件设计重用程度和把多个不同的设计工具在共同的数据表示基础上集成为设计工具集以覆盖整个软件设计活动。sheji gongju设计工具(designing tool)软件开发过程中用于设计活动的工具，它辅助设计人员从软件功能规约出发，得到相应的设计规约。 设计工具可分为棍要设计工兵和评细设计工兵，概要设计工具用以设计目标软件系统的体系结构、控制结构和数据结构，通常采用模块结构图来表示目标系统的结构，其基本构成是模块与模块调用。概要设计工具除应对模块图结构的一致性及完备性进行检测外，还应提供对模块结构图质量的评价，以便软件设计人员在多种设计方案中找到满足期望目标的设计方案，得到可供详细设计的设计规约，其典型代表有结构化设计工具等。详细设计工具用以设计模块内部的实现细节，通常采用的表示形式有层次输人一处理一输出(HIP〔))图、程序设计语言(PDL)、问题分析(PAD)图等，其典型代表有PDL设计工具等。 在设计阶段，获据词冉替班工兵保存了设计中各对象的相互联系和使用情况，并在设计过程中维护命名空间，提供相应的定义、更新及检索功能。 除了基于图形表示设计规约的设计工具外，还

说明：补充资料仅用于学习参考，请勿用于其它任何用途。