中华人民共和国国家标准
GB/T36456.3-2018
面向工程领域的共享信息模型 第3部分：测试方法
Engineering domain oriented shared information modelPart3:Testingmethodology
中国国家标准化管理委员会 国家市场监督管理总局 发布
目次
前言 m1范围2规范性引用文件3术语和定义4述5一般要求“7判定方法 6测试过程概述8报告生成9形式化描述语言10测试附录A（资料性附录）形式化描述语言使用实例 10
前言
GB/T36456《面向工程领域的共享信息模型》分为三个部分：第1部分：领域信息模型框架：第3部分：测试方法. 第2部分：领域信息服务接口：本部分为GB/T36456的第3部分.本部分按照GB/T1.1-2009给出的规则起草.请注意本文件的某些内容可能涉及专利.本文件的发布机构不承担识别这些专利的责任.本部分由全国信息技术标准化技术委员会（SAC/TC28）提出并归口. 本部分起草单位：清华大学、中国电子技术标准化研究院、中车信息技术有限公司.本部分主要起草人：孙家广、顾明、刘玉身、张荷花、高歌、余云涛、杨磊、相福民、李博.
面向工程领域的共享信息模型 第3部分：测试方法
1范围
GB/T36456的本部分规定了GB/T36456.1描述的领域信息模型框架实现的测试方法.本部分适用于工程领域信息模型实现的测试，也适用于指导工程领域信息共享测试软件的开发、
2规范性引用文件
下列文件对于本文件的应用是必不可少的.凡是注日期的引用文件，仅注日期的版本适用于本文件.凡是不注日期的引用文件，其最新版本（包括的修改单）适用于本文件.
GB/T36456.2面向工程领域的共享信息模型第2部分：领城信息服务接口 GB/T36456.1面向工程领域的共享信息模型第1部分：领城信息模型框架
3术语和定义
下列术语和定义适用于本文件.
3.1工程领城信息模型实现implementationsfor engineeringdomaininformationmodel针对某工程领域的声称符合GB/T36456.1的信息模型实现，简称信息模型实现.
3.2完备性检查pleteness checking 关于信息模型中的组件、属性和关系与全部规定要求相一致的检查.
3.3业务符合性检查regulation checking关于信息模型中的组件、属性和关系与工程领域业务规范全部规定相一致的检查.
3.4 受试实现implementation under test;IUT接受测试的声称符合GB/T36456.1的信息模型实现.
3.5测试项test item信息模型测试中的直接接受测试的项目.一个测试项至少包含一个明确的测试目的.
3.6 形式化描述项formal descriptionof test item使用形式化描述语言表示的测试项.
3.7测试判定testverdict
4概述
本部分描述的信息模型测试是对GB/T36456.1中由信息模型组件构成的模型的测试，不同于对硬件或软件系统的测试.所用的测试方法本质上是检查方法.
GB/T36456.1所规范的信息模型的组件、属性和建模方法是对信息模型实现的基本要求.这些要求反映在信息模型实现中相关信息的描述中，它们是使用某种语言进行的描述.
对信息模型实现的测试就是对描述进行检查，进面按设定的条件判定这些描述是否符合GB/T36456.1的规定.
现的完备性和业务符合性的检查，判断所测各项的符合性，进而确定整个信息模型实现对GB/T36456.1的符合程度.
5一般要求
5.1测试套件结构
测试套件是对信息模型实现进行测试的基本数据工具.用于测试的套件构造宜采用分层次结构.建议的测试套件结构如图1所示.
图1测试套件结构
判断基准的数据集合，测试套件中，完备性检查测试组和业务符合性检查测试组是套件的子集，或者说 在图1中，作为代表，只显示出一条从测试套件到形式化描述项的多层分支.测试套件是作为测试要求以及描述组组成，其中，每个描述组由若干形式化描述项组成.
