ICS 25.040 L 67
GB
中华人民共和国国家标准
GB/T19902.4—2010/ISO16100-4:2006
工业自动化系统与集成制造软件互操作性能力建规
第4部分：一致性测试方法、判则及报告
Industrial automation systems and integration-
Manufacturing software capability profiling for interoperability-
Part 4 :Conformance test methods , criteria and reports
(ISO16100-4:2006,IDT)
2011-05-01实施
2010-12-01发布
中华人民共和国国家质量监督检验检疫总局
中国国家标准花管理委员会 发布 GB/T19902.4-—2010/ISO16100-4:2006
目 次
前言引言
范围 2 规范性引用文件 3 术语和定义 4 缩略语 5 致性框架 5. 1 一致性测试 5.2 UUT类型 5.3 一致性测试方法 6 一致性测试过程 6.1 “创建实现的一致性声明”活动 6.2 “创建ATC”活动 6.3 “创建ETC”活动 6.4 “测试UUT”活动
1
9
9
10 10 11 13 16 17 22 26
UUT的一致性 7.1 能力类结构的一致性 7.2 能力模板的一致性· 7.3 能力专规的一致性· 7.4 基于能力专规匹配器一致性：附录A（资料性附录）能力专规的一致性测试附录B（资料性附录）类型1匹配器的一致性测试参考文献
T GB/T19902.4—2010/ISO16100-4:2006
前言
GB/T19902《工业自动化系统与集成制造软件互操作性能力建规》分为如下几部分：
第1部分：框架；第2部分：建规方法论；第3部分：接口服务、协议与能力模板；第4部分：一致性测试方法、判则及报告；第5部分：基于多能力类结构进行专规匹配的方法学。
GB/T19902的本部分为GB/T19902的第4部分。 本部分等同采用ISO16100-4:2006《工业自动化系统与集成制造软件互操作性能力建规第4
部分：一致性测试方法、判则及报告》（英文版）。
本部分的技术内容和组成结构与ISO16100-4：2006相一致，在编写格式上符合我国国家标准 GB/T1.1一2000《标准化工作导则第1部分：标准的结构和编写规则》。只根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动：
a）大写的英文缩写保留英文原名，去掉ISO前言。 b) 将“本国际标准”和ISO16100改为"GB/T19902”。将“ISO16100-4”改为"GB/T19902的本
4部分”或GB/T19902.4”。 c） 将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号，并将相应的国家
标准采用的国际标准版本号放在国家标准编号后的括弧内，便于使用和查阅。未转化的国际标准保留。
d）删去了原文中不符合我国标准编写的字句。 本部分的附录A、附录B是资料性附录。 本部分由中国机械工业联合会提出。 本部分由全国自动化系统与集成标准化技术委员会（SAC/TC159）归口。 本部分负责起草单位：北京机械工业自动化所、东南大学。 本部分主要起草人：王茜、高雪芹、杨书评、黎晓东、远铮。 GB/T19902.4—2010/ISO16100-4:2006
引 言
GB/T19902（ISO16100）源自于ISO/TC184/SC5的战略计划中描述的工业和经济环境，特别是：
a) 日益增长的供应商特有的解决方案： b）应用标准时用户遇到的困难；
需要向系统集成工具模块集迁移： d）认识到应用软件及使用该软件的专业知识乃是企业的资产。 GB/T19902是用于对软件能力进行规范化专规的国家标准，这种描述是可计算机表达，人可读取
的。它的目标提供一个用于描述制造软件能力的方法，这些能力与其在整个制造业领域生命周期中的任务相关，不依赖于特定的系统体系结构或实现平台。
GB/T19902中本部分的某些图表是根据UML的约定构造的。因为并不是图表中所有的概念在文章中都有解释，故假定本部分的读者对UMIL应有一定的认识。 GB/T19902.4-2010/ISO16100-4:2006
工业自动化系统与集成制造软件互操作性能力建规
第4部分：一致性测试方法、判则及报告
1范围
GB/T19902的本部分详细描述了测试方法，相关测试判则以及用于评价和表明一个实现一致性程度的声明格式，比如，一个UUT同GB/T19902其他部分中特定要求的一致性程度。
本部分包括一些用来帮助制造商或供应商（第一团体），用户或买方（第二团体）或者一个独立组织（第三团体）进行一致性评估的详细定义。
GB/T19902的本部分应包括以下内容：
-致性元素的列表，可用来判断一个实现是否与GB/T19902相一致；一致性测试和声明的定义，用来表明一个实现满足了哪些一致性元素；致性声明中包含的各元素的描述；一整套规则用来判断多个一致性元素组合的合法性。
GB/T19902的本部分不包括以下内容：
涉及一致性的标号或标签，授权以及制造者或供应商有关一致性声明的内容；实现的日期或利用标准的不同团体之间责任分配问题；对生产，制作和交付过程的要求，除非如果没有这些要求时不能充分说明一致性的产品过程或服务；对生产，运行和交付产品，过程及服务的质量控制要求。
2规范性引用文件
下列文件中的条款通过GB/T19902的本部分的引用而成为本部分的条款。凡是注日期的弓用文
件，其随后所有的修改单（不包括勘误的内容）或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T19902.1一2005工业自动化系统与集成制造软件互操作性能力建规第1部分：框架 (ISO16100-12002,IDT)
GB/T19902.2一2005工业自动化系统与集成制造软件互操作性能力建规第2部分：建规方法论（ISO16100-2：2003,IDT)
GB/T19902:3—2006工业自动化系统与集成制造软件互操作性能力建规第3部分：接口服务、协议及能力模板（ISO16100-3：2005，IDT)
REC-xml-20000814可扩展标记语言（XML)1.0W3C推荐 REC-xmlschema-1-20010502XMLSchema第1部分：框架 REC-xmlschema-2-20010502XML.Schema第2部分：数据类型
3术语和定义
为了更好地描述本部分，使用如下术语和定义。其中的某些术语和定义是从其他标准中完全引用
1 GB/T 19902.4—2010/ISO 16100-4:2006
或改编过来的，文章中用括号标明了所引用的标准详细部分和条目。 3.1
抽象测试项 abstract test case 一项规定，至少包含一个测试目的，独立于实现平台、参数值和方法。 ［GB/T16656.31—1997,3.2.1]
3.2
抽象测试用例集abstract test suite 抽象测试用例的集合。
3.3
能力 capability 《软件》能力提供者所能提供的功能和服务以及一组对性能评价的标准。 [GB/T19902.1-—2005,3.3] 注：该定义与GB/T19114.1--2003和ISO/DIS19439中的定义不同。在GB/T19114.1--2003和ISO/DIS19439
中，能力被定义为能够执行给定活动的品质。参见GB/T20720.1一2006。
3.4
能力类 capability class 能力建规方法中的元素，描述了制造活动中与软件单元的任务相关的功能和行为。 ［GB/T19902.2—2005,3.3]
3.5
能力建规capabilityprofiling 在软件互操作框架中选择一组由指定接口定义的已提供的服务。 [GB/T19902.1--2005,3.4]
3.6
-致性conformance；conformity 规范和一次真实的实现之间的一种关系，即规范中任何论点为真时，在真实的实现中也为真。 例：一个专规实现与根据GB/T19902中规则创建的模板规范是一致的。
3.7
致性测试点 conformance point 在GB/T19902部分子条款中包含的特定需求，作为进行测试并确定一次实现是否一致的基本
-
原则。 3.8
一致性声明 conformance statement 一个陈述，它标识出规范的一致性点以及在这些点上必须满足的行为。 ［根据GB/T18714.2—2002，15.1改写］
3.9
一致性测试 conformance test;conformity assessment 按照标准所规定的具体特性对待产品（候选产品）的测试，以便确定该产品一致性实现的程度。 [GB/T16656.31--1997.3.2.22]
3:10
致性测试报告 conformance test report 一致性评估过程结束时产生的文件，该文件应该提供对UUT按照标准进行一致性测试的结果汇
2 GB/T19902.4—2010/ISO16100-4:2006
总以及测试的细节。
［GB/T16656.31—1997,3.2.23 3.11
一致性的实现conformingimplementation 满足一致性要求的实现，并符合在CSI中所声明的能力。 ［根据GB/T16656.31—1997,3.2.24改写］
3.12
可执行测试用例executable test case ATC的实现，它是平台相关的，并且与参数值和特定的测试方法有关。
3.13
可执行测试集executabletest suite 可执行测试用例ETC的集合。
3.14
证伪测试 falsification testing 查找实现中错误的一种测试方法。 ［根据GB/T16656.31—1997,3.2.32改写］
3.15
接口interface 对象行为的抽象，包括对象交互作用的子集及交互作用的约束。
3.16
制造软件单元 manufacturing software unit -类软件资源，由一个或多个制造软件组件组成，在制造活动中执行一个特定的功能或任务，同时
支持与其他单元的公共信息交换的机制。
[GB/T19902.1—2005,3.12] 注：一个软件单元能用UML建模成一个软件对象。
3.17
匹配器matcher 按照请求的能力专规与提供的能力专规进行比较的机制。 ［GB/T19902.3—2006,3.1.6]
3.18
匹配等级matching level <专规》定性评价一个MSU能力专规满足一个制造活动的软件功能性需求的程度。 ［GB/T19902.3—2006,3.1.7J
3.19
MSU可互操作性MSU interoperability 一个MSU在与另一个MSU交换一组应用信息的过程中，支持一个接口规范的特殊用途的能力。 [GB/T19902.3—2006,3.1.8]
3.-20
专规profile 一个或多个基础规范和/或子专规的集合。例如，所选择的类的标识、一致的子集、那些基础规范的
3 GB/T19902.4—2010/ISO16100-4:2006
选项和参数，或为完成具体的功能、活动或关系所必需的子专规。
GB/T19902.2--2005,3.10] 3.21
参考能力类结构reference capability class structure 用于能力建规的能力类层次表示的模式。 ［GB/T19902.3-—2006,3.1.11]
3.22
模板template 制造软件能力专规的模式。 ［GB/T19902.3--2006,3.1.14]
3.23
测试的单元 unit under test 测试的单元可以是能力专规、能力模板、能力类结构或专规匹配器，对它们进行测试来判断是否满
足或提供GB/T19902中所描述的特定特性。 4缩略语
ATC ATG ATS CITI CSI ETC ETG ETS MSU UML UUT XIPI XITI XML
抽象测试用例Abstract test case 抽象测试组Abstract test group 抽象测试用例集Abstract test suite 测试实现的一致性信息Conformanceinformationfortestingtheimplementation 实现的一致性声明Conformance statementfortheimplementation 可执行测试用例 Executable test case 可执行的测试组Executabletestgroup 可执行测试用例集Executable test suite 制造软件单元Manufacturing softwareunit 统一建模语言Unified Modeling Language 测试单元 Unit undertest 平台实现的附加信息Extra information forplatform implementation 测试实现的附加信息Extrainformationfortestingtheimplementation 可扩展标记语言．ExtensibleMarkupLanguage
5一致性框架 5.1.一致性测试
如果UUT（例如能力专规，模板，参考能力类结构或专规匹配器）的行为与GB/T19902中该部分特定的一致性需求相符时，就称该UUT是一致的。
一致性测试是用来验证一个实现是否满足标准或规范的要求。一致性测试是实现软件互操作必经
的一步，但只有它并不能完全保证互操作性。因为一致性测试仅仅向开发者和用户保证满足一致性的 UUT具有预期的行为，比如执行已知的功能或是有指定的接口或格式。
GB/T19902一致性测试最基本的策略应该是证伪性测试，它是指个实现接收有效和无效输人的多种组合，然后通过比较测试输出和判则中预期的输出内容来判定一致性的程度。当一个测试输出
M