GB20438.7 技术和措施概述计算机辅助的规范工具

摘要：描述：本技术可产生一个数据库形式的规范,这种形式可被自动检查,从而评估一致性和完备性。规范工具能把用户指定的系统的各种特征制作成动画。通常,技术支持不仅建立规范,也能建立设计和项目生命周期的其他阶段。可根据以下条款对规范工具进行分类。

B.2.4 计算机辅助的规范工具

注:在GB/T 20438.2-2017的表B.1和表B.6中以及在GB/T 20438.3-2017的表A.1.表A.2.表C.1和表C.2中引用了本技术/措施。

B.2.4.1 概述

目的：使用形式化规范技术以便于自动检测歧义性和完备性。

描述：本技术可产生一个数据库形式的规范,这种形式可被自动检查,从而评估一致性和完备性。规范工具能把用户指定的系统的各种特征制作成动画。通常,技术支持不仅建立规范,也能建立设计和项目生命周期的其他阶段。可根据以下条款对规范工具进行分类。

B.2.4.2 面向无特定方法的工具为了不用特殊方法所面向的工具

目的：通过提供提示和各相关部分间的连接,帮助用户编写一份好的规范。

描述：规范工具可接替用户的一些日常工作并支持项目管理。它不强求任何特殊的规范方法。在方法方面的相对独立性允许用户在建立规范时有很大的自由度,但为用户提供所必需的专门支持很少。这会使得精通系统更为困难，

B.2.4.3 面向模型的层次分析程序

目的:在规范中避免不完整、歧义和矛盾,例如通过保证动作和数据的描述在不同的抽象层次下的一致性,帮助用户编写一份好的规范。

描述:本方法给出了各抽象层次(精确等级)下,要求的系统的一个功能表达式(结构化分析)。这些模型组成了一个巨大的方法库，有限自动机就是一类广泛用于描述离散/数字系统演变的模型。微分方程在描述连续/模拟系统上具有类似的思路和目的。各个层次下的分析对动作和数据两者都有作用，在层次之间和同一层次的两个功能单元(模块)之间评估歧义性和完备性是可能的。(例如，系统模型的任何一个状态都可以用它的初始状态、输入和自动状态机的转换方程来描述。

注：基于模型描述的问题,可能是抽象级别的,在捕获特定阶段所有相关功能上的限制,从业者应该理解模型的难度(从阅读句法到理解),要在系统的整个生命周期中尽力开发、分析并保持一个模型,支持构建和分析模型的有效工具的可行性(开发这样的工具是一项需付出巨大努力的工作)和工作人员能够开发和分析模型的可行性。

参考文献:

System requirements analysis. Jeffrey O.Grady,Academic Press,2006.ISBN 012088514X9780120885145

B.2.4.4 实体-关系-属性的数据模型

目的:关注系统中的各实体以及它们之间的关系,帮助用户编写一份好的规范。

描述:把要求的系统描述成一些对象和它们之间的关系的一个集合。工具使我们能确定系统能解释哪些关系。通常，这些关系允许描述对象,数据流的层次结构,数据之间的关系，以及哪些数据是取决于特定生产过程的。为了用于过程控制,已对传统的程序进行了扩充，检查能力和对用户的支持与所说明的各种关系有关。另一方面,大量可能的表达式使本技术的应用变得很复杂。

参考文献:

Software Requirements:Practical Techniques for Gathering and Managing Requirements Throughout the Product Development CycleKarl Eugene Wiegers,Microsoft Press.2003,ISBN 0735618798.9780735618794

B.2.4.5 诱因和回答

目的:通过识别激励一响应关系，帮助用户编写一份好的规范。

描述:系统的各对象之间的关系用“诱因”和“回答”的一种表示法来说明。使用了一种简单和容易的护充语言,这种语言包含有代表对象、关系、特性和结构的语素。