前页 | 后页 |
测试点编辑器
Testpoint编辑器用于编写类和操作的约束。允许的约束类型取决于所选对象。对于类,类型将始终是不变的。对于操作,类型可以是前置条件,后置条件或行条件。
当对选定类类型的对象调用的任何方法完成时,分析器将评估不变量。前提条件在每次调用指定操作的开始时进行评估。在对指定操作的每次调用完成时评估后置条件。每次执行指定的代码行时,都会评估行条件。
访问
色带 |
|
约束组字段
领域 |
用法 |
也可以看看 |
---|---|---|
类型 |
所选类或操作的约束类型:
|
|
抵消 |
仅对于Line-Conditions,指定操作中评估约束的行号。 如果使用代码编辑器上下文菜单创建了测试点,则会自动设置一个偏移值。 |
代码编辑器上下文菜单 |
健康)状况 |
触发此测试点时要评估的约束。根据此约束条件是真还是假,将记录通过或失败的状态。 |
测试点约束 |
失败采取行动 |
单击下拉箭头,然后从三个选项中选择:
|
|
评估时间 |
(可选)在评估主“测试点条件”之前必须满足的附加约束,从而可以更好地控制测试范围。 |
测试点约束 |
跟踪组字段
选项 |
行动 |
也可以看看 |
---|---|---|
水平 |
指定何时将输出trace语句(如果已定义)。可用的选项有:
|
|
声明 |
(可选)评估此测试点时要输出的消息。 当前范围内的变量可以通过在变量名前添加$标记(用于字符串变量)或在@标记(用于基本类型(例如int或long))之前包含在trace语句输出中。 跟踪语句的输出可以定向到“系统输出”窗口的“测试点”选项卡,也可以定向到外部文件(由父程序包的分析器脚本配置)。 |
跟踪语句 |