assertions 相关问题

断言是一种软件构造,开发人员声明(“断言”)他认为永远是真实的条件。如果条件在某些语言中评估为false,则抛出异常,在其他语言中打印消息,而在其他语言中,程序停止运行。

我可以在生成块中使用bind吗?

我有一个简单的断言:让我们断言@(posedge clk)(a | => b);我通常使用单独的绑定模块模块bind_module将其与设计信号连接; bind dut assertion a1(。*); ...

回答 1 投票 2

SystemVerilog断言错误:非常使用非常量表达式

SLV_DCR_TIMEOUT_WAIT是寄存器中编程的值,因此它不是常量值。如何在断言中使用相同的内容。分配DCR_CLK = testbench.sw_top_inst.DUT.megatron_x.megatron_cib ....

回答 1 投票 -3

宽度可配置时如何写入脉冲宽度systemverilog断言

场景是:信号激活可以是1个周期,2个周期,3个周期或4个周期宽度,具体取决于配置[1:0]输入到模块最简单的方法是为此写入属性:property p_PropA; ...

回答 1 投票 3

系统verilog断言中 - >和=>之间有什么区别?

我想知道何时在SVA中使用 - >和=>?序列A之间是否有任何差异; req | - > ## 1 gnt;结束序列和序列B; req | => ## 1 gnt;结束请让......

回答 3 投票 3

比较测试不同阶段的2个变量

我在JMeter中有这个方案:获取存入var mainBalance的余额值(GET)放置充值(POST)验证结果余额(GET) - 放入var updatedBalance,例如updatedBalance是...

回答 1 投票 0

Symfony功能测试在重定向后断言

我目前正在尝试编写功能测试但是在登录并重定向到新页面后我遇到了问题。一切正常,直到最后一次断言。重定向工作正常,内容页面......

回答 1 投票 7

如何将XPath添加到XmlSlurper

我试图在SoapUI中创建一个groovy脚本断言。在响应中,我试图拉一个叫写的字段。但是这些领域中有+15个。我可以将XPath添加到...

回答 1 投票 0

当assert()意外触发时,如何抑制Google测试中的终止?

这里讨论了如何捕获失败的断言,例如你设置你的夹具,以便assert()失败,你看到很好的输出。但我需要的恰恰相反。我想测试assert()是否成功。但......

回答 4 投票 1

如何使用Python中的unittest检查代码是否在except块内部

我试图编写一个测试用例来检查代码是否进入了一个except块。我的方法foo()在异常的情况下不会抛出/提升它,它只是记录信息。一世 ...

回答 2 投票 0

断言与JUnit断言

今天我看到了一个带有java断言而不是JUnit断言的JUnit测试用例 - 是否有优势或缺点优先于另一个?

回答 6 投票 69

如果iterable不为空,有没有办法检查Python unittest断言?

在向服务提交查询后,我得到一个字典/列表,我想确保它不是空的。我在Python 2.7上。我很惊讶我没有看到任何assertEmpty方法的单元测试....

回答 5 投票 39

在Python中使用“assert”有什么用?

我一直在阅读一些源代码,在一些地方我已经看到了assert的用法。这究竟是什么意思?它的用途是什么?

回答 19 投票 780

© www.soinside.com 2019 - 2024. All rights reserved.