用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 > 首页 > 术语细览

修正约束

标准号:GJB 2765.3-98   标准名称:数据网协议一致性测试树表组合表示法       1996-10-03

基本信息

【名称】 修正约束
【英文名称】 modified constraint
【定义】 一个为ASP或PDU定义的约束,它是在原来已有的基本约束中做一些修改而得到的。

同源术语

·抽象服务原语
·抽象测试方法学
·抽象测试例
·抽象测试方法
·抽象测试套
·一致性记录
·一致性测试套
·协调测试法
·分布式测试法
·可执行测试例
·可执行测试例错误
·可执行测试套
·失败裁决
·空闲测试状态
·被测实现
·不确定裁决
·非法测试事件
·局部测试方法
·下测试器
·测试手段
·通过裁决
·PICS书写形式
·PIXIT书写形式
·协议实现_致性申明
·协议实现的测试附加信息(PIXIT)
·控制观察点
·远程测试方法
·稳定测试状态
·标准化抽象测试套
·静态-致性要求
·语法上的非法测试事件
·被测系统
·测试体
·测试例
·测试例错误
·测试协调规程
·测试事件
·测试组
·测试组目标
·测试实验室
·测试管理协议
·测试结果
·(测试)后序
·(测试)前序
·测试目的
·测试实现
·测试实现者
·测试步
·测试套
·测试系统
·上测试器
·(测试)裁决
·测试状态
·应用层
·协议数据单元
·服务访问点
·会话层
·子网
·传送语法
·运输层
·位串类型
·字符串类型
·枚举类型
·外部类型
·对象标识符
·八位串类型
·实数类型
·选择类型
·序列类型
·SEQRENCE-OF类型
·集合类型
·SET-OF类型
·子类型
·编码
·附加机构一种TTCN语句,以使一个测试步附加在一个调用树上。
·基本约束为ASP或PDU类型定义中的每个域说明了-组缺省值。
·基本类型一个类型,在测试套中定义的另一个类型可以从它导出。
·行为行动态行为表中的一个条目,代表一个测试事件或其它TTEN语句连同相应的标号,裁决, 约束参照及注释。
·行为树一组测试事件序列集以及其它TTCN语句的说明。
·空条目在一个修正的精简约束表中,一个约束的参数或域为空条目表示该约束值将是继承的。
·调用树一个带有附加测试步的行为树。
·精简约束表关于ASP、PDU或结构化类型的一组约束的说明,组织成一个单一表。
·精简测试例表关于给定的测试组的一套测试例的说明,组织成一个单一表。
·约束部分这部分的TTCN测试套是关于送给IUT的ASP参数与PDU域的值,及从IUT收到的ASP 参数与PDU域的条件。
·约束参照一个相于约束的参照,在行为行中给出。
·说明部分这部分的TTCN测试套是关于所有测试套中用到的非预定义的成分的定义和/或说明。
·缺省行为事件与其它TTCN语句,它们可能在相应树的任何层次上发生,并在缺省行为表示中指 出。
·缺省组一个命名的缺省行为集。
·缺省组参照说明-个缺省在缺省库中逻辑位置的路径。
·缺省标识符唯-标识-个缺省的名字。
·缺省库在一个测试套中的缺省行为集合。
·缺省参照在一个测试例或测试步表中对缺省库中的一个缺省的参照。
·导出路径一个标识符,包含一个基本约束标识符再连一个或多个修正约束的标识符,这些标识符以 点号分隔,并以点号结束。
·动态链从一个ASP参数或PDU域的约束说明到另一个PDU的约束说明的链接,用参数化手段实 现链接上的PDU将写在-个行为行的约束参照栏中。
·动态部分这部分的TTCN测试套是关于测试例,测试步与缺省动态行为描述的规范。
·隐含发送事件一个用于远程测试方法的机制,用以说明该IUT。应当发起一个特定的PDU或ASP,,
·缩进层次指示一个行为描述的树结构。通过一个行为描述中的缩进格数能反映该树结构。
·局部树一个定义在与它的调用树同-表格中的行为树
·操作语义解释-个TIEN行为树执行的语义。
·否则事件以可控的方式处理非预见的测试事件的TTCN机制。
·概述部分这部分的ITCN测试套是关于测试套的结构的概述,还包括测试步库(如果有)结构,缺省 库结构(如果有),及相关的测试例和/或测试组的选择表达式(如果有)的组合。这部分也提供 测试例,测试步及缺小的索引。
·预备结果一个在测试例结束之前记录的结果,表示测试例相关部分是否通过,失败或无法确定。
·伪事件一个伪事件是一个TTCN表达式或计时器操作,它出现在行为描述的语句行中,但没有任 何相联系的事件。
·限定事件一个带有相联系的布尔表达式的事件。
·接收事件在一个命名或隐含的PCO上接收到一个ASP或PDU的事件。
·根树一个测试例的主行为树,产生在进入测试例的层次上。
·发送事件在-个命名的或隐含的PCO上发送ASP或PDU。
·供选集在同一缩进层上并属于同一前辈结点的TTCN语句。它们代表在测试例执行中相关点上 可能的事件,伪事件及机构。
·单一约束表一个给定类型的单一ASP或PDU的约束声明,组织在一个表中。
·快照语义一个排除测试例运行时间影响的语义模型,它用测试环境的快照定义,在期间环境相当于 被冻结在一个指定的阶段。
·特定值一个TTCN值,不包括任何匹配机制或未定值变量。
·静态链从一个ASP参数或PDU域的约束说明到另一个PDU的约束说明的链接,通过显式地引用 一个约束作为它的值的方法实现。
·静态语义限定TTCN语法使用的语义规则。
·结构化类型一个或多个ASP参数或PDU域组成的集合。这些ASP参数或PDU域可能出现在一个或 多个ASP或PDU类型定义中。这些定义是在一个单独的说明中的,并可用来规定ASP或PDU 中的平板结构或子结构的一部分。
·测试例标识一个测试例的唯一标识名。
·测试例变量在测试套中全局定义的一组变量,但它们的值只在一个测试例运行时才保持。
·测试组参照说明测试例在ATS结构中逻辑位置的-个路径。
·测试步组-个命名的测试步集合。
·测试步组参照说明-测试步在测试步库中的逻辑位置的-个路径。
·测试步标识一个测试步的唯一名。
·测试步库一个在测试套中的测试步动态行为描述的集合,它们不是本地测试步。
·测试步目的一个非形式的解说,以说明该测试步解决什么。
·测试套常量一个常量集中的一个,它不是从PICS或PIXIT导出的,它的值在整个测试套中恒定。
·测试套参数一套从PICS与PIXTT中导出的常量中的一个,它们对测试套全局地参数化。
·测试套变量在测试套中全局说明的变量之一,它们在测试例间保持值。
·超时事件一个用在行为树内的事件以检查特定的计时器到期。
·树附加一种方法,以表示一个在别处(无论在当前表格任一点上,或作为测试步放于测试步库中) 定义的行为树被包括在当前行为树中。
·树头一个局部树的标识,后随-张此树的可选形参并列表。
·树标识一个局部树的唯一名。
·树叶一个行为树或测试步中的TTCN语句,它没有已说明的跟随行为。
·树结点单个TTCN语句。
·树标记法用于TTCN中以树来表示测试例的标记法。
·TTCN语句和 TTCN一个事件,一个假事件或在行为描述中说明的机构。
·非预见测试事件在测试套中,一个未作为测试事件识别在预见测试结果中的测试事件。通常用OTHER— WISE事件来处理。
·非限定事件一个不带相联系的布尔表达式的事件。

相关术语

·试车台修正系数基准试车与校准试车推力的比值称为试车台修正系数。
GJB 721-89 涡喷涡扇发动机试车台校准规范)
·燃油热值修正系数按基准燃油低热值换算的燃油质量流量与使用非基准燃油低热值的燃油试车时获得的换 算燃油质量流量之比。
GJB 723-89 涡喷呐扇发动机性能的燃油热值修正规范)
·湿度修正系数指干空气条件下发动机某性能参数的换算值与湿空气条件下相应值之比。 换算转速的湿度修正系数
换算空气流量的湿度修正系数
换算推力的湿度修正系数

GJB 359-87 涡喷涡扇发动机性能的温度修正规范)
·弹着自动修正火控系统对射击效果能实时自动校正的坦克火控系统。
GJB 742-89 装甲车辆术语、符号)
·弹道修正对武器的各种具体射击条件偏离其标准射击条件时造成的弹道偏差的补偿。
GJB 742-89 装甲车辆术语、符号)
·交汇修正对在非校炮距离上射击时出现的瞄准线和火炮轴线不能相交于一点而造成的射击偏差的 修正。
GJB 742-89 装甲车辆术语、符号)
·倾斜修正对火炮耳轴侧倾造成的坦克炮高低向射角和方位向提前量偏差的修正。
GJB 742-89 装甲车辆术语、符号)
·身管变形修正对火炮身管下垂或弯曲造成的射击偏差的修正。
GJB 742-89 装甲车辆术语、符号)
·偏流修正对线膛射弹高速旋转与空气阻力的作用所造成的弹道偏差的修正。
GJB 742-89 装甲车辆术语、符号)
·目标速度修正对因目标与本车相对运动造成的射击偏差的修正。
GJB 742-89 装甲车辆术语、符号)