前页 | 后页 |
测试点编辑
测试点编辑器用于构成类和操作的约束。允许的约束类型取决于所选object 。对于类,类型总是不变的。对于操作,类型可以是前置条件、后置条件或行条件。
当对选定类类型的object调用的任何方法完成时,分析器会评估不变量。每次调用指定操作开始时都会评估前置条件。在完成对指定操作的每次调用后评估后置条件。每次执行指定的代码行时都会评估行条件。
访问
功能区 |
|
约束组字段
字段 |
用途 |
也见 |
---|---|---|
类型 |
所选类或操作的约束类型:
|
|
抵消 |
仅适用于 Line-Conditions,指定操作中的行号,用于评估约束。 如果测试点是使用代码编辑器上下文菜单创建的,则会自动设置偏移值。 |
代码编辑器上下文菜单 |
条件 |
触发该测试点时要评估的约束。 A该约束条件的计算结果为true or false ,将记录通过或失败的状态。 |
测试点约束 |
行动失败 |
单击下拉箭头并从三个选项中进行选择:
|
|
评估时间 |
(可选)在评估主要测试点条件之前必须满足的附加约束,从而更好地控制测试覆盖率。 |
测试点约束 |
跟踪组字段
选项 |
行动 |
也见 |
---|---|---|
等级 |
指定何时输出跟踪语句(如果已定义)。可用选项有:
|
|
陈述 |
(可选)评估此测试点时要输出A消息。 当前范围内的变量可以包含在跟踪语句输出中,方法是在变量名称前加上 $ 标记(用于string变量)或 @ 标记(用于原始类型,例如“ int ”或“long”)。 监视状态的输出可以被定向到系统输出窗口的“测试点”选项卡,也可以定向到由跟踪分析器脚本包的外部文件。 |
跟踪声明 |