一次验证多个条件

要在单个时间步中验证多个条件，请在 if 语句内包含 verify 语句，并在单个测试步骤中包含多个 if 语句。

例如，假设您有一个简单的双按钮实用功能，其作为异或逻辑运行。下列条件中的多个可以在同一时间步中有效。

条件	预期输出
`RedButtonIN == false && GreenButtonIN == false`	`RedButtonOUT == false && GreenButtonOUT == false`
`GreenButtonIN == false`	`GreenButtonOUT ~= true`
`RedButtonIN == false`	`RedButtonOUT ~= true`
`RedButtonIN == true && GreenButtonIN == true`	`RedButtonOUT == false && GreenButtonOUT == false`
`RedButtonIN == true && GreenButtonIN == false`	`RedButtonOUT == true && GreenButtonOUT == false`
`RedButtonIN == false && GreenButtonIN == true`	`RedButtonOUT == false && GreenButtonOUT == true`

为了评估这些条件，这个 Test Assessment 模块在第一个测试步骤中包含六个 verify 语句，包含在 if 语句中。测试步骤在仿真期间处于活动，并且在每个时间步中评估 if 语句。

Test Assessment block verify statements

另请参阅