地理信息 一致性與測(cè)試

1GB/TXXXXX—202X/ISO19105:2022(E)地理信息一致性與測(cè)試本文件規(guī)定了一致性測(cè)試的框架、概念和方法，以用于聲明達(dá)到與地理信息及相關(guān)應(yīng)用領(lǐng)域的一系列適用標(biāo)準(zhǔn)相符所需滿足的具體準(zhǔn)則。本文件構(gòu)建了一個(gè)框架，用于制定按一致性類分組的抽象測(cè)試用例組成的抽象測(cè)試套件，并明確了一致性測(cè)試過(guò)程中要遵循的程序。一致性的聲明可以是針對(duì)數(shù)據(jù)、軟件產(chǎn)品或服務(wù)，或者是包含任何配置文件或功能標(biāo)準(zhǔn)的規(guī)范。本文件中定義的一致性類結(jié)構(gòu)和關(guān)系是系統(tǒng)化配置管理的基礎(chǔ)，涉及管理模塊內(nèi)部和模塊之間的依賴關(guān)系。2規(guī)范性引用文件本文件沒(méi)有規(guī)范性引用文件。3術(shù)語(yǔ)、定義和縮略語(yǔ)3.1術(shù)語(yǔ)和定義下列術(shù)語(yǔ)和定義適用于本文件。3.1.1摘要abstract<作為修飾詞>獨(dú)立于實(shí)現(xiàn)。3.1.2抽象測(cè)試用例abstracttestcase一致性測(cè)試用例conformancetestcase測(cè)試一個(gè)特定的需求或一組相關(guān)的需求。注1：抽象或一致性測(cè)試用例是導(dǎo)出可執(zhí)行測(cè)試用例的正式基礎(chǔ)。從某種意義上說(shuō)，它應(yīng)該是完整的，即足以使測(cè)注2：ISO/IEC/IEEE24765:2017，3.4210包括3.1.3抽象測(cè)試套件abstracttestsuiteATS測(cè)試規(guī)范需求的一組一致性類。[來(lái)源：OGC08-131r3，4.2]3.1.4一致性conformance一致性conformity2GB/TXXXXX—202X/ISO19105:2022(E)3.1.5一致性條款conformanceclause符合條款conformityclause本條款包含符合國(guó)際標(biāo)準(zhǔn)或規(guī)范的所有要求。注：在本文件中，規(guī)范代表技術(shù)規(guī)范。3.1.6一致性等級(jí)conformanceclass一致性測(cè)試類conformancetestclass一組抽象測(cè)試用例，該組測(cè)試案例被滿足時(shí)要接收一份單獨(dú)的一致性證書(shū)。注：OGC08-131r3將一致性證書(shū)定義為“符合全部或部分標(biāo)準(zhǔn)的證據(jù)，授予通過(guò)該標(biāo)準(zhǔn)中規(guī)定的一個(gè)或3.1.7一致性測(cè)試conformancetesting測(cè)試產(chǎn)品以確定產(chǎn)品在多大程度上是符合要求的。3.1.8一致性測(cè)試報(bào)告conformancetestreport測(cè)試報(bào)告testreport以有組織的格式呈現(xiàn)每個(gè)一致性類和抽象測(cè)試用例結(jié)論的文檔。3.1.9一致性測(cè)試結(jié)果conformancetestresult測(cè)試結(jié)果testresult對(duì)測(cè)試中的實(shí)現(xiàn)執(zhí)行可執(zhí)行測(cè)試用例期間記錄的所有信息3.1.10可執(zhí)行測(cè)試用例executabletestcase實(shí)現(xiàn)的特定測(cè)試，以滿足包含需求的規(guī)范中規(guī)定的特定需求。注：用可執(zhí)行表達(dá)式實(shí)例化抽象測(cè)試用例。3.1.11可執(zhí)行測(cè)試模塊executabletestmodule用于測(cè)試單個(gè)一致性證書(shū)的相關(guān)可執(zhí)行測(cè)試用例集。3.1.12可執(zhí)行測(cè)試套件executabletestsuite可執(zhí)行測(cè)試模塊集。3.1.13標(biāo)識(shí)符identifier語(yǔ)言上獨(dú)立的字符序列，能夠唯一地和永久地識(shí)別與之關(guān)聯(lián)的字符。[來(lái)源：ISO19135-1:2015，4.1.5]3.1.14實(shí)施implementation規(guī)范的實(shí)現(xiàn)。注：在適用的地理信息標(biāo)準(zhǔn)文件中，這包括地理信息服務(wù)和數(shù)據(jù)集的相關(guān)規(guī)范。3.1.15實(shí)現(xiàn)一致性聲明implementationconformancestatement3GB/TXXXXX—202X/ISO19105:2022(E)已實(shí)現(xiàn)的一致性類聲明。3.1.16測(cè)試中的實(shí)現(xiàn)implementationundertest正在進(jìn)行一致性評(píng)估的實(shí)現(xiàn)。[來(lái)源：ISO/IEC18477-4:2017，3.1.40]3.1.17無(wú)定論的判決inconclusiveverdict當(dāng)通過(guò)和不通過(guò)都不適用時(shí)的測(cè)試判決。3.1.18模塊化modular由單獨(dú)的部分組成，當(dāng)組合在一起時(shí)，形成一個(gè)完整的整體。3.1.19模塊化規(guī)范modularspecification以模塊化結(jié)構(gòu)組織其需求和一致性類的規(guī)范。3.1.20模塊化標(biāo)準(zhǔn)modularstandard以模塊化結(jié)構(gòu)組織其要求和一致性類的標(biāo)準(zhǔn)。3.1.21需求類requirementsclass具有相同規(guī)格指標(biāo)以滿足一致性測(cè)試類的所有需求的集合。注：OGC08-131r3在名稱“需求類”下定義了一3.1.22規(guī)范specification包含需求和這些需求的抽象測(cè)試用例的文檔。3.1.23規(guī)范化對(duì)象specificationtarget規(guī)范中某些要求適用的實(shí)體。注：OGC08-131r3在名稱“標(biāo)準(zhǔn)化目標(biāo)”下定義3.1.24標(biāo)準(zhǔn)standard以協(xié)商一致方式制定并經(jīng)公認(rèn)機(jī)構(gòu)批準(zhǔn)的文件，該文件規(guī)定了活動(dòng)或其結(jié)果的規(guī)則、準(zhǔn)則或特點(diǎn)，供共同和重復(fù)使用，目的是在特定情況下的達(dá)到最佳實(shí)現(xiàn)。[來(lái)源：ISO/IECGuide2:2004，3.2]3.1.25測(cè)試工具testtool執(zhí)行可執(zhí)行測(cè)試套件的應(yīng)用程序。3.2縮略語(yǔ)4GB/TXXXXX—202X/ISO19105:2022(E)下列縮略語(yǔ)適用于本文件。ATC：抽象測(cè)試案例（AbstractTestCase）ATS：抽象測(cè)試套件（AbstractTestSuite）CWA：封閉世界假設(shè)（ClosedWorldAssumption）ETC：可執(zhí)行測(cè)試案例（ExecutableTestCase）ETM：可執(zhí)行測(cè)試模型（ExecutableTestModule）ETS：可執(zhí)行測(cè)試套件（ExecutableTestSuite）ICS：實(shí)現(xiàn)一致性聲明（ImplementationConformanceStatement）IUT：測(cè)試中的實(shí)現(xiàn)（ImplementationUnderTest）OWA：開(kāi)放世界假設(shè)（OpenWorldAssumption）SA：存根假設(shè)（StubAssumption）TEAM：測(cè)試，評(píng)估與量測(cè)（Test，Evaluation，andMeasurement）UML：統(tǒng)一建模語(yǔ)言（UnifiedModelingLanguage）URI：統(tǒng)一資源標(biāo)識(shí)符（UniformResourceIdentifier）4一致性本文件定義了四個(gè)一致性類：——“模塊化規(guī)范”（規(guī)范指標(biāo)：規(guī)范——“模塊化標(biāo)準(zhǔn)”（規(guī)范指標(biāo)：標(biāo)準(zhǔn)——“可執(zhí)行測(cè)試套件”（規(guī)范指標(biāo)：可執(zhí)行測(cè)試套件——“一致性測(cè)試報(bào)告”（規(guī)范指標(biāo)：測(cè)試工具）。要求符合本文件的規(guī)范、標(biāo)準(zhǔn)、測(cè)試套件或測(cè)試工具應(yīng)執(zhí)行與該規(guī)范化對(duì)象相關(guān)的一致性類。應(yīng)使用本標(biāo)準(zhǔn)附錄A中規(guī)定的所有相關(guān)一致性測(cè)試用例評(píng)估本標(biāo)準(zhǔn)的一致性。表1提供了一致性類的URI。注：本文件中的URIs與ISO/TC211提供的官方URL相關(guān)。表1一致性類統(tǒng)一資源標(biāo)識(shí)符/19105/-/2/conf/ModularSpecif/19105/-/2/conf/ModularS/iso19105/-/2/conf/Te5符號(hào)5.1UML符號(hào)在本文件中概念化的模式用統(tǒng)一建模語(yǔ)言（UML）展示，ISO19103給出了本文件中使用的UML的特定配置文件。5.2標(biāo)識(shí)符本標(biāo)準(zhǔn)中的規(guī)范性條款用URI表示：5GB/TXXXXX—202X/ISO19105:2022(E)</iso19105/-/2>。本文件中出現(xiàn)的所有需求和抽象測(cè)試用例標(biāo)識(shí)均以URI為基礎(chǔ)部分。6框架在可應(yīng)用的一致性測(cè)試框架中，規(guī)范包含用于派生抽象測(cè)試套件（ATS）的需求類。根據(jù)規(guī)范開(kāi)發(fā)測(cè)試中的實(shí)現(xiàn)（IUT），并根據(jù)ATS實(shí)現(xiàn)可執(zhí)行測(cè)試套件（ETS）。ETS對(duì)IUT進(jìn)行測(cè)試，以確定其是否符合本規(guī)范中規(guī)范性條款明確規(guī)定的要求類。見(jiàn)圖1。圖1一致性測(cè)試的一般方法7模塊化規(guī)范7.1概述模型的需求和需求類的結(jié)構(gòu)應(yīng)反映在一致性測(cè)試和類的組織中，也應(yīng)反映在規(guī)范文件和規(guī)范性條款的結(jié)構(gòu)中。注：這使得編寫規(guī)范更加困難，但有望使規(guī)范更易于閱讀和理解。這其貢獻(xiàn)作者多幾個(gè)數(shù)量級(jí)。使規(guī)范的實(shí)施更容易是本標(biāo)7.2一致性條款為使一項(xiàng)標(biāo)準(zhǔn)有效、實(shí)用，能夠清楚地確定該標(biāo)準(zhǔn)的一致性是很重要的。為此，所有有關(guān)地理信息和相關(guān)應(yīng)用領(lǐng)域的適用文件都提供了一致性條款。要求1/req/specification/ConformanceClause規(guī)范應(yīng)包含一致性條款。一致性條款是測(cè)試一致性的入口點(diǎn)。要檢查實(shí)現(xiàn)是否符合規(guī)范，首先要檢查一致性條款以確定必須檢查的內(nèi)容。因此，一致性條款應(yīng)明確說(shuō)明應(yīng)滿足哪些要求才能聲明與規(guī)范的一致性。要求2/req/specification/ConformanceClauseStatement一致性條款應(yīng)以要滿足的一致性類聲明開(kāi)始，以便實(shí)現(xiàn)聲明與該規(guī)范的一致性。要求3/req/specification/ConformanceTarget一致性條款應(yīng)指定規(guī)范中每個(gè)一致性類的規(guī)范化對(duì)象。一致性類將抽象測(cè)試用例模塊化（見(jiàn)附錄A）。附件B.1中提供了示例一致性條款模板。要求4/req/specification/ConformanceClauseReference一致性條款應(yīng)引用附件的ATS。6GB/TXXXXX—202X/ISO19105:2022(E)7.3一致性類要求5/req/specification/CorrespondenceRequirementsClasses需求類應(yīng)以與一致性類一致的方式對(duì)規(guī)范中的需求進(jìn)行劃分。每個(gè)需求類將與一個(gè)類似命名的一致性類一一對(duì)應(yīng)，該一致性類測(cè)試所有需求類的需求。附錄B.2中提供了示例要求。要求6/req/specification/SpecificationTarget要求類中的所有要求應(yīng)具有相同的規(guī)范化對(duì)象。要求7/req/specification/ConformanceTest應(yīng)在至少一個(gè)抽象測(cè)試用例中測(cè)試需求。要求8/req/specification/ConformanceClassIdentification一致性類應(yīng)由URI標(biāo)識(shí)。要求9/req/specification/ConformanceClassDependency一致性類應(yīng)說(shuō)明其所依賴的任何其他一致性類。其他一致性類也應(yīng)該應(yīng)用于測(cè)試一致性。7.4抽象測(cè)試套件在不考慮一致性類之間依賴關(guān)系的情況下，ATS具有層次結(jié)構(gòu)。一致性類可用于幫助規(guī)劃、開(kāi)發(fā)或理解ATS。一致性類由一個(gè)或多個(gè)抽象測(cè)試用例組成（見(jiàn)附錄C）。抽象測(cè)試用例用作生成可執(zhí)行測(cè)試用例的基礎(chǔ)，并且獨(dú)立于IUT。考慮到模塊化和依賴性，抽象測(cè)試用例和類的結(jié)構(gòu)可能對(duì)應(yīng)于一致性類的有向無(wú)環(huán)圖（見(jiàn)附錄C）。要求10/req/specification/ATSStructureATC的結(jié)構(gòu)應(yīng)遵循一致性類的結(jié)構(gòu)。B.3中提供了示例要求。要求11/req/specification/ATCTemplate抽象測(cè)試用例應(yīng)包含：a）測(cè)試用例標(biāo)識(shí)符；b）測(cè)試目標(biāo)（可選）；c）測(cè)試方法（包括測(cè)試判定標(biāo)準(zhǔn)）；d）參考需求（可選）。B.4中提供了示例要求。要求12/req/specification/ATCIdentifier抽象測(cè)試用例的標(biāo)識(shí)符應(yīng)為URI。建議1/rec/specification/ATSTestPurpose每一個(gè)抽象測(cè)試用例都應(yīng)該包含測(cè)試目的，用于提供關(guān)于預(yù)期所達(dá)到目標(biāo)的精確描述。一致性測(cè)試用例的測(cè)試目的是測(cè)試從測(cè)試用例中引用的要求。由于每個(gè)一致性測(cè)試用例都是這種情況，因此明確指定測(cè)試目的是可選的。7GB/TXXXXX—202X/ISO19105:2022(E)要求13/req/specification/ATCTestMethod抽象測(cè)試用例的測(cè)試方法應(yīng)包含其測(cè)試目的的測(cè)試判定標(biāo)準(zhǔn)。要求14/req/specification/ATCTestReference抽象測(cè)試用例的參考應(yīng)確定測(cè)試的需求。許可1/per/specification/ATSElementsATS可能包含標(biāo)識(shí)符、測(cè)試方法和需求參考以外的其他元素。注：為了提供向后兼容性，ATC中可能包含測(cè)試類型[2]。測(cè)試類型可以是基本測(cè)試或能力測(cè)試。通常，基本測(cè)試可提供IUT符合的初步證據(jù)。能力測(cè)試檢查IUT的可觀察能力是否8模塊化標(biāo)準(zhǔn)為了使國(guó)際標(biāo)準(zhǔn)有效和有用，必須能夠清楚地確定是否符合國(guó)際標(biāo)準(zhǔn)。因此，有關(guān)地理信息和相關(guān)應(yīng)用領(lǐng)域的所有適用標(biāo)準(zhǔn)文檔都提供了一致性條款。要求15/req/standard/Dependency模塊化ISO/TC211標(biāo)準(zhǔn)應(yīng)遵循本標(biāo)準(zhǔn)第8章規(guī)定的模塊化結(jié)構(gòu)。依賴關(guān)系：/19105/-1/2/req/ModularSpecification作為XML模式和本體的ISO/TC211標(biāo)準(zhǔn)的實(shí)現(xiàn)需要訪問(wèn)模式和模式內(nèi)單個(gè)資源的官方URI。對(duì)于一致性測(cè)試和文檔，一致性類、一致性測(cè)試、標(biāo)準(zhǔn)的要求和建議也需要唯一標(biāo)識(shí)。要求16/req/standard/Identification所有可識(shí)別的需求類、需求、一致性類和抽象測(cè)試用例都應(yīng)參照附錄D的URI標(biāo)識(shí)。9可執(zhí)行測(cè)試套件可執(zhí)行測(cè)試套件（ETS）是ATS的實(shí)例化，其中所有與實(shí)現(xiàn)相關(guān)的參數(shù)都分配有特定值。要求17/req/test-suites/ExecutableTestSuite可執(zhí)行測(cè)試套件應(yīng)涵蓋抽象測(cè)試套件中指定的所有一致性類。要求18/req/test-suites/ExecutableTestModule可執(zhí)行測(cè)試套件應(yīng)以與一致性類一致的方式分割可執(zhí)行測(cè)試模塊中的可執(zhí)行測(cè)試用例。每個(gè)可執(zhí)行測(cè)試模塊應(yīng)與一個(gè)類似命名的一致性類一一對(duì)應(yīng)，該一致性類測(cè)試所有需求類的需求。要求19/req/test-suites/ETC一個(gè)可執(zhí)行的測(cè)試用例應(yīng)源自一個(gè)或多個(gè)抽象測(cè)試用例。要求20/req/test-suites/ETCTemplate一個(gè)可執(zhí)行測(cè)試案例應(yīng)該包含：a）測(cè)試用例標(biāo)識(shí)符；b）測(cè)試說(shuō)明；c）測(cè)試表達(dá)；d）相應(yīng)的ATCs參考。8GB/TXXXXX—202X/ISO19105:2022(E)要求21/req/test-suites/ETCTestIdentifier可執(zhí)行測(cè)試用例的標(biāo)識(shí)符應(yīng)為URI。要求22/req/test-suites/ETCTestDescription可執(zhí)行測(cè)試用例的測(cè)試描述應(yīng)包括與ETC實(shí)施的ATC一致的測(cè)試描述。要求23/req/test-suites/ETCTestExpression可執(zhí)行測(cè)試用例的測(cè)試表達(dá)式應(yīng)實(shí)施與ETS實(shí)施的ATC測(cè)試方法一致的判定標(biāo)準(zhǔn)。要求24/req/test-suites/ETCTestReference可執(zhí)行測(cè)試用例的參考應(yīng)標(biāo)識(shí)已實(shí)現(xiàn)的ATC。注：ATC標(biāo)識(shí)符是一個(gè)URI。對(duì)于適用的ISO/TC211文件，這是指附件D中提供的URI結(jié)構(gòu)。10一致性測(cè)試報(bào)告一致性測(cè)試的結(jié)果記錄在一致性測(cè)試報(bào)告中。要求25/req/report/TestReport一致性測(cè)試報(bào)告應(yīng)包含根據(jù)IUT實(shí)施的要求類的測(cè)試結(jié)論。建議2/rec/report/ICSIUT應(yīng)提供實(shí)現(xiàn)一致性聲明（ICS），該聲明提供已實(shí)現(xiàn)的一致性類的聲明，以允許根據(jù)相關(guān)要求測(cè)試實(shí)現(xiàn)。注2：通常，一致性測(cè)試報(bào)告由兩部分組成：摘要和詳細(xì)信息部分要求26/req/report/TestVerdict測(cè)試判定應(yīng)是結(jié)果值的聲明。通過(guò)和失敗是兩個(gè)主要的判斷，但在極少數(shù)情況下，可能必須指定一個(gè)不確定的判斷。在實(shí)際的測(cè)試工具中，會(huì)有更多的結(jié)果值[12]可以映射到三個(gè)判斷（見(jiàn)附件E.1）。這些結(jié)果值包括但不限于表D.1中給出的值。9GB/TXXXXX—202X/ISO19105:2022(E)要求27/req/report/OverallResult分配的測(cè)試判定應(yīng)綜合到IUT的整體一致性判定評(píng)估中。注2：IUT需要經(jīng)過(guò)一些特定的驗(yàn)證和確認(rèn)程序。然而，地理服務(wù)的復(fù)雜性造成了額外的綜合問(wèn)題；在這項(xiàng)工作中解決的其中一個(gè)問(wèn)題與依賴性問(wèn)題有關(guān)。此類依賴性通常已存在于評(píng)估IUT所依據(jù)的規(guī)范中。此外，規(guī)范本身經(jīng)常引在實(shí)際的測(cè)試中，會(huì)有不同的結(jié)果綜合方法來(lái)評(píng)估整體結(jié)果。這些結(jié)果合成方法包括但不限于附件F中提供的方法。IUT在測(cè)試過(guò)程中提供的所有信息的記錄和保留對(duì)于分析階段和審計(jì)來(lái)說(shuō)是必要的。要求28/req/report/RecordAuditability一致性測(cè)試的結(jié)果應(yīng)是可審核的。注：無(wú)論結(jié)果分析是手動(dòng)進(jìn)行還是自動(dòng)進(jìn)行，都應(yīng)記錄每個(gè)正在執(zhí)行的測(cè)試用例的所有輸入和輸出。要求29/req/report/ResultRepeatability一致性測(cè)試的結(jié)果應(yīng)是可重復(fù)的。夠執(zhí)行完整的ETS并觀察到與在其他情況下獲得的結(jié)果相要求30/req/report/ResultComparability一致性測(cè)試的結(jié)果應(yīng)具有可比性。試相關(guān)的所有程序的標(biāo)準(zhǔn)化需要使IUT得到可比的總體總結(jié)GB/TXXXXX—202X/ISO19105:2022(E)附錄A（資料性）抽象測(cè)試套件A.1概況本附錄規(guī)定了抽象測(cè)試套件（ATS），任何聲明與本文件一致的實(shí)現(xiàn)需完全通過(guò)該測(cè)試。以下測(cè)試標(biāo)識(shí)符相對(duì)于：<iso19105/-2/>A.2一致性測(cè)試類：模塊化規(guī)范A.2.1概述此一致性類的URI標(biāo)識(shí)符為：</19105/-1/2/conf/ModularSpecification>這個(gè)需求類的URI標(biāo)識(shí)符是：</19105/-1/2/req/ModularSpecification>下面的測(cè)試標(biāo)識(shí)符是相對(duì)于</19105/-1/2>A.2.2規(guī)范包含一致性條款測(cè)試id：/conf/specification/ConformanceClause測(cè)試方法：對(duì)于適用的規(guī)范，檢查是否存在一致性條款。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceClauseA.2.3一致性條款以一致性類的聲明開(kāi)始測(cè)試id：/conf/specification/ConformanceClauseStatement測(cè)試方法：對(duì)于一致性條款，檢查一致性類是否在一致性條款的抽象測(cè)試套件（ATS）中指定，否則檢查一致性條款是否引用了ATS附件。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceClauseStatementA.2.4一致性條款中規(guī)定了每個(gè)一致性類的規(guī)范化對(duì)象測(cè)試id：/conf/specification/ConformanceTarget測(cè)試方法：對(duì)于一致性條款，檢查是否指定了每個(gè)一致性類的規(guī)范化對(duì)象。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceTargetA.2.5在抽象測(cè)試套件中聲明了實(shí)際的一致性類測(cè)試id：/conf/specification/ConformanceClauseReference測(cè)試方法：對(duì)于一致性條款，檢查它是否引用了附件中的ATS。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceClauseReferenceA.2.6需求與一致性類的對(duì)應(yīng)關(guān)系GB/TXXXXX—202X/ISO19105:2022(E)測(cè)試id：/conf/specification/CorrespondenceRequirementsClasses測(cè)試方法：對(duì)于需求類中的所有需求，檢查這些需求是否與一致性類一致。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/CorrespondenceRequirementsClassesA.2.7一個(gè)需求類中的所有需求都具有相同的規(guī)范化對(duì)象測(cè)試id：/conf/specification/SpecificationTarget測(cè)試方法：對(duì)于需求類中的所有需求，檢查這些需求是否具有相同的規(guī)范化對(duì)象。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/SpecificationTargetA.2.8至少在一個(gè)抽象測(cè)試用例中測(cè)試需求測(cè)試id：/conf/specification/ConformanceTest測(cè)試方法：對(duì)于需求，檢查是否至少有一個(gè)抽象測(cè)試用例來(lái)測(cè)試該需求。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceTestA.2.9一致性類由URI標(biāo)識(shí)測(cè)試id：/conf/specification/ConformanceClassIdentification測(cè)試方法：對(duì)于一致性類，檢查它是否由URI標(biāo)識(shí)。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceClassIdentificationA.2.10指定測(cè)試依賴的標(biāo)識(shí)測(cè)試id：/conf/specification/ConformanceClassDependency測(cè)試方法：對(duì)于依賴一致性類，檢查它是否由URI標(biāo)識(shí)。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ConformanceClassDependencyA.2.11ATS與需求類一致測(cè)試id：/conf/specification/ATSStructure測(cè)試方法：對(duì)于ATS，檢查其層次結(jié)構(gòu)是否與一致性類一致。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req//specification/ATSStructureA.2.12ATC遵循模板測(cè)試id：/conf/specification/ATCTemplate測(cè)試方法：對(duì)于抽象測(cè)試用例，檢查它是否根據(jù)給定的模板指定。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ATCTemplateA.2.13ATS由URI標(biāo)識(shí)測(cè)試id：/conf/specification/ATCIdentifierGB/TXXXXX—202X/ISO19105:2022(E)測(cè)試方法：對(duì)于抽象測(cè)試用例，檢查它是否由有效的URI標(biāo)識(shí)。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ATCIdentifierA.2.14ATC測(cè)試方法包含測(cè)試判決測(cè)試id：/conf/specification/ATCTestMethod測(cè)試方法：對(duì)于抽象測(cè)試用例的測(cè)試方法，檢查它是否包含其測(cè)試目的的測(cè)試判定標(biāo)準(zhǔn)。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req//specification/ATCTestMethodA.2.15ATC參考要求測(cè)試id：/conf/specification/ATCTestReference測(cè)試方法：對(duì)于抽象測(cè)試用例，檢查它是否標(biāo)識(shí)了被測(cè)試的需求。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/specification/ATCTestReferenceA.3一致性測(cè)試類：模塊化標(biāo)準(zhǔn)A.3.1概述此一致性類的URI標(biāo)識(shí)符為：</19105/-1/2/conf/模塊化標(biāo)準(zhǔn)>這個(gè)需求類的URI標(biāo)識(shí)符是：</19105/-1/2/req/模塊化標(biāo)準(zhǔn)>下面的測(cè)試標(biāo)識(shí)符是相對(duì)于</19105/-1/2>A.3.2模塊化標(biāo)準(zhǔn)遵循模塊化結(jié)構(gòu)測(cè)試id：/conf/standard/Dependency測(cè)試方法：對(duì)于模塊化ISO/TC211標(biāo)準(zhǔn)，請(qǐng)檢查它是否符合本標(biāo)準(zhǔn)第8章規(guī)定的所有要求。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/standard/DependencyA.3.3所有標(biāo)識(shí)都遵循附錄D測(cè)試id：/conf/standard/Identification測(cè)試方法：對(duì)于適用的ISO/TC211標(biāo)準(zhǔn)，檢查所有可識(shí)別的需求類、需求、一致性類、抽象測(cè)試用例和相應(yīng)的資源是否由可引用的URI標(biāo)識(shí)，如附錄D中給出的。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req//standard/IdentificationA.4一致性測(cè)試類：可執(zhí)行測(cè)試套件A.4.1概述此一致性類的URI標(biāo)識(shí)符為：</iso19105/-/2/conf/TestSuite>此需求類的URI標(biāo)識(shí)符為：GB/TXXXXX—202X/ISO19105:2022(E)</19105/-1/2/req/TestSuite>下面的測(cè)試標(biāo)識(shí)符是相對(duì)于</iso19105/-1/2>A.4.2可執(zhí)行測(cè)試套件應(yīng)涵蓋所有ETMs測(cè)試id：/conf/test-suites/ExecutableTestSuite測(cè)試方法：對(duì)于可執(zhí)行測(cè)試套件，檢查它是否涵蓋了抽象測(cè)試套件中指定的所有ETM。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ExecutableTestSuiteA.4.3可執(zhí)行測(cè)試模塊應(yīng)與一致性類一致測(cè)試id：/conf/test-suites/ExecutableTestModule測(cè)試方法：對(duì)于可執(zhí)行測(cè)試套件，檢查可執(zhí)行測(cè)試用例在可執(zhí)行測(cè)試模塊中的劃分方式與一致性類一致。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ExecutableTestModuleA.4.4可執(zhí)行測(cè)試源自相應(yīng)的ATC/ATCs測(cè)試id：/conf/test-suites/ETC測(cè)試方法：對(duì)于可執(zhí)行的測(cè)試用例，檢查它是否引用了相應(yīng)的ATC/ATCs。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCA.4.5ETC遵循指定模板測(cè)試id：/conf/test-suites/ETCTemplate測(cè)試方法：對(duì)于可執(zhí)行測(cè)試用例，檢查它是否遵循指定的模板。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCTemplateA.4.6ETC由URI標(biāo)識(shí)測(cè)試id：/conf/test-suites/ETCTestIdentifier測(cè)試方法：對(duì)于可執(zhí)行測(cè)試用例，檢查它是否由URI標(biāo)識(shí)如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCTestIdentifierA.4.7ETC包含一個(gè)測(cè)試描述測(cè)試id：/conf/test-suites/ETCTestDescription測(cè)試方法：對(duì)于可執(zhí)行的測(cè)試用例，檢查它是否包含與ETC實(shí)現(xiàn)的ATC一致的測(cè)試描述。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCTestDescriptionA.4.8ETC包含一個(gè)測(cè)試表達(dá)測(cè)試id：/conf/test-suites/ETCTestExpressionGB/TXXXXX—202X/ISO19105:2022(E)測(cè)試方法：對(duì)于可執(zhí)行的測(cè)試用例，檢查它是否包含一個(gè)測(cè)試表達(dá)式，該表達(dá)式執(zhí)行與ETS執(zhí)行的ATC測(cè)試方法一致的判定標(biāo)準(zhǔn)。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCTestExpressionA.4.9ETC應(yīng)包含對(duì)要求的參考測(cè)試id：/conf/test-suites/ETCTestReference測(cè)試方法：對(duì)于可執(zhí)行測(cè)試用例，檢查它是否包含對(duì)其實(shí)現(xiàn)的ATC的引用。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/test-suites/ETCTestReferenceA.5一致性測(cè)試類：一致性測(cè)試報(bào)告A.5.1概述此一致性類的URI標(biāo)識(shí)符為：</iso19105/-/2/conf/report>此需求類的URI標(biāo)識(shí)符為：</iso19105/-/2/req/report>下面的測(cè)試標(biāo)識(shí)符是相對(duì)于</iso19105/-1/2/>A.5.2根據(jù)ICS提供一致性測(cè)試報(bào)告測(cè)試id：/conf/report/TestReport測(cè)試方法：對(duì)于一致性測(cè)試報(bào)告，請(qǐng)檢查是否根據(jù)ICS提供了測(cè)試結(jié)論。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/report/TestReportA.5.3測(cè)試結(jié)論是對(duì)結(jié)果值的描述測(cè)試id：/conf/report/TestVerdict測(cè)試方法：對(duì)于測(cè)試結(jié)論，請(qǐng)檢查它是否是結(jié)果值聲明。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/report/TestVerdictA.5.4測(cè)試判決被合成為一個(gè)整體一致性判決評(píng)估測(cè)試id：/conf/report/OverallResult測(cè)試方法：對(duì)于IUT，檢查是否有總體一致性判定評(píng)估。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/report/OverallResultA.5.5一致性測(cè)試是可查證的測(cè)試id：/conf/report/ResultAuditability測(cè)試方法：針對(duì)IUT運(yùn)行ETS，檢查是否記錄了每個(gè)正在執(zhí)行的測(cè)試用例的所有輸入和輸出。如果constraint的值為‘true’，則測(cè)試通過(guò)。GB/TXXXXX—202X/ISO19105:2022(E)參考：/req/report/ResultAuditabilityA.5.6一致性測(cè)試是可重復(fù)的測(cè)試id：/conf/report/ResultRepeatability測(cè)試方法：對(duì)同一IUT運(yùn)行可執(zhí)行測(cè)試套件兩次，檢查兩個(gè)結(jié)果是否相同。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/report/ResultRepeatabilityA.5.7一致性測(cè)試具有可比性測(cè)試id：/conf/report/ResultComparability測(cè)試方法：在不同的測(cè)試實(shí)驗(yàn)室針對(duì)相同的IUT運(yùn)行可執(zhí)行測(cè)試套件，檢查兩個(gè)結(jié)果是否相同。如果constraint的值為‘true’，則測(cè)試通過(guò)。參考：/req/report/ResultComparabilityGB/TXXXXX—202X/ISO19105:2022(E)附錄B（資料性）樣式構(gòu)造的實(shí)例模板B.1一致性條款模板示例一致性條款模板可以如下：本文件標(biāo)準(zhǔn)定義了n個(gè)一致性等級(jí)：——“C1”（規(guī)范目標(biāo)：目標(biāo)T1——“C2”（規(guī)范目標(biāo)：目標(biāo)T2——...；——“Cn”（規(guī)范目標(biāo)：目標(biāo)Tn）。聲明符合本文件的規(guī)范、標(biāo)準(zhǔn)、測(cè)試套件或測(cè)試工具應(yīng)實(shí)現(xiàn)與該規(guī)范目標(biāo)相關(guān)的一致性類。應(yīng)使用本標(biāo)準(zhǔn)附錄X中規(guī)定的所有相關(guān)一致性測(cè)試案例來(lái)評(píng)估與本標(biāo)準(zhǔn)的一致性。表j提供了一致性類URI。其中Ci為一致性等級(jí)，Ti為規(guī)范目標(biāo)，X為附錄順序，j為表順序。第5章中顯示了一個(gè)示例一致性條款，其中包含描述性文本和格式化表格。B.2需求模板示例需求模板如下：需求i/req/reqcls/req需求聲明依賴：{URIs}其中，i為需求順序，reqcls為需求類名，req為需求名，Requirementstatement為規(guī)范性需求語(yǔ)句，{URI}為依賴需求類。第8章、第9章和第10章中編號(hào)為1至30的要求是格式化要求聲明的示例。B.3抽象測(cè)試套件模板示例抽象測(cè)試套件模板可以如下：本附件規(guī)定了一個(gè)抽象測(cè)試套件（ATS），任何聲稱符合本文件的實(shí)現(xiàn)都應(yīng)通過(guò)該套件。下面的需求標(biāo)識(shí)符是相對(duì)于<URI>。其中URI是標(biāo)準(zhǔn)/規(guī)范的URI。在本文件的附件A中可以找到一個(gè)示例。B.4抽象測(cè)試用例模板測(cè)試id：/conf/confcls/test測(cè)試目的：測(cè)試目的測(cè)試方法：測(cè)試目方法參考：/conf/reqcls/req其中confcls為一致性類名，test為一致性測(cè)試名，Testpurpose為測(cè)試目的描述，testmethod為測(cè)試方法描述，reqcls為需求類名，req為需求名。GB/TXXXXX—202X/ISO19105:2022(E)在本文件的附件A中可以找到一個(gè)示例。GB/TXXXXX—202X/ISO19105:2022(E)附錄C（資料性）UML模型基于OGC08-131r3概念模型修改，以便在本附錄中使用，以更好地理解模塊化規(guī)范。適用規(guī)范包含需求類和相應(yīng)的ATS，ATS由測(cè)試相應(yīng)需求類的一致性類組成。需求類中的需求都共享相同的規(guī)范目標(biāo)。根據(jù)至少一個(gè)抽象測(cè)試用例測(cè)試需求。ETS源自相應(yīng)的ATS，并針對(duì)IUT執(zhí)行，以檢查ICS的URI中提供的聲明能力是否得到正確開(kāi)發(fā)。一致性測(cè)試結(jié)果用于導(dǎo)出IUT的一致性測(cè)試報(bào)告。參見(jiàn)圖C.1中的UML模型。圖C.1UML模型GB/TXXXXX—202X/ISO19105:2022(E)附錄D（資料性）URI結(jié)構(gòu)D.1規(guī)范性聲明模板：網(wǎng)址/標(biāo)準(zhǔn)號(hào)/-[partNumber]/editionNumber/statementType/nsClassId/nsId。來(lái)源：——標(biāo)準(zhǔn)號(hào)：標(biāo)準(zhǔn)的主要編號(hào)，如“19115”；——部件號(hào)：對(duì)于有多個(gè)部分的標(biāo)準(zhǔn)，如“-1”。如果標(biāo)準(zhǔn)沒(méi)有部分：“-”；——版本號(hào)：ISO官方版本號(hào)，如“1”；——聲明類型：req（requirementrec（recommendation）或per（permission——nsClassId：規(guī)范聲明的類ID；——nsID：規(guī)范聲明的內(nèi)部ID。例子：ISO19131第2版要求類“內(nèi)容”中要求“范圍”的URI：</19131/-/2/req/content/extent>。注1：文檔的版本號(hào)放在語(yǔ)句類型之前，以便為一個(gè)版本中的所有語(yǔ)句啟D.2一致性類和測(cè)試模板：/標(biāo)準(zhǔn)號(hào)/-[partNumber]/編輯號(hào)/conf/lassId/TestId。來(lái)源：——標(biāo)準(zhǔn)號(hào)：標(biāo)準(zhǔn)的主要編號(hào)，e.g.“19115”；——部件號(hào)：對(duì)于有多個(gè)部分的標(biāo)準(zhǔn)，如“-1”，如果標(biāo)準(zhǔn)沒(méi)有部分：“-”；——編輯號(hào)：ISO官方編輯號(hào)，e.g.“1”；——類Id：一致性類的類ID；——測(cè)試ID：一致性測(cè)試的類ID（僅用于一致性測(cè)試）。例子：ISO19131第2版中一致性類“內(nèi)容”中一致性測(cè)試“allContent”的URI：</19131/-/2/conf/content/allContent>。注1：文檔的版本號(hào)放在conf之前，以便為一個(gè)版本中的所有一致性類啟GB/TXXXXX—202X/ISO19105:2022(E)附錄E（資料性）一致性測(cè)試報(bào)告示例E.1OGCTEAM引擎一致性測(cè)試報(bào)告在OGC中，實(shí)現(xiàn)規(guī)范文檔包含一個(gè)帶有抽象測(cè)試套件（ATS）的附件，其中包含一個(gè)需求的測(cè)試規(guī)范。與需求類同步，這些測(cè)試被分組到一致性測(cè)試類中。這些測(cè)試是抽象地表述的，因?yàn)樗鼈冎唤o出了高級(jí)描述；一個(gè)具體的可執(zhí)行測(cè)試套件（ETS它是用合規(guī)性測(cè)試語(yǔ)言開(kāi)發(fā)的，代表ATS的可執(zhí)行副本。OGC的測(cè)試、評(píng)估和測(cè)量TEAM引擎（）運(yùn)行此ETS并測(cè)試相應(yīng)的實(shí)現(xiàn)[9]。參見(jiàn)圖E.1中的示例。圖E.1OGC團(tuán)隊(duì)引擎的樣本測(cè)試報(bào)告E.2INSPIRE參考驗(yàn)證器（ETF）的一致性測(cè)試報(bào)告INSPIRE是一項(xiàng)歐洲指令，旨在為歐盟環(huán)境政策和可能對(duì)環(huán)境產(chǎn)生影響的政策或活動(dòng)創(chuàng)建歐盟空間數(shù)據(jù)基礎(chǔ)設(shè)施（https://inspire.ec.europa.eu/）。INSPIRE為基礎(chǔ)架構(gòu)中的組件應(yīng)遵守的數(shù)據(jù)、元數(shù)據(jù)和web服務(wù)定義規(guī)范（技術(shù)指南）。規(guī)范的抽象測(cè)試套件在/inspire-eu-validation獲得。實(shí)現(xiàn)抽象測(cè)試套件的可執(zhí)行測(cè)試套件可在以下位置獲得/inspire-eu-validation/ets-repository。帶有ETS的測(cè)試工具可在https://inspire.ec.europa.eu/validator/about/在線獲取。圖E.2是INSPIRE參考驗(yàn)證器在元數(shù)據(jù)記錄上創(chuàng)建的測(cè)試報(bào)告示例。ETF軟件使用更細(xì)粒度的狀態(tài)值，這些值映射到三個(gè)判定值通過(guò)、失敗、不確定，如表E.1所示。測(cè)試報(bào)告中使用的顏色代表判斷結(jié)果。綠色是“PASS”，紅色是“FAILED”，黃色是“PASSED_MANUAL”。GB/TXXXXX—202X/ISO19105:2022(E)圖E.2一個(gè)元數(shù)據(jù)的ISPIRE參考驗(yàn)證器的測(cè)試報(bào)告表E.1判定映射規(guī)則一個(gè)測(cè)試用例擁有狀態(tài)為PASSED_MANUAL如果至少有一個(gè)狀態(tài)值為SKIPPED因?yàn)镚B/TXXXXX—202X/ISO19105:2022(E)附錄F（資料性）整體綜合性評(píng)價(jià)結(jié)果F.1真值承載命題真值承載命題可用于表達(dá)整體綜合性評(píng)價(jià)結(jié)果。一個(gè)語(yǔ)句的三個(gè)可能真值，即T、F和U，遵循三值邏輯，該邏輯具有兩個(gè)或多個(gè)由邏輯與（“與”）和或（“或”）運(yùn)算符連接的語(yǔ)句。這樣的邏輯表達(dá)式由以下語(yǔ)法表示：其中S是真值，Exp是邏輯表達(dá)式。F.2測(cè)試結(jié)果綜合評(píng)價(jià)一個(gè)語(yǔ)句有三個(gè)可能的真值，即“通過(guò)”、“失敗”和“不確定”，遵循三值邏輯。三個(gè)評(píng)估假設(shè)可用于評(píng)估“不確定性判決”：開(kāi)放世界假設(shè)（OWA）、封閉世界假設(shè)（CWA）和存根假設(shè)（SA）。開(kāi)放世界假設(shè)（OWA）指出，未包含在系統(tǒng)中明確記錄的知識(shí)中或未從系統(tǒng)中明確記錄的知識(shí)中推斷出的判決的真值應(yīng)被視為不確定的。封閉世界假設(shè)（CWA）是假設(shè)任何未知為真的陳述都是錯(cuò)誤的。在存根假設(shè)（SA）中，當(dāng)結(jié)果不可用時(shí)，始終假設(shè)依賴一致性類為真。在Kleene的邏輯中，如果兩個(gè)操作數(shù)都是T，則合取的值產(chǎn)生T，如果其操作數(shù)之一是F，則產(chǎn)生F，否則產(chǎn)生U。如果其操作數(shù)之一是T，則析取產(chǎn)生T的值，如果它的兩個(gè)操作數(shù)都是F，否則U.Kleene的方法是開(kāi)放世界假設(shè)。這種方法在三個(gè)假設(shè)下得到擴(kuò)展；參見(jiàn)表F.1中未知結(jié)果的邏輯假設(shè)和表F.2中使用CWA和SA的Kleene邏輯的邏輯運(yùn)算的擴(kuò)展真值表。表F.1—對(duì)未知結(jié)果的邏輯假設(shè)UFUUUT表F.2—帶有CWA和SA的Kleene邏輯的擴(kuò)展真值表PQTTTTTTTTTUFUTTTTTFFFFTTTUTFUTTTTGB/TXXXXX—202X/ISO19105:2022(E)PQUUFUTFUTUFFFFFUTFTFFFTTTFUFFFFUT表F.2—帶有CWA和SA的Kleene邏輯的擴(kuò)展真值表（續(xù)）PQFFFFFFFFGB/TXXXXX—202X/ISO19105:2022(E)參考文獻(xiàn)[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