本标准适用于POSIX标准依从性测试方法的开发和使用。本标准中确定的通用测试方法应与为某个特定标准所规定的测试方法结合使用。 GB/T 17548-1998 信息技术 POSIX 依从性的测试方法 GB/T17548-1998 标准下载解压密码：www.bzxz.net

GB/T17548—1998
本标准等同采用国际标准ISO/IEC:13210:1994%信息技术POSIX依从性的测试方法》。由于国际标准是直接采用了美国国家标准ANSI/IEEE 1003.3.根据我国国情，本标准删去了IEEE1003.3的引言部分和索引部分。另外关于附录A和附录B的性质问题，原文前后不统,本标准将附录A和附录B都定为提示的附录。除L述外，本标准与国际标准在技术内容上是完全一致的。本标准的附录 A和附录 B是提示的附录。本标准由中华人民共和国电子工业部提出。本标准由电子T.业部标准化研究所四口。本标滩起章单位，中国计算机软件与技术服务总公司。本标准主要起草人：而庆余、玉桂兰.黄民德、冯惠。..comGB/T 17548—1998
ISO/IEC前
ISU(国际标准化组织）和IEC(国际电工委员会）是世界性的标准化专门机构。国家成员体（它们都是ISO或IEC的成员国）通过国际组织建立的各个技术委员会参与制定针对特定技术范围的标准。ISO和IEC的各技术委员会在共同感兴趣的领域内进行合作。与ISO和IEC有联系的其他官方和非官方国际组织也可参与标准的制定工作在信息技术领域中，IS）和IEC建立了一个联合技术委员会，即ISO/IECJTC1由联合技术委员会接受的标准草案需分发给国家成员体进行表决。发布一项标准，至少需要75%的参与表决的国家成员体投票赞成。
国际标准ISO/IEC13210是由ISO/IECJTC1\信息技术\联合技术委员会SC22\程序设计语言及其环境和系统软件接口”分委员会制定的。附录A和附录B仅提供参考信息
..com1概述
1.1范围
中华人民共和国国家标准
信息技术POSIX依从性的测试方法Information techuology-Test method formeasuring conformance to POsIxGB/T17548—1998
idt ISO/IEC 13210:1994
本标准适用于POSIX标准依从性测试方法的开发和使用。本标准中确定的通用测试方法应与为某个特定标滩所规定的测试方法结介使用。本标准旨在供并发 POSIX 标准测试方法的工作组,PCOSLX测试方法的开发者和使用者使用。本标准的且的是定义对某个实现的POSIX依从性做测试断言和开发相关的测试方法的通用规则。这些测试方法可以包括;POSIX依从性测试套,[OSIX依从性测试规程和POSIX依从性文档的审核。对某个实现的POSIX标准依从性测试包括测试该实现所声称的符合本标雅要求的能力和行为，这些测试方法肯在提供一种合理所实际的保证,使得该实现符合本标准。但这些测试方法的使用不能担保某个实现就一定符合本标准。要保证这种依从性，通带需要进行穷举测试（见4.2.1),而穷举测试无论在技术工，还是在经济上都是做不到的。1.2引用标准
下列标准所包含的条文，避过在本标准中引用而树成为本标准的条义。本标准出版时，所示版本均为有效。所有标准帮会被修订，使用本标准的各方应探讨使用下列标准最新版本的可能性。GB/T11457—1995软件工程术语
GB/T14246-1一1993倍息技术可-移植的操作系统界]第一部分：系统应用程序界而POSIX. 1(idt IS0/IEC 9945-1:1990)2 术语和一般要求
2.1约定
在本标准中所使用的排版约定是：（1）斜体型用于：
在使用中通常用实值替代的参数（可选变元和操作数）；语言数据类型和函数名：
全局外部变量名。
（2）黑体字型用」；
测试结果代码；
·断言类型的分类。
3）宽字型用于：
描述所讲到的实际使用的系统的输入输出示例一对实用程序名和语言标题的引平。(1）由各种函数返回的符号ermu名，表示为_符号_名]（ymbolic：_name)。国家质量技术监督局1998-11-05批准1999-06-01实施
GB/T 17548—1998
(5）符号常数限制，表示为(符号_常数_限制(_symbolic_constant_limit])。（6）符号常数选择项，表示为(选择项_名([Option_name])。（7）作为带标号的表和图形的组成部分的注释，是本标准的组成部分（规范性的）。而在正文内的脚注和其他注释只足提供信息(参考性的)。（8）通常使用小写字母的定义名，特别是函数名，决不要放在句首或按规则的英文语法要求使用大写字母的任何方。
表 2-1 排版约定
引用内窖
C语言前导文件(CL.angungeHeader）命令名(Cummend Nanme)
命令选项(CommanOprinn）
带变元的命令选项(Command Option With Argument)数据类型(Irata Types)
楚义术语(De[inr:d Terms)
环境变量(Environment Variables)错号(Error Number)
文卷名(File Name）
函数变元声明(Function Argument Ieelaratian)）随数变元(Hunction Argumcnt)
函数声明(Functiun Deelaration)函数名(Function Naune)
全局外部变量(Glahal Exlcrnal)依赖于现的限制(Implemeniatian-dependent Lirnit）元变量（Mev&risble）
操作数（）
输出（utput）
参数（Pataneters）
特殊字符(Special Churacter)
符导常数限制变量（Variable）
-w widih
［EINTR]
fllename
extern unsigned long int
int fstet (int fides ,struct stat +bur )+funcr
(MAX_INPUT)
File_ mame
idirectory patname>
ILINK_MAX:
_ POSIX _JOB_CONTROL)
Table G
r_arrme
(9）诸如，≤等数学符号仅能用在公式、断言分类赋值以及条件断言前面的条件从句中。（10）在某些情况下，列表信息呈“直线\排列成行，而在另一些情况下，则是些单独标号的表。这种安排纯系为了方便排字,这两种情况之间没有规范性的差异。（11）上面列举的约定只是为了容易阅读。在本标准的排版编辑中出现的前后不一致的地方不是有意的，不具有规范性质。
表2-1是对排版约定的总结。
2.2定义
2.2.1术语
本标准采用下述定义：
2.2.1.1可以may：测试方法的逃择。在本标准中,不必(need not)用作可以(may)的否定。2.2.1.2应shall;测试方法的一项要求。2.2.1.3它should：建议的一种测试方法2.2.2
“般术语
本标准采用下述定义：
2.2.2.1断言assertion
GB/T 17548—1998
对一个POSIX单元(element)的功能或行为的-项陈述，它是由将被测试的POSIX标推得出的它对于符合POSIX的实现为真。www.bzxz.net
2.2.2.2 断言号 assettiun numbet赋给一个断言的数字标识符。单元名和断言号结合起来共同唯一地标识某个断言。2.2.2.3断言测试assertion test为确定---个POSIX实现是否符合某个断言而采用的软件或过程性方法。2.2.2.4基本断言base asscrtion需要对所要求的特征和已实现的条件特征进行测试的一个断言。2.2.2.5条件特征conditional feature在POSIX标准中涉及到,并非所有的实现必须具有的某个特征或行对。2.2.2.6开发系统development system用于编译和配置POSIX 依从性测试套(PCTS)的计算机系统。2.2.2.7单元element
功能接口或名字空问的分配，单元的例子如:C函数或实用程序。名字空间分配的例子包括前导文件或出错返画值带数。
2.2.2.8扩展断言extended assertion一种不需要测试的断言。
2.2.2. 9 POSIX 依从性文档(PCD) PUSIX Conformance Document (PCD)POSIX标准要求的依从性文档。
2.2. 2.10 PUSIX 依从性测试规程(PCTP) POSIX Conformance Test Procedure (PCTP)进行依从性测试时，可能与其他测试方法起使用的-些非软件规程。2.2.2. 11 POSIX 依从性测试套(PCTS)POSIX Canfornance Test Suite (PCTS)进行依从性测试时，可能与进行依从性测试的其他测试方法一起使用的软件巢。2.2.2.12要求的特征required featureCOSIX标准要求“个具有依从性的实现必需具备某个功能或行为·或者具备一对可选用的功能或行为中的一个。
2.2.2.13日标系统targetsystem执行PCTS的计算机系统与产生PLTS可执行代码的开发系统的若干部分的结合。2.2.2.14 测试方法test method为了测试依从性而由FOSIX标推规定的软件，规或其他手段。测试方法可以包括PCTS,PCTP或对 PCD 的审核。
2.2. 2. 15测试结果代码
testresult code
描述断言测试结果的值，
2.2.3缩略语
下列缩略语适用于本标准：
IFEE(The Institute orElectrical and Electronies Engineers），美国电气与电子工程师学会PCD(POSIX Conformance Document):POSIX 依从性文档PtTP(POSIX (onformance Test Irocedures);POSIX 依从性测试规里PCTS(POSIX Conformance Test Suite):POSIX 依从性测试套POSIX,POSIX.n；对POSIX系列标准的通称POSIX.3:本标准
3对本标准依从性的测试方法
3.1浓从性准则
GB/T 17548—1998
符台POSIX.3的测试方法应遵从下列各项准则：一这些测试方法应将它们符合的POSIX.n测试方法规范写成支挡一这些测试方法应对要进行依从性测试的POSIX标准的要求的特征和已实现的条件待征进行基本断言测试。若某个断言列出了一组实例(通常用\or\分隔开),则应对每个实例进行断言测试。—PCTS应尽可能由自动断言测试所构成。一PCT'S文档应包括与安装、配置利执行PCTS有关的一切信息一需要时，测试方法文档应包括实现PCTS和对PCD审计的细则。…-·测试方法文挡应说明怎样实施采集和解释测试结果一一其他附如准则应在可以实施的 POSIX.n 标准中加以规定。4测试级别和复杂性级别
原则上讲，依从性测试的目标就是要确定被测的实现是否符合有关标准中的规定。实际存在的限制因素使人们不可能进行穿举洲试，许多经济方面的考虑还可能对严格的测试有更大的限制。在测试方法的设计和开发过程中，这些限制的存在使得单元复杂性级别将决定满足依从性要求的谢试的级别。
闪此，本标准按照给出的依从性范围，划分为三种要的测试级别和三种主要的单元复杂性测试级别。
三种主要的测试级别是：
一穷举测试
—-详细测试
·鉴别测试
三种主要的单元复杂性级别是：一简单单元
一一中等单元
一复黎单元
4.2测试级别
4.2.1穷举测试
举测试寻求验证一个单元的各个方面的行为，位括所有的置换情说。例如：对某个给定的用产命令的穷举测试，应当要求测试该命令的不带选项的情况、带每种选项的情况、带每对选项的情况等等，直到对所有的可选择项的各种置换情记部测试完为止。各种命令选项和置换情况很快会达到，个层大的，在现实的时间内难以完成测试数月。举一个概子·在P(OSIX.1中约有 37个不同的出错情况。-种差错的发生往往可能影响对另个差错的正确偿测。37个差错的穷举测试不仅要求对每个差错进行一次测试·而且要对这些差错的每个可能的曾换情况都测试一次。因此，不是测37次，而要测几十亿(2的37次幂)次。闪此，穷举测试通常是不时行的。4.2.2详细测试
详细测试是穷举测试的一种替代方法。详细测试力求验证一个单元的各个方面的行为，但并不测试所有的既换情况。例如，对某个给定的命令进行详细测试，首先应测试该命令不带选择项情况，然后一个个地测试每种带选项的情况，也可以测试可能的选项组合。GB/T17548—1998
前面假设的例子有37个出错情况，详细测试可能需要进行38次测试，这是一个可操作的数日。详细测试是一种可行的解决方案。在对大量的单元个个进行测试的过程中.可以同时测试子单元的某些组合。
在这个讨论中要考虑到出每个软件单元的规范导出的断言的数日。详细测试的日的是要测试在孤立的情说下各个方面的功能，因而比穷举测试要可行得多。但当：个单元的各方面功能的数量很大时，详细测试也是不大可行的。因而定义了第兰级的测试。4. 2.3鉴别测试
鉴别测试力求验证被溯单元的一些特色特性，它包括对该单元进行某种粗略的检查，以最小命令语法调用该单示,并验证它的最小功能，例如，对某个C语言编译程序的些别测试会将这个C编译程序与系统的另·种语言的编详程序区别开来，但不必与本系统中的或者另一系统中的其他C编译程序区别。鉴别测试不要求验证C编译程序手册中规定的所有的语法和功能。对某个编译程序的适当的鉴别测试，应当是验证建立C编译程序的待色特征所必须的最小程序结构。4.3复杂性级别
4.3.1简单单元
简单单元是在对该单元的描述中已完企定义了的单元。简单单元只有几个要测试的断言，而且其助能与P()STX标准中定义的其他单元尤关。简单单元的例子包括在PUSIX.2中规定的cat实用程序和在PCISIX.1中规定的rlase（）函数。对简单单元应进行详细测试。4.3.2中等单元
中等单元是具有中等数日的断，并可依赖POSIX标推中定义的其他单元的功能。中等单元的例子如PCSIX.2规定的gr邮和sed实用程序，这些程序除支持正则表达式之外还支持其固有的劫能。详细测试应当是中等单元的日标，但有些情况下可能是不可实现的。4.3.3复杂单元
复杂单元是那些实现某种语言、依赖中等单元的功能或对硬件有影响的单元.详细测试一般需要进行数最很多的断言测试。复杂单元的例了如 POSIX.2中规定的 sh和awk 实用程序，它们实现正则表达式和某种语言。对复杂单元，详细测试只能用手测试该单元的某些特殊方面。4.4结论
每个单元的功能是根据测试级别和单元复杂性级别的定义进行分析和评价的。由于选项，事件和事件计时的可能组合数相当大，因而通常不能进行穷举测试。根据详细测试定义的非止则性·测试的详细程度应因PCTS的不同而异，在一个PCTS里，断音不同，测试的详细程度也不问。PCTS的实施者必须对此做出选择，精确地定义推荐测试的级以及取消这种自由度不属丁本标谁的范圈。5断盲分类
5.1分类方法
每种断言必属于表 5-1中2×2矩阵表示的四种类型之—。表5-1断言的分类
基本断言
要求的特征
条件等征
扩展断言
断言矩阵的行对应于该PUSIX特征是要求的还是条件的（见2.2.2)。该断言矩阵的列对应汀对该..comGB/T 17548—1998
断言是否要进行测试。不--定需要测试的断言为扩展断言。鼓励在可能的条件下并发扩展断言的断言测试。
在某些悄况下，可以建立·断言测试，它只是部分地、而不是全部地测试一个扩展渐言。例如，依从性检测失败有时是可能的·但不可能所有情说下都失败，所有检测失败的断言测试都应对该断言产生FAIL测试结果代码（见第7章）。对断言进行不充分的断言测试和在系统中正完成测试、但未检测出系统故障的断言测试，都应返回UNTESTED测试结果代码。把断言归类为扩展断言的理由如下；理由1：对这种断言尚没有可移植的测试方法。理由2；对在POSIX标准中的相应声明要进行依从性测试，但其特殊性尚不足以编写可移植的测试
理由3：对这种断言尚没有可靠的测试方法。理由4这种断言测试需要建立规程，而这些规程包括需要某个测试方法的用广付出过多的努力。理由5：这种断言测试在多激系统上都需要花费过多的时间和资源。理由6：建立·-种断言测试将需要过多的测试开发时间。埋由7：这种断言测试可能对某种测试方法的完成有不利影响不属于扩展断言的断言为基本断言。对要求的特征和实现条件特征的基本断言都应进行测试。因此，每个断言属于下列四种类型之一：（A）要求的特征的基本断言。
(B）婴求的特征的扩展断言。
(C）条件持征的基本断言。
(1))条件特征的扩展断言。
6断言编写
本章说明应当怎样编写POSIX标准中的测试断言。6.1断言确定
断言是为与实现有关的POSIX标准中每个定义性声明编写的.设计相应的断言测试是为了确定该市明对丁该实现是真(true)还是假（lalse）。POSIX标准通常是以平叙的力式编写的，因而通常不能直接从POSIX标准拷贝某个声明。每个断言都应是一个独立.的声明。对遵从标准的实现.断言的用词都应使ASS作-个依从性实现的结果代码（见第7章）.
在标准中，一个定义声明是含有或隐含“应”“宜”或“叮以\的一个声明。本章描述在一个POSIX标准中怎样解释使用“应\，“宜\和\可以”的声明，以使其相当于个断言。被某个POSIX.n标准取代的情说例外。
在POSIX标推中，一个声明若适用十该实现，它或包括有“应”·或是隐含若助动词\应\的“个声明语句.它就被解释为对该实现的一个要求。这个声明本身·或者它与其他定义性声明相结合，就相当于一个断言。
一个声明若适用于该实现的一个条件特征，使用了助动词\宜\或\可以”，或者隐含有助动词\宜”者“可以”,如巢该实现支持该选择,则该声明解释为对该实现的一个要求这样一种声明牛身或它与其他定义性声明相结合,就相当于一个断言。如果一个声明仅限于对某个实现的用法，而不涉及实现内容本身，则无断言可写。如果-个声明使用助动诃\宜”或“可以”是对程序员的种警告，或是对实现的建议.该声明也无断可写，
6.2断言结构
6.2.1 断言部分
GB/T17548-1998
个断言有二个部分：断言号、断言类别和断言的实际,文本。6.2.1.1断言号
在个特定单元的断言集内,给每个断言分配了个唯的断言号。断言应当与在POSIX标准中的相应声期的饮序相同。在每个单几中，断言要从1开始按顺序编号新的或者修改过的断言，应从下一个可用的编号开始按顺序编号。如果对断言表的够改导致某些空闲不用的断言号,则在断言表居部的每个断吉的前面冠以短语“已不使用的断号：“，以指示出这些空闲不用的言号。
6. 2. 1. 2 断言类别
如同书写一个许语句那样，如果一个断言对应于基于条件特征的一个声明,则该断言为C类的或1类的!否则为A类B类断言，
如果个断对应于可用某种合理的时间和工作墩通过可移植的 PCTS测试的一个声明,则该断为基本断音（A类或C类)否则为扩展断言(B类或D类)。之所以为扩展断言,其埋由已在第5章中列出。
对大多数断言而言断言类别只有A,B,C和D类(第5章中的钜阵),有时候，一个断言是基本断言还是扩屡断取决于对该被测实现的限定符是为真。在这些情况下，断言类别写成(QI)AI.IFIER? A:B)或(QUALIFIER? C:D)。在第一种情况下，若QUALIFIER为真，则所需的断言为A类（基本断言);否则为B类（扩展断言）。在第“种情况下,荐QUAIL.IFIER为真.则带条件特征的该断言为C类（基本断言）：否则为D类（扩展断言）。
6. 2. 1.3断言文本和例子
每个断言的实际文本都遵循本节中描述的结构中的一种。最倚单的断言是-个简单的声明。例如：
0I(A）天空是蓝色的。
若断言需要环境处于某种特定状态,则要他含有一个当(When)从句,其后跟则(then）。例如：
02（A）当（When）没有云时，则(then）天空是监色的。君断言针对某个条件特征，则岩(If)从句含带有条件的POSIX特性·其后而限冒号（:)。例如：
03(C)若(If)实现提供与C标准语旁有关的系统支持天空是蓝色的。
在针对某个条件特征的断言需要环境处丁特定状态的情况下，要将上述种结构结合起来，例如：
01(C）若(If)实现提供与C标推语言有关的系统支持：当（Whcn)没有云时.则(thcn）)天空是蓝色的。如果断言针对某个要求的特征·而该实现的某个特定条件是否为真时该要求的特征具有不同的特性，则用若.-否则(IF---Orherwise）结构，并且该断言为A类或B类。例如：
05(A）（If)支持与_POSIX_OB_CONTROL)有关的特性：关空是蓝色的。
否则（Otherwise）：
天空是灰色的。
GB/T 17548—1998
当断言的类别取决十实现的某个特征时，则使用个限定符。下是一个条件断言的例子，其中用个限定衍来确定该断言是基本断音还是扩展断言。例如：
06(I_POSIX_JOB_CONTROL)?C.D）若(If)实现提供与C标准语言有关的系统支持：天空是蓝色的
如果在同一章比定义的多科功能之间的特征或行为相类似，则允许用对于(For)结构来维护在各功能市的断言号的依从性。
例如：
07(）对于(For)地球（
若(If)该实现提供C标准语言的系统支持：当（Wlen）无云时，则(then)天空是蓝色的。对于(For)月球（）：
若(IF)该实现提供C标准语言的系统支持：当(When)尤云时,则(then)天空是黑色的。当实现的某一方面取决于两种或更多的条件特征时，则将该断言写成多个断言，以包括这些条件特征的各种可以适用的组合。
例如：
08(C）若(IO)支持通用的终端接口和与_POSIX_JOB_CONTROL)有关的行为：天空是蓝色的，
D9(C）若(If)不支持通用终端接口和与（_POSIXJOB_CO)NTROIi有关的行为：无空是灰色的。
1((C）若(ID)支持通用终端接口而不支持与_POSIX_JOB_CONTROL)有关的特性：天空是黑色的，
若某个断言基于一个人得难以测试的值,或者按照POSIX标准是一个不确定的值,则在该断言中使用一个用\PC.TS\字符审打头的符导，代表对该值的测试限制，该断言描述对基于“PCTS_\符号值的特征的期望特性。PCTS 使用这个符号以确定该断言的期望特性，例如：
11(A）若(I)(OPEN_MAXE定义，且(OPEN_MAX)否则(Othcrwise）：
人空是然色的：
当某个断言需要许多测试以求详尽地测试该断言时则提供-份清单或表。列出最小测试需求，例如：
12（A）天空有黑色、白色、水蓝色和灰蓝色四种颜色，或者：
12(A）天空在天内变化颜色，如丧61所示。表 6-1变化的天空
水蓝色
灰蓝色
当 POSLX标准中的一个声明规定一组独立的、可选择的设置条件：而其中有些条件不能成文时，则GB/T 17548 1998
要写成两个断言。对于能够成立的条件写个基本断言。对于不能成立的条件写一个扩展断言。例如：
i3（B）当（Whcn)中午时，或当地球被某个小行碰撞时，系统打印：“Hellothere”。分成下面两个断言：
18（A）当（When)中午时，系统打印，\Hello there\。14(B）当（When)地球被某个小行星硅撞时.系统打印：\Hello there\。6.2.1.3.1—般断言
一般断言为山POSIX标准导出的行为或功能的声明，这些声明适用于多个单元，井对每个适用的单元扩展成·个特定的断言。般断言写成GA#，这里的#是从1开始的一个整数。每个POSIX标准中的廿值都是唯一的。一般断言不分类别。由一般断吉导出的每个断言都包含有一个对导出该断言的一般断言的引用。
例如：
GA1当(When)按下某个特定键时，系统停止。对丁BREAK键单元，该断言变成下而的断言：15(A）当(Whcn)按下 BREAK 键时,系统停止(观 GA1)。6.2.1.3.2参考断言
参考断言写作R,此处并是一个从1开始的整数，且#的值在每个单元的描述巾是唯-一的。参考断言不分类。参考断言包含指向实际逝言的指针。例如R01当（When)头项上儿云笼罩时，则大空是蓝色的。（见6.2.1.3中的断言1、2）6.2.1.3.3测试需求
当某个断言可能具有歧义性或可能被错误地解释时，则在该断言后面添加-个测试需求声明，以讲清楚这个断育。当想增加某个断言的精确度，结果却只能增加它的歧义性和模糊因素时，才需要对断言添加精确的描述。
例如：
l6(A）当（When）云笼睾着天空时，天空是灰色的。测试需求：
对熙色，白色、水蓝色和灰蓝色的初始天空颜色进行测试。6.2.1.3.4不用的断言号
“不用的断言号：廿一\表示该断言号不再有效,因为该被测标中的措间已经改，或者原来确定的断宫不正确。
6.2.2断言格式
本条用止式的现格说明定义断言的内容。这种正式的规格说明用来保证断言结构定义的清晰度和推确性。这将有利于为未来的测试方法工作纽在定义断言时保持一致性。在规定断言格式的正式规格说明中使用下列规则：（1）变名是用大写字母和数组成的一个单词。(2）变量的定义是由一个变量名及其后而的符：：一和定义所组成。（3）一个定义电儿组有序变量，文定和变量文本组成。（4）加引号的（“”)的字符串为文学，应在断言中作为特殊的内容精确地使用。（5）一个变量可以具有多个定义。符号1用来表示可选择性。（6）变量文本由大写和小写字母的不带引号的短语规定所有的撕言的编写格式应与在6.2.2.1及6.2.2.2中规定的语法利规则相一致。6.2.2.1断言格式语法
..comASSERTION:: -
CLASS:: -
CLASSLETTER:: -
CLASSPAIR::
STATEMENT:: -
MAINSTATEMENT:: =
A3:: =
A4:: =
STATE:: -
NEXTSTATE::=
NEXTCONDITION:: -
ATEXT::=-
ICTEXT:: -
SCTEXT:: =
GENASSERT:: -
REFASSERT:: -
FORSTATEMENT::-
ELEMENTLIST:: -
6.2.2.2断言格式规则
GB/T 175481998
Number \(\CLASS “}\ STATEMENT GENASSERTIREFASSERT
CLASSLETTER IIICTEXT \?\ CLASSPAIR\A\ \b\\C\ : \D\
\A.B\ \C,D\ CL.ASSI.FTTER \, UNUSED\MAINSTATEMENT FORSTATEMENT
ATEXT|AlATEXT IlAI ATEXT \Othcrwisc\A1 A-TEXTA2ATFXF
A3 A3\when\ SCTEXT NEXTSTATE\then\*when\ STEXT NEXTSTATE \then\\IF\ ICTEXT NEXTCONDITION\\NUI.i. II STATE\then\
\when\SCTEXT NEXTSTATE
NULL：“and\ SCTEXT NEXTSTATE}\or\SCTEXTNEXTSTATE
NULL :“and\ ICTEXT NEXICONDITIONAssertinon lext
Implementation Cundition textState Condition text
\GA\ Number STATEMENT
\R\ Number STATEMENT
\FOr\ ELEMENTLIST \\ MAINSTATEMENT FORSTATEMENT blankline\For\ ELEMENTLIST “;\MAINSTATEMENT
Element name [Element atne\,\ ELFMENTLIST（1）对于A类和B类断言，若”(IF)后面必须总跟着\否则\（)thcrwisc）。(2）C类和I)类断言必须以“\（If)开头：（3）对于C类和D类断言一定不使用\否则\（)therwise）。（4）从～般断言（GENASSERT)导出的断言必须包括个对-般断言的引用，采用放在MAIN-STATEMENT 后面(见 6 2.1.3.1)的格(见在 x.y.z中的 GA升),（5）个引用断言(REFASSERT)必须包括有一个指针，采用将断号（见在x.y.2中的断言号#)放在 MAINSTATEMENT 后面的格式(见 6. 2. 1. 3. 2)。（6）测试需求应放在MAINSTATEMENT后面，并在前面空1行（见6.2.1.3.3)。7断言测试输出
7.1测试结果代码
断言测试执行完后·将从充分的输出中得到下列信息：被测试的单元名
被测试的断言号：
相应的断言是基本断言还是扩展断言；测试结果代码。
有两种类型的测试结果代码：最终结果代码和中问结果代码。
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。