ICS35.240.50 L 67 中华人民共和国国家标准 GB/T 36456.3—2018 面向工程领域的共享信息模型 第3部分：测试方法 Engineering domain oriented shared information model- Part 3 : Testing methodology 2019-01-01实施 2018-06-07发布 国家市场监督管理总局 发布 中国国家标准化管理委员会 GB/T36456.3—2018 目 次 前言 1 范围 2 规范性引用文件 3 术语和定义 4 概述 5 一般要求 6 测试过程概述 判定方法 7 8 报告生成 9 形式化描述语言 10 测试· 附录A（资料性附录） 形式化描述语言使用实例· GB/T36456.3—2018 前言 GB/T36456《面向工程领域的共享信息模型》分为三个部分： 第1部分：领域信息模型框架； 一一第2部分：领域信息服务接口； —第3部分：测试方法。 本部分为GB/T36456的第3部分。 本部分按照GB/T1.1一2009给出的规则起草 请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。 本部分由全国信息技术标准化技术委员会（SAC/TC28）提出并归口。 本部分起草单位：清华大学、中国电子技术标准化研究院、中车信息技术有限公司 本部分主要起草人：孙家广、顾明、刘玉身、张荷花、高歌、余云涛、杨磊、相福民、李博 Ⅲ GB/T36456.3—2018 面向工程领域的共享信息模型 第3部分：测试方法 1范围 GB/T36456的本部分规定了GB/T36456.1描述的领域信息模型框架实现的测试方法。 本部分适用于工程领域信息模型实现的测试，也适用于指导工程领域信息共享测试软件的开发。 2规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅注日期的版本适用于本文 件。凡是不注日期的引用文件，其最新版本（包括所有的修改单）适用于本文件。 GB/T36456.1面向工程领域的共享信息模型第1部分：领域信息模型框架 GB/T36456.2面向工程领域的共享信息模型第2部分：领域信息服务接口 3术语和定义 下列术语和定义适用于本文件。 3.1 工程领域信息模型实现 implementationsforengineeringdomain information model 针对某工程领域的声称符合GB/T36456.1的信息模型实现，简称信息模型实现 3.2 completeness checking 完备性检查 关于信息模型中的组件、属性和关系与全部规定要求相一致的检查。 3.3 业务符合性检查 regulationchecking 关于信息模型中的组件、属性和关系与工程领域业务规范全部规定相一致的检查。 3.4 受试实现implementationundertest;IUT 接受测试的声称符合GB/T36456.1的信息模型实现。 3.5 测试项testitem 信息模型测试中的直接接受测试的项目。一个测试项至少包含一个明确的测试目的。 3.6 SAC 形式化描述项 页formal descriptionoftestitem 使用形式化描述语言表示的测试项。 3.7 测试判定 testverdict 1 GB/T36456.3—2018 4概述 本部分描述的信息模型测试是对GB/T36456.1中由信息模型组件构成的模型的测试，不同于对 硬件或软件系统的测试。所用的测试方法本质上是检查方法。 GB/T36456.1所规范的信息模型的组件、属性和建模方法是对信息模型实现的基本要求。这些要 求反映在信息模型实现中相关信息的描述中，它们是使用某种语言进行的描述。 对信息模型实现的测试就是对描述进行检查，进而按设定的条件判定这些描述是否符合 GB/T36456.1的规定。 本部分描述的信息模型测试方法是采用完备性检查和业务符合性检查的方法。通过对信息模型实 现的完备性和业务符合性的检查，判断所测各项的符合性，进而确定整个信息模型实现对GB/T36456.1 的符合程度。 5一般要求 5.1 测试套件结构 测试套件是对信息模型实现进行测试的基本数据工具。用于测试的套件构造宜采用分层次结构。 建议的测试套件结构如图1所示。 测试套件 业务符合性检查 完备性检查测试组 测试组 测试项 (条月) 测试项 (条日) 测试项 (条日) 测试项 (条日) 测试要求 测试标识符 措述组 形式化描述项 形式化描述项 图1测试套件结构 在图1中，作为代表，只显示出一条从测试套件到形式化描述项的多层分支。测试套件是作为测试 判断基准的数据集合。测试套件中，完备性检查测试组和业务符合性检查测试组是套件的子集，或者说 是套件的两个大类。每个大类都由若干测试项（条目）组成。每个测试项由测试标识符、测试目的、测试 要求以及描述组组成，其中，每个描述组由若干形式化描述项组成。 2 GB/T36456.3—2018 5.2测试项 对IUT进行测试的测试项（以下简称为“受试测试项”）是完备性检查测试或业务符合性检查测试 中展开测试活动的直接测试对象。对受试测试项进行测试的结果，其判定以测试套件中的测试项（以下 简称“基准测试项”)中包含的相关数据为判断基准。 基准测试项是信息模型测试过程中测试结果判断的模板，其中包含的数据覆盖判断基准和形式化 描述规范的实例。 基准测试项中： a）应至少包含一个明确的具体测试目的； b)J 所使用的自然语言描述应包括以下内容： 1） 测试标识符：该测试项的唯一标识符； 2） 测试目的：该测试项的自然语言描述； 3） 测试要求：适用于该测试项的GB/T36456.1中描述的要求以及信息模型实现者需要遵 循的工程项目要求、业务要求和信息模型其他相关要求； 描述组：包含一组用于精确表示具体测试目的的形式化描述项。形式化描述项使用本部 4 分推荐的形式化描述语言。 对受试测试项进行的完备性检查测试是通过IUT中描述的完备性检查，检查IUT中的组件、属性 对各个具体信息组件的要求。 对受试测试项进行的业务符合性检查测试是通过对IUT中所描述的语言表述进行分析，检查工程 领域信息模型中IUT的组件、属性和关系是否符合GB/T36456.1以及所涉及的业务规范要求，如果不 符合，确定问题与原因。 测试过程概述 测试过程包含所有为确定IUT的测试判定结论所必要的测试活动。测试过程包括四个阶段： a) 测试准备，根据给定的测试要求进行以下测试准备： 1）确定被测模型可用； 2）安排相应的测试套件； 3） 确定测试环境可用。硬件环境要求处理器Inteli5及以上、内存4G及以上；软件环境要 求操作系统Windows7及以上； 4） 必要时，获取相应IUT的专业、生命周期、管理等相关信息，以便能够确认针对该模型运 用了适当的测试要求。 b）测试执行：对IUT的每个受试测试项运用测试套件和相应的判定方法，得到各个测试项的测 试判定结果。测试项的可能判定结果包括三种：“通过”“失败”或“无结论”。测试执行中的核 心部分“测试”在第10章描述 结果分析：根据测试给出的每个测试项的判定结果，结合测试套件，对所有测试项的判定结果 进行综合分析，做出对IUT的评价。 (P 报告生成：根据测试套件和IUT评价，生成IUT的测试报告。 图2给出测试过程的简要说明。 3 GB/T36456.3—2018 测试娶求 IUT 测试准备 测试套件 受试测试项的 判定结果 测试执行 IUT 评价 测试套件 结果分析 测试报告 基准测试项 测试套件 判定方法 报告生成 图2测试过程示意 7判定方法 7.1测试项判定方法 7.1.1测试项判定条件和结论 测试项测试的结果有“通过”“失败”或“无结论”三种。测试项的判定依据是测试项的描述组里包含 的形式化描述项的符合性。测试项的可能结论和相应的判定条件如下： a）若测试项包含的所有形式化描述项的判定结果都为“通过”，则该测试项判定为通过； b）若任一形式化描述项的判定结果为“失败”，则该测试项判定为“失败”； 7.1.2形式化描述项的判定方法 按第9章对描述项的形式化表示的规定，基于GB/T36456.2描述的接口提供的概念服务、属性服 务和关系服务，送代或嵌套调用领域信息服务接口，形成以概念查询、属性查询或关系查询为查询目标 的测试和结果判定。 形式化描述项测试的可能判定结果和相应判定条件如下： a）按第9章对形式化表示的规定，依据描述项对应条件句、陈述句形式化表示（如“所有卧室的 面积>10"）的主语，检索能够精确匹配相关的组件，得到被测组件（如“卧室”）集合C。若集 合C的组件个数为0（意味着没有任何需要精确匹配的要求），则测试结果判定为“通过”。 b）基于GB/T36456.2描述的接口提供的概念、属性、关系等服务方法，在被测集合C中检索符 合要求（如属性值约束、关系约束）的结果，并对检索结果的个数是否符合要求进行检查，若符 合需要精确匹配的要求且符合检索结果的个数要求，则测试结果判定为“通过”。 c) 若不满足b中“通过”判定条件，测试结果判定为“失败”。 d）若确定描述项的形式化表示有差错，则该描述项判定为“无结论”，并记录理由。 7.2信息模型评价方法 7.2.1信息模型评价结论和条件 依据一定条件对IUT做出评价。IUT的可能评价结论和相应的判定条件如下： 4