书 书 书犐犆犛 ３５ ． ２４０ ． ５０ 犔 ６７ 中华人民共和国国家标准 犌犅 ／ 犜 ３６４５６ ． ３ — ２０１８ 面向工程领域的共享信息模型第 ３ 部分 ： 测试方法 犈狀犵犻狀犲犲狉犻狀犵犱狅犿犪犻狀狅狉犻犲狀狋犲犱狊犺犪狉犲犱犻狀犳狅狉犿犪狋犻狅狀犿狅犱犲犾 — 犘犪狉狋 ３ ： 犜犲狊狋犻狀犵犿犲狋犺狅犱狅犾狅犵狔 ２０１８  ０６  ０７ 发布 ２０１９  ０１  ０１ 实施 国家市场监督管理总局 中国国家标准化管理委员会 发布书 书 书目 　　 次 前言 Ⅲ ………………………………………………………………………………………………………… １ 　 范围 １ ……………………………………………………………………………………………………… ２ 　 规范性引用文件 １ ………………………………………………………………………………………… ３ 　 术语和定义 １ ……………………………………………………………………………………………… ４ 　 概述 ２ ……………………………………………………………………………………………………… ５ 　 一般要求 ２ ………………………………………………………………………………………………… ６ 　 测试过程概述 ３ …………………………………………………………………………………………… ７ 　 判定方法 ４ ………………………………………………………………………………………………… ８ 　 报告生成 ５ ………………………………………………………………………………………………… ９ 　 形式化描述语言 ６ ………………………………………………………………………………………… １０ 　 测试 ７ ……………………………………………………………………………………………………… 附录 Ａ （ 资料性附录 ） 　 形式化描述语言使用实例 １０ ……………………………………………………… Ⅰ 犌犅 ／ 犜 ３６４５６ ． ３ — ２０１８ 前 　　 言 　　 ＧＢ ／ Ｔ３６４５６ 《 面向工程领域的共享信息模型 》 分为三个部分 ： ——— 第 １ 部分 ： 领域信息模型框架 ； ——— 第 ２ 部分 ： 领域信息服务接口 ； ——— 第 ３ 部分 ： 测试方法 。 本部分为 ＧＢ ／ Ｔ３６４５６ 的第 ３ 部分 。 本部分按照 ＧＢ ／ Ｔ１．１ — ２００９ 给出的规则起草 。 请注意本文件的某些内容可能涉及专利 。 本文件的发布机构不承担识别这些专利的责任 。 本部分由全国信息技术标准化技术委员会 （ ＳＡＣ ／ ＴＣ２８ ） 提出并归口 。 本部分起草单位 ： 清华大学 、 中国电子技术标准化研究院 、 中车信息技术有限公司 。 本部分主要起草人 ： 孙家广 、 顾明 、 刘玉身 、 张荷花 、 高歌 、 余云涛 、 杨磊 、 相福民 、 李博 。 Ⅲ 犌犅 ／ 犜 ３６４５６ ． ３ — ２０１８ 面向工程领域的共享信息模型第 ３ 部分 ： 测试方法 １ 　 范围 ＧＢ ／ Ｔ３６４５６ 的本部分规定了 ＧＢ ／ Ｔ３６４５６．１ 描述的领域信息模型框架实现的测试方法 。 本部分适用于工程领域信息模型实现的测试 ， 也适用于指导工程领域信息共享测试软件的开发 。 ２ 　 规范性引用文件 下列文件对于本文件的应用是必不可少的 。 凡是注日期的引用文件 ， 仅注日期的版本适用于本文 件 。 凡是不注日期的引用文件 ， 其最新版本 （ 包括所有的修改单 ） 适用于本文件 。 ＧＢ ／ Ｔ３６４５６．１ 　 面向工程领域的共享信息模型 　 第 １ 部分 ： 领域信息模型框架 ＧＢ ／ Ｔ３６４５６．２ 　 面向工程领域的共享信息模型 　 第 ２ 部分 ： 领域信息服务接口 ３ 　 术语和定义 下列术语和定义适用于本文件 。 ３ ． １ 工程领域信息模型实现 　 犻犿狆犾犲犿犲狀狋犪狋犻狅狀狊犳狅狉犲狀犵犻狀犲犲狉犻狀犵犱狅犿犪犻狀犻狀犳狅狉犿犪狋犻狅狀犿狅犱犲犾 针对某工程领域的声称符合 ＧＢ ／ Ｔ３６４５６．１ 的信息模型实现 ， 简称信息模型实现 。 ３ ． ２ 完备性检查 　 犮狅犿狆犾犲狋犲狀犲狊狊犮犺犲犮犽犻狀犵 关于信息模型中的组件 、 属性和关系与全部规定要求相一致的检查 。 ３ ． ３ 业务符合性检查 　 狉犲犵狌犾犪狋犻狅狀犮犺犲犮犽犻狀犵 关于信息模型中的组件 、 属性和关系与工程领域业务规范全部规定相一致的检查 。 ３ ． ４ 受试实现 　 犻犿狆犾犲犿犲狀狋犪狋犻狅狀狌狀犱犲狉狋犲狊狋 ； 犐犝犜 接受测试的声称符合 ＧＢ ／ Ｔ３６４５６．１ 的信息模型实现 。 ３ ． ５ 测试项 　 狋犲狊狋犻狋犲犿 信息模型测试中的直接接受测试的项目 。 一个测试项至少包含一个明确的测试目的 。 ３ ． ６ 形式化描述项 　 犳狅狉犿犪犾犱犲狊犮狉犻狆狋犻狅狀狅犳狋犲狊狋犻狋犲犿 使用形式化描述语言表示的测试项 。 ３ ． ７ 测试判定 　 狋犲狊狋狏犲狉犱犻犮狋 相对于测试项 ， 对 ＩＵＴ 测试的 “ 通过 ”“ 失败 ” 或 “ 无结论 ” 陈述 。 １ 犌犅 ／ 犜 ３６４５６ ． ３ — ２０１８ ４ 　 概述 本部分描述的信息模型测试是对 ＧＢ ／ Ｔ３６４５６．１ 中由信息模型组件构成的模型的测试 ， 不同于对硬件或软件系统的测试 。 所用的测试方法本质上是检查方法 。 ＧＢ ／ Ｔ３６４５６．１ 所规范的信息模型的组件 、 属性和建模方法是对信息模型实现的基本要求 。 这些要求反映在信息模型实现中相关信息的描述中 ， 它们是使用某种语言进行的描述 。 对信息模型实现的测试就是对描述进行检查 ， 进而按设定的条件判定这些描述是否符合 ＧＢ ／ Ｔ３６４５６．１ 的规定 。 本部分描述的信息模型测试方法是采用完备性检查和业务符合性检查的方法 。 通过对信息模型实现的完备性和业务符合性的检查 ， 判断所测各项的符合性 ， 进而确定整个信息模型实现对 ＧＢ ／ Ｔ３６４５６．１ 的符合程度 。 ５ 　 一般要求 ５ ． １ 　 测试套件结构 测试套件是对信息模型实现进行测试的基本数据工具 。 用于测试的套件构造宜采用分层次结构 。 建议的测试套件结构如图 １ 所示 。 图 １ 　 测试套件结构 在图 １ 中 ， 作为代表 ， 只显示出一条从测试套件到形式化描述项的多层分支 。 测试套件是作为测试判断基准的数据集合 。 测试套件中 ， 完备性检查测试组和业务符合性检查测试组是套件的子集 ， 或者说是套件的两个大类 。 每个大类都由若干测试项 （ 条目 ） 组成 。 每个测试项由测试标识符 、 测试目的 、 测试要求以及描述组组成 ， 其中 ， 每个描述组由若干形式化描述项组成 。 ２ 犌犅 ／ 犜 ３６４５６ ． ３ — ２０１８ ５ ． ２ 　 测试项 对 ＩＵＴ 进行测试的测试项 （ 以下简称为 “ 受试测试项 ”） 是完备性检查测试或业务符合性检查测试中展开测试活动的直接测试对象 。 对受试测试项进行测试的结果 ， 其判定以测试套件中的测试项 （ 以下简称 “ 基准测试项 ”） 中包含的相关数据为判断基准 。 基准测试项是信息模型测试过程中测试结果判断的模板 ， 其中包含的数据覆盖判断基准和形式化描述规范的实例 。 基准测试项中 ： ａ ） 　 应至少包含一个明确的具体测试目的 ； ｂ ） 所使用的自然语言描述应包括以下内容 ： １ ） 　 测试标识符 ： 该测试项的唯一标识符 ； ２ ） 　 测试目的 ： 该测试项的自然语言描述 ； ３ ） 　 测试要求 ： 适用于该测试项的 ＧＢ ／ Ｔ３６４５６．１ 中描述的要求以及信息模型实现者需要遵循的工程项目要求 、 业务要求和信息模型其他相关要求 ； ４ ） 　 描述组 ： 包含一组用于精确表示具体测试目的的形式化描述项 。 形式化描述项使用本部分推荐的形式化描述语言 。 对受试测试项进行的完备性检查测试是通过 ＩＵＴ 中描述的完备性检查 ， 检查 ＩＵＴ 中的组件 、 属性和关系以及用于表述模型的相应的含义是否符合 ＧＢ ／ Ｔ３６４５６．１ 的规定 ， 以及为满足本工程项目需要对各个具体信息组件的要求 。 对受试测试项进行的业务符合性检查测试是通过对 ＩＵＴ 中所描述的语言表述进行分析 ， 检查工程领域信息模型中 ＩＵＴ 的组件 、 属性和关系是否符合 ＧＢ ／ Ｔ３６４５６．１ 以及所涉及的业务规范要求 ， 如果不符合 ， 确定问题与原因 。 ６ 　 测试过程概述 测试过程包含所有为确定 ＩＵＴ 的测试判定结论所必要的测试活动 。 测试过程包括四个阶段 ： ａ ） 　 测试准备 ， 根据给定的测试要求进行以下测试准备 ： １ ） 　 确定被测模型可用 ； ２ ） 　 安排相应的测试套件 ； ３ ） 　 确定测试环境可用 。 硬件环境要求处理器 Ｉｎｔｅｌｉ５ 及以上 、 内存 ４Ｇ 及以上 ； 软件环境要求操作系统 Ｗｉｎｄｏｗｓ７ 及以上 ； ４ ） 　 必要时 ， 获取相应 ＩＵＴ 的专业 、 生命周期 、 管理等相关信息 ， 以便能够确认针对该模型运用了适当的测试要求 。 ｂ ） 测试执行 ： 对 ＩＵＴ 的每个受试测试项运用测试套件和相应的判定方法 ， 得到各个测试项的测试判定结果 。 测试项的可能判定结果包括三种 ：“ 通过 ”“ 失败 ” 或 “ 无结论 ”。 测试执行中的核心部分 “ 测试 ” 在第 １０ 章描述 。 ｃ ） 结果分析 ： 根据测试给出的每个测试项的判定结果 ， 结合测试套件 ，