地理信息 一致性与测试

1GB/TXXXXX—202X/ISO19105:2022(E)地理信息一致性与测试本文件规定了一致性测试的框架、概念和方法，以用于声明达到与地理信息及相关应用领域的一系列适用标准相符所需满足的具体准则。本文件构建了一个框架，用于制定按一致性类分组的抽象测试用例组成的抽象测试套件，并明确了一致性测试过程中要遵循的程序。一致性的声明可以是针对数据、软件产品或服务，或者是包含任何配置文件或功能标准的规范。本文件中定义的一致性类结构和关系是系统化配置管理的基础，涉及管理模块内部和模块之间的依赖关系。2规范性引用文件本文件没有规范性引用文件。3术语、定义和缩略语3.1术语和定义下列术语和定义适用于本文件。3.1.1摘要abstract<作为修饰词>独立于实现。3.1.2抽象测试用例abstracttestcase一致性测试用例conformancetestcase测试一个特定的需求或一组相关的需求。注1：抽象或一致性测试用例是导出可执行测试用例的正式基础。从某种意义上说，它应该是完整的，即足以使测注2：ISO/IEC/IEEE24765:2017，3.4210包括3.1.3抽象测试套件abstracttestsuiteATS测试规范需求的一组一致性类。[来源：OGC08-131r3，4.2]3.1.4一致性conformance一致性conformity2GB/TXXXXX—202X/ISO19105:2022(E)3.1.5一致性条款conformanceclause符合条款conformityclause本条款包含符合国际标准或规范的所有要求。注：在本文件中，规范代表技术规范。3.1.6一致性等级conformanceclass一致性测试类conformancetestclass一组抽象测试用例，该组测试案例被满足时要接收一份单独的一致性证书。注：OGC08-131r3将一致性证书定义为“符合全部或部分标准的证据，授予通过该标准中规定的一个或3.1.7一致性测试conformancetesting测试产品以确定产品在多大程度上是符合要求的。3.1.8一致性测试报告conformancetestreport测试报告testreport以有组织的格式呈现每个一致性类和抽象测试用例结论的文档。3.1.9一致性测试结果conformancetestresult测试结果testresult对测试中的实现执行可执行测试用例期间记录的所有信息3.1.10可执行测试用例executabletestcase实现的特定测试，以满足包含需求的规范中规定的特定需求。注：用可执行表达式实例化抽象测试用例。3.1.11可执行测试模块executabletestmodule用于测试单个一致性证书的相关可执行测试用例集。3.1.12可执行测试套件executabletestsuite可执行测试模块集。3.1.13标识符identifier语言上独立的字符序列，能够唯一地和永久地识别与之关联的字符。[来源：ISO19135-1:2015，4.1.5]3.1.14实施implementation规范的实现。注：在适用的地理信息标准文件中，这包括地理信息服务和数据集的相关规范。3.1.15实现一致性声明implementationconformancestatement3GB/TXXXXX—202X/ISO19105:2022(E)已实现的一致性类声明。3.1.16测试中的实现implementationundertest正在进行一致性评估的实现。[来源：ISO/IEC18477-4:2017，3.1.40]3.1.17无定论的判决inconclusiveverdict当通过和不通过都不适用时的测试判决。3.1.18模块化modular由单独的部分组成，当组合在一起时，形成一个完整的整体。3.1.19模块化规范modularspecification以模块化结构组织其需求和一致性类的规范。3.1.20模块化标准modularstandard以模块化结构组织其要求和一致性类的标准。3.1.21需求类requirementsclass具有相同规格指标以满足一致性测试类的所有需求的集合。注：OGC08-131r3在名称“需求类”下定义了一3.1.22规范specification包含需求和这些需求的抽象测试用例的文档。3.1.23规范化对象specificationtarget规范中某些要求适用的实体。注：OGC08-131r3在名称“标准化目标”下定义3.1.24标准standard以协商一致方式制定并经公认机构批准的文件，该文件规定了活动或其结果的规则、准则或特点，供共同和重复使用，目的是在特定情况下的达到最佳实现。[来源：ISO/IECGuide2:2004，3.2]3.1.25测试工具testtool执行可执行测试套件的应用程序。3.2缩略语4GB/TXXXXX—202X/ISO19105:2022(E)下列缩略语适用于本文件。ATC：抽象测试案例（AbstractTestCase）ATS：抽象测试套件（AbstractTestSuite）CWA：封闭世界假设（ClosedWorldAssumption）ETC：可执行测试案例（ExecutableTestCase）ETM：可执行测试模型（ExecutableTestModule）ETS：可执行测试套件（ExecutableTestSuite）ICS：实现一致性声明（ImplementationConformanceStatement）IUT：测试中的实现（ImplementationUnderTest）OWA：开放世界假设（OpenWorldAssumption）SA：存根假设（StubAssumption）TEAM：测试，评估与量测（Test，Evaluation，andMeasurement）UML：统一建模语言（UnifiedModelingLanguage）URI：统一资源标识符（UniformResourceIdentifier）4一致性本文件定义了四个一致性类：——“模块化规范”（规范指标：规范——“模块化标准”（规范指标：标准——“可执行测试套件”（规范指标：可执行测试套件——“一致性测试报告”（规范指标：测试工具）。要求符合本文件的规范、标准、测试套件或测试工具应执行与该规范化对象相关的一致性类。应使用本标准附录A中规定的所有相关一致性测试用例评估本标准的一致性。表1提供了一致性类的URI。注：本文件中的URIs与ISO/TC211提供的官方URL相关。表1一致性类统一资源标识符/19105/-/2/conf/ModularSpecif/19105/-/2/conf/ModularS/iso19105/-/2/conf/Te5符号5.1UML符号在本文件中概念化的模式用统一建模语言（UML）展示，ISO19103给出了本文件中使用的UML的特定配置文件。5.2标识符本标准中的规范性条款用URI表示：5GB/TXXXXX—202X/ISO19105:2022(E)</iso19105/-/2>。本文件中出现的所有需求和抽象测试用例标识均以URI为基础部分。6框架在可应用的一致性测试框架中，规范包含用于派生抽象测试套件（ATS）的需求类。根据规范开发测试中的实现（IUT），并根据ATS实现可执行测试套件（ETS）。ETS对IUT进行测试，以确定其是否符合本规范中规范性条款明确规定的要求类。见图1。图1一致性测试的一般方法7模块化规范7.1概述模型的需求和需求类的结构应反映在一致性测试和类的组织中，也应反映在规范文件和规范性条款的结构中。注：这使得编写规范更加困难，但有望使规范更易于阅读和理解。这其贡献作者多几个数量级。使规范的实施更容易是本标7.2一致性条款为使一项标准有效、实用，能够清楚地确定该标准的一致性是很重要的。为此，所有有关地理信息和相关应用领域的适用文件都提供了一致性条款。要求1/req/specification/ConformanceClause规范应包含一致性条款。一致性条款是测试一致性的入口点。要检查实现是否符合规范，首先要检查一致性条款以确定必须检查的内容。因此，一致性条款应明确说明应满足哪些要求才能声明与规范的一致性。要求2/req/specification/ConformanceClauseStatement一致性条款应以要满足的一致性类声明开始，以便实现声明与该规范的一致性。要求3/req/specification/ConformanceTarget一致性条款应指定规范中每个一致性类的规范化对象。一致性类将抽象测试用例模块化（见附录A）。附件B.1中提供了示例一致性条款模板。要求4/req/specification/ConformanceClauseReference一致性条款应引用附件的ATS。6GB/TXXXXX—202X/ISO19105:2022(E)7.3一致性类要求5/req/specification/CorrespondenceRequirementsClasses需求类应以与一致性类一致的方式对规范中的需求进行划分。每个需求类将与一个类似命名的一致性类一一对应，该一致性类测试所有需求类的需求。附录B.2中提供了示例要求。要求6/req/specification/SpecificationTarget要求类中的所有要求应具有相同的规范化对象。要求7/req/specification/ConformanceTest应在至少一个抽象测试用例中测试需求。要求8/req/specification/ConformanceClassIdentification一致性类应由URI标识。要求9/req/specification/ConformanceClassDependency一致性类应说明其所依赖的任何其他一致性类。其他一致性类也应该应用于测试一致性。7.4抽象测试套件在不考虑一致性类之间依赖关系的情况下，ATS具有层次结构。一致性类可用于帮助规划、开发或理解ATS。一致性类由一个或多个抽象测试用例组成（见附录C）。抽象测试用例用作生成可执行测试用例的基础，并且独立于IUT。考虑到模块化和依赖性，抽象测试用例和类的结构可能对应于一致性类的有向无环图（见附录C）。要求10/req/specification/ATSStructureATC的结构应遵循一致性类的结构。B.3中提供了示例要求。要求11/req/specification/ATCTemplate抽象测试用例应包含：a）测试用例标识符；b）测试目标（可选）；c）测试方法（包括测试判定标准）；d）参考需求（可选）。B.4中提供了示例要求。要求12/req/specification/ATCIdentifier抽象测试用例的标识符应为URI。建议1/rec/specification/ATSTestPurpose每一个抽象测试用例都应该包含测试目的，用于提供关于预期所达到目标的精确描述。一致性测试用例的测试目的是测试从测试用例中引用的要求。由于每个一致性测试用例都是这种情况，因此明确指定测试目的是可选的。7GB/TXXXXX—202X/ISO19105:2022(E)要求13/req/specification/ATCTestMethod抽象测试用例的测试方法应包含其测试目的的测试判定标准。要求14/req/specification/ATCTestReference抽象测试用例的参考应确定测试的需求。许可1/per/specification/ATSElementsATS可能包含标识符、测试方法和需求参考以外的其他元素。注：为了提供向后兼容性，ATC中可能包含测试类型[2]。测试类型可以是基本测试或能力测试。通常，基本测试可提供IUT符合的初步证据。能力测试检查IUT的可观察能力是否8模块化标准为了使国际标准有效和有用，必须能够清楚地确定是否符合国际标准。因此，有关地理信息和相关应用领域的所有适用标准文档都提供了一致性条款。要求15/req/standard/Dependency模块化ISO/TC211标准应遵循本标准第8章规定的模块化结构。依赖关系：/19105/-1/2/req/ModularSpecification作为XML模式和本体的ISO/TC211标准的实现需要访问模式和模式内单个资源的官方URI。对于一致性测试和文档，一致性类、一致性测试、标准的要求和建议也需要唯一标识。要求16/req/standard/Identification所有可识别的需求类、需求、一致性类和抽象测试用例都应参照附录D的URI标识。9可执行测试套件可执行测试套件（ETS）是ATS的实例化，其中所有与实现相关的参数都分配有特定值。要求17/req/test-suites/ExecutableTestSuite可执行测试套件应涵盖抽象测试套件中指定的所有一致性类。要求18/req/test-suites/ExecutableTestModule可执行测试套件应以与一致性类一致的方式分割可执行测试模块中的可执行测试用例。每个可执行测试模块应与一个类似命名的一致性类一一对应，该一致性类测试所有需求类的需求。要求19/req/test-suites/ETC一个可执行的测试用例应源自一个或多个抽象测试用例。要求20/req/test-suites/ETCTemplate一个可执行测试案例应该包含：a）测试用例标识符；b）测试说明；c）测试表达；d）相应的ATCs参考。8GB/TXXXXX—202X/ISO19105:2022(E)要求21/req/test-suites/ETCTestIdentifier可执行测试用例的标识符应为URI。要求22/req/test-suites/ETCTestDescription可执行测试用例的测试描述应包括与ETC实施的ATC一致的测试描述。要求23/req/test-suites/ETCTestExpression可执行测试用例的测试表达式应实施与ETS实施的ATC测试方法一致的判定标准。要求24/req/test-suites/ETCTestReference可执行测试用例的参考应标识已实现的ATC。注：ATC标识符是一个URI。对于适用的ISO/TC211文件，这是指附件D中提供的URI结构。10一致性测试报告一致性测试的结果记录在一致性测试报告中。要求25/req/report/TestReport一致性测试报告应包含根据IUT实施的要求类的测试结论。建议2/rec/report/ICSIUT应提供实现一致性声明（ICS），该声明提供已实现的一致性类的声明，以允许根据相关要求测试实现。注2：通常，一致性测试报告由两部分组成：摘要和详细信息部分要求26/req/report/TestVerdict测试判定应是结果值的声明。通过和失败是两个主要的判断，但在极少数情况下，可能必须指定一个不确定的判断。在实际的测试工具中，会有更多的结果值[12]可以映射到三个判断（见附件E.1）。这些结果值包括但不限于表D.1中给出的值。9GB/TXXXXX—202X/ISO19105:2022(E)要求27/req/report/OverallResult分配的测试判定应综合到IUT的整体一致性判定评估中。注2：IUT需要经过一些特定的验证和确认程序。然而，地理服务的复杂性造成了额外的综合问题；在这项工作中解决的其中一个问题与依赖性问题有关。此类依赖性通常已存在于评估IUT所依据的规范中。此外，规范本身经常引在实际的测试中，会有不同的结果综合方法来评估整体结果。这些结果合成方法包括但不限于附件F中提供的方法。IUT在测试过程中提供的所有信息的记录和保留对于分析阶段和审计来说是必要的。要求28/req/report/RecordAuditability一致性测试的结果应是可审核的。注：无论结果分析是手动进行还是自动进行，都应记录每个正在执行的测试用例的所有输入和输出。要求29/req/report/ResultRepeatability一致性测试的结果应是可重复的。够执行完整的ETS并观察到与在其他情况下获得的结果相要求30/req/report/ResultComparability一致性测试的结果应具有可比性。试相关的所有程序的标准化需要使IUT得到可比的总体总结GB/TXXXXX—202X/ISO19105:2022(E)附录A（资料性）抽象测试套件A.1概况本附录规定了抽象测试套件（ATS），任何声明与本文件一致的实现需完全通过该测试。以下测试标识符相对于：<iso19105/-2/>A.2一致性测试类：模块化规范A.2.1概述此一致性类的URI标识符为：</19105/-1/2/conf/ModularSpecification>这个需求类的URI标识符是：</19105/-1/2/req/ModularSpecification>下面的测试标识符是相对于</19105/-1/2>A.2.2规范包含一致性条款测试id：/conf/specification/ConformanceClause测试方法：对于适用的规范，检查是否存在一致性条款。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceClauseA.2.3一致性条款以一致性类的声明开始测试id：/conf/specification/ConformanceClauseStatement测试方法：对于一致性条款，检查一致性类是否在一致性条款的抽象测试套件（ATS）中指定，否则检查一致性条款是否引用了ATS附件。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceClauseStatementA.2.4一致性条款中规定了每个一致性类的规范化对象测试id：/conf/specification/ConformanceTarget测试方法：对于一致性条款，检查是否指定了每个一致性类的规范化对象。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceTargetA.2.5在抽象测试套件中声明了实际的一致性类测试id：/conf/specification/ConformanceClauseReference测试方法：对于一致性条款，检查它是否引用了附件中的ATS。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceClauseReferenceA.2.6需求与一致性类的对应关系GB/TXXXXX—202X/ISO19105:2022(E)测试id：/conf/specification/CorrespondenceRequirementsClasses测试方法：对于需求类中的所有需求，检查这些需求是否与一致性类一致。如果constraint的值为‘true’，则测试通过。参考：/req/specification/CorrespondenceRequirementsClassesA.2.7一个需求类中的所有需求都具有相同的规范化对象测试id：/conf/specification/SpecificationTarget测试方法：对于需求类中的所有需求，检查这些需求是否具有相同的规范化对象。如果constraint的值为‘true’，则测试通过。参考：/req/specification/SpecificationTargetA.2.8至少在一个抽象测试用例中测试需求测试id：/conf/specification/ConformanceTest测试方法：对于需求，检查是否至少有一个抽象测试用例来测试该需求。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceTestA.2.9一致性类由URI标识测试id：/conf/specification/ConformanceClassIdentification测试方法：对于一致性类，检查它是否由URI标识。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceClassIdentificationA.2.10指定测试依赖的标识测试id：/conf/specification/ConformanceClassDependency测试方法：对于依赖一致性类，检查它是否由URI标识。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ConformanceClassDependencyA.2.11ATS与需求类一致测试id：/conf/specification/ATSStructure测试方法：对于ATS，检查其层次结构是否与一致性类一致。如果constraint的值为‘true’，则测试通过。参考：/req//specification/ATSStructureA.2.12ATC遵循模板测试id：/conf/specification/ATCTemplate测试方法：对于抽象测试用例，检查它是否根据给定的模板指定。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ATCTemplateA.2.13ATS由URI标识测试id：/conf/specification/ATCIdentifierGB/TXXXXX—202X/ISO19105:2022(E)测试方法：对于抽象测试用例，检查它是否由有效的URI标识。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ATCIdentifierA.2.14ATC测试方法包含测试判决测试id：/conf/specification/ATCTestMethod测试方法：对于抽象测试用例的测试方法，检查它是否包含其测试目的的测试判定标准。如果constraint的值为‘true’，则测试通过。参考：/req//specification/ATCTestMethodA.2.15ATC参考要求测试id：/conf/specification/ATCTestReference测试方法：对于抽象测试用例，检查它是否标识了被测试的需求。如果constraint的值为‘true’，则测试通过。参考：/req/specification/ATCTestReferenceA.3一致性测试类：模块化标准A.3.1概述此一致性类的URI标识符为：</19105/-1/2/conf/模块化标准>这个需求类的URI标识符是：</19105/-1/2/req/模块化标准>下面的测试标识符是相对于</19105/-1/2>A.3.2模块化标准遵循模块化结构测试id：/conf/standard/Dependency测试方法：对于模块化ISO/TC211标准，请检查它是否符合本标准第8章规定的所有要求。如果constraint的值为‘true’，则测试通过。参考：/req/standard/DependencyA.3.3所有标识都遵循附录D测试id：/conf/standard/Identification测试方法：对于适用的ISO/TC211标准，检查所有可识别的需求类、需求、一致性类、抽象测试用例和相应的资源是否由可引用的URI标识，如附录D中给出的。如果constraint的值为‘true’，则测试通过。参考：/req//standard/IdentificationA.4一致性测试类：可执行测试套件A.4.1概述此一致性类的URI标识符为：</iso19105/-/2/conf/TestSuite>此需求类的URI标识符为：GB/TXXXXX—202X/ISO19105:2022(E)</19105/-1/2/req/TestSuite>下面的测试标识符是相对于</iso19105/-1/2>A.4.2可执行测试套件应涵盖所有ETMs测试id：/conf/test-suites/ExecutableTestSuite测试方法：对于可执行测试套件，检查它是否涵盖了抽象测试套件中指定的所有ETM。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ExecutableTestSuiteA.4.3可执行测试模块应与一致性类一致测试id：/conf/test-suites/ExecutableTestModule测试方法：对于可执行测试套件，检查可执行测试用例在可执行测试模块中的划分方式与一致性类一致。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ExecutableTestModuleA.4.4可执行测试源自相应的ATC/ATCs测试id：/conf/test-suites/ETC测试方法：对于可执行的测试用例，检查它是否引用了相应的ATC/ATCs。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCA.4.5ETC遵循指定模板测试id：/conf/test-suites/ETCTemplate测试方法：对于可执行测试用例，检查它是否遵循指定的模板。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCTemplateA.4.6ETC由URI标识测试id：/conf/test-suites/ETCTestIdentifier测试方法：对于可执行测试用例，检查它是否由URI标识如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCTestIdentifierA.4.7ETC包含一个测试描述测试id：/conf/test-suites/ETCTestDescription测试方法：对于可执行的测试用例，检查它是否包含与ETC实现的ATC一致的测试描述。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCTestDescriptionA.4.8ETC包含一个测试表达测试id：/conf/test-suites/ETCTestExpressionGB/TXXXXX—202X/ISO19105:2022(E)测试方法：对于可执行的测试用例，检查它是否包含一个测试表达式，该表达式执行与ETS执行的ATC测试方法一致的判定标准。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCTestExpressionA.4.9ETC应包含对要求的参考测试id：/conf/test-suites/ETCTestReference测试方法：对于可执行测试用例，检查它是否包含对其实现的ATC的引用。如果constraint的值为‘true’，则测试通过。参考：/req/test-suites/ETCTestReferenceA.5一致性测试类：一致性测试报告A.5.1概述此一致性类的URI标识符为：</iso19105/-/2/conf/report>此需求类的URI标识符为：</iso19105/-/2/req/report>下面的测试标识符是相对于</iso19105/-1/2/>A.5.2根据ICS提供一致性测试报告测试id：/conf/report/TestReport测试方法：对于一致性测试报告，请检查是否根据ICS提供了测试结论。如果constraint的值为‘true’，则测试通过。参考：/req/report/TestReportA.5.3测试结论是对结果值的描述测试id：/conf/report/TestVerdict测试方法：对于测试结论，请检查它是否是结果值声明。如果constraint的值为‘true’，则测试通过。参考：/req/report/TestVerdictA.5.4测试判决被合成为一个整体一致性判决评估测试id：/conf/report/OverallResult测试方法：对于IUT，检查是否有总体一致性判定评估。如果constraint的值为‘true’，则测试通过。参考：/req/report/OverallResultA.5.5一致性测试是可查证的测试id：/conf/report/ResultAuditability测试方法：针对IUT运行ETS，检查是否记录了每个正在执行的测试用例的所有输入和输出。如果constraint的值为‘true’，则测试通过。GB/TXXXXX—202X/ISO19105:2022(E)参考：/req/report/ResultAuditabilityA.5.6一致性测试是可重复的测试id：/conf/report/ResultRepeatability测试方法：对同一IUT运行可执行测试套件两次，检查两个结果是否相同。如果constraint的值为‘true’，则测试通过。参考：/req/report/ResultRepeatabilityA.5.7一致性测试具有可比性测试id：/conf/report/ResultComparability测试方法：在不同的测试实验室针对相同的IUT运行可执行测试套件，检查两个结果是否相同。如果constraint的值为‘true’，则测试通过。参考：/req/report/ResultComparabilityGB/TXXXXX—202X/ISO19105:2022(E)附录B（资料性）样式构造的实例模板B.1一致性条款模板示例一致性条款模板可以如下：本文件标准定义了n个一致性等级：——“C1”（规范目标：目标T1——“C2”（规范目标：目标T2——...；——“Cn”（规范目标：目标Tn）。声明符合本文件的规范、标准、测试套件或测试工具应实现与该规范目标相关的一致性类。应使用本标准附录X中规定的所有相关一致性测试案例来评估与本标准的一致性。表j提供了一致性类URI。其中Ci为一致性等级，Ti为规范目标，X为附录顺序，j为表顺序。第5章中显示了一个示例一致性条款，其中包含描述性文本和格式化表格。B.2需求模板示例需求模板如下：需求i/req/reqcls/req需求声明依赖：{URIs}其中，i为需求顺序，reqcls为需求类名，req为需求名，Requirementstatement为规范性需求语句，{URI}为依赖需求类。第8章、第9章和第10章中编号为1至30的要求是格式化要求声明的示例。B.3抽象测试套件模板示例抽象测试套件模板可以如下：本附件规定了一个抽象测试套件（ATS），任何声称符合本文件的实现都应通过该套件。下面的需求标识符是相对于<URI>。其中URI是标准/规范的URI。在本文件的附件A中可以找到一个示例。B.4抽象测试用例模板测试id：/conf/confcls/test测试目的：测试目的测试方法：测试目方法参考：/conf/reqcls/req其中confcls为一致性类名，test为一致性测试名，Testpurpose为测试目的描述，testmethod为测试方法描述，reqcls为需求类名，req为需求名。GB/TXXXXX—202X/ISO19105:2022(E)在本文件的附件A中可以找到一个示例。GB/TXXXXX—202X/ISO19105:2022(E)附录C（资料性）UML模型基于OGC08-131r3概念模型修改，以便在本附录中使用，以更好地理解模块化规范。适用规范包含需求类和相应的ATS，ATS由测试相应需求类的一致性类组成。需求类中的需求都共享相同的规范目标。根据至少一个抽象测试用例测试需求。ETS源自相应的ATS，并针对IUT执行，以检查ICS的URI中提供的声明能力是否得到正确开发。一致性测试结果用于导出IUT的一致性测试报告。参见图C.1中的UML模型。图C.1UML模型GB/TXXXXX—202X/ISO19105:2022(E)附录D（资料性）URI结构D.1规范性声明模板：网址/标准号/-[partNumber]/editionNumber/statementType/nsClassId/nsId。来源：——标准号：标准的主要编号，如“19115”；——部件号：对于有多个部分的标准，如“-1”。如果标准没有部分：“-”；——版本号：ISO官方版本号，如“1”；——声明类型：req（requirementrec（recommendation）或per（permission——nsClassId：规范声明的类ID；——nsID：规范声明的内部ID。例子：ISO19131第2版要求类“内容”中要求“范围”的URI：</19131/-/2/req/content/extent>。注1：文档的版本号放在语句类型之前，以便为一个版本中的所有语句启D.2一致性类和测试模板：/标准号/-[partNumber]/编辑号/conf/lassId/TestId。来源：——标准号：标准的主要编号，e.g.“19115”；——部件号：对于有多个部分的标准，如“-1”，如果标准没有部分：“-”；——编辑号：ISO官方编辑号，e.g.“1”；——类Id：一致性类的类ID；——测试ID：一致性测试的类ID（仅用于一致性测试）。例子：ISO19131第2版中一致性类“内容”中一致性测试“allContent”的URI：</19131/-/2/conf/content/allContent>。注1：文档的版本号放在conf之前，以便为一个版本中的所有一致性类启GB/TXXXXX—202X/ISO19105:2022(E)附录E（资料性）一致性测试报告示例E.1OGCTEAM引擎一致性测试报告在OGC中，实现规范文档包含一个带有抽象测试套件（ATS）的附件，其中包含一个需求的测试规范。与需求类同步，这些测试被分组到一致性测试类中。这些测试是抽象地表述的，因为它们只给出了高级描述；一个具体的可执行测试套件（ETS它是用合规性测试语言开发的，代表ATS的可执行副本。OGC的测试、评估和测量TEAM引擎（）运行此ETS并测试相应的实现[9]。参见图E.1中的示例。图E.1OGC团队引擎的样本测试报告E.2INSPIRE参考验证器（ETF）的一致性测试报告INSPIRE是一项欧洲指令，旨在为欧盟环境政策和可能对环境产生影响的政策或活动创建欧盟空间数据基础设施（https://inspire.ec.europa.eu/）。INSPIRE为基础架构中的组件应遵守的数据、元数据和web服务定义规范（技术指南）。规范的抽象测试套件在/inspire-eu-validation获得。实现抽象测试套件的可执行测试套件可在以下位置获得/inspire-eu-validation/ets-repository。带有ETS的测试工具可在https://inspire.ec.europa.eu/validator/about/在线获取。图E.2是INSPIRE参考验证器在元数据记录上创建的测试报告示例。ETF软件使用更细粒度的状态值，这些值映射到三个判定值通过、失败、不确定，如表E.1所示。测试报告中使用的颜色代表判断结果。绿色是“PASS”，红色是“FAILED”，黄色是“PASSED_MANUAL”。GB/TXXXXX—202X/ISO19105:2022(E)图E.2一个元数据的ISPIRE参考验证器的测试报告表E.1判定映射规则一个测试用例拥有状态为PASSED_MANUAL如果至少有一个状态值为SKIPPED因为GB/TXXXXX—202X/ISO19105:2022(E)附录F（资料性）整体综合性评价结果F.1真值承载命题真值承载命题可用于表达整体综合性评价结果。一个语句的三个可能真值，即T、F和U，遵循三值逻辑，该逻辑具有两个或多个由逻辑与（“与”）和或（“或”）运算符连接的语句。这样的逻辑表达式由以下语法表示：其中S是真值，Exp是逻辑表达式。F.2测试结果综合评价一个语句有三个可能的真值，即“通过”、“失败”和“不确定”，遵循三值逻辑。三个评估假设可用于评估“不确定性判决”：开放世界假设（OWA）、封闭世界假设（CWA）和存根假设（SA）。开放世界假设（OWA）指出，未包含在系统中明确记录的知识中或未从系统中明确记录的知识中推断出的判决的真值应被视为不确定的。封闭世界假设（CWA）是假设任何未知为真的陈述都是错误的。在存根假设（SA）中，当结果不可用时，始终假设依赖一致性类为真。在Kleene的逻辑中，如果两个操作数都是T，则合取的值产生T，如果其操作数之一是F，则产生F，否则产生U。如果其操作数之一是T，则析取产生T的值，如果它的两个操作数都是F，否则U.Kleene的方法是开放世界假设。这种方法在三个假设下得到扩展；参见表F.1中未知结果的逻辑假设和表F.2中使用CWA和SA的Kleene逻辑的逻辑运算的扩展真值表。表F.1—对未知结果的逻辑假设UFUUUT表F.2—带有CWA和SA的Kleene逻辑的扩展真值表PQTTTTTTTTTUFUTTTTTFFFFTTTUTFUTTTTGB/TXXXXX—202X/ISO19105:2022(E)PQUUFUTFUTUFFFFFUTFTFFFTTTFUFFFFUT表F.2—带有CWA和SA的Kleene逻辑的扩展真值表（续）PQFFFFFFFFGB/TXXXXX—202X/ISO19105:2022(E)参考文献[1]ISO/IECGuide2:2004Standardizationandrelatedactivities—Generalvocabulary[2]ISO/IEC9646-1Informationtechnology—OpenSystemsInterconnection—Conformancetestingmethodologyandframework—Part1:Generalconcepts[3]ISO/IEC9646-2Informationtechnology—OpenSystemsInterconnection—Conformancetestingmethodologyandframework—Part2:AbstractTestSuitespecification[4]ISO/IEC9646-5Informationtechnology—OpenSystemsInterconnection—Conformancetestingmethodologyandframework—Part5:Requirementsontestlaboratoriesandclientsfortheconformanceassessmentprocess[5]ISO10303-31Industrialautomationsystemsandintegration—Productdatarepresentationandexchange—Part31:Conformancetestingmethodologyandframework:Generalconcepts[6]ISO/IEC106