问题标签 [verification]

我想知道在getter和setter或代码的其他地方进行验证是否是个好主意。

当涉及到优化和加速代码时，这可能会让您感到惊讶，我认为您不应该在 getter 和 setter 中进行验证，而应该在更新文件或数据库的代码中进行验证。我错了吗？

我希望能够在 Specman 测试中为日志文件指定文件名 stem。我需要对主要的 *.elog 文件名进行硬编码，以免测试之间出现差异并混淆后处理脚本。我可以将约束或命令行传递给 Specman 吗？

为了验证来自Google 安全浏览 API的数据，您可以计算每次更新的消息验证码 (MAC)。执行此操作的说明（来自 Google）是：

MAC 是从 MD5 摘要中根据以下信息计算得出的：client_key|separator|table data|separator|client_key。分隔符是字符串：coolgoog: - 这是一个冒号，后跟“coolgoog”，后跟一个冒号。生成的 128 位 MD5 摘要采用 websafe base-64 编码。

还有要检查的示例数据：

回复：

我无法获得比赛。请指出我哪里出错了，或者只写几行必要的 Python 代码！

FWIW，我希望能够做这样的事情：

但如您所见，'qfb50mxpHrS82yTofPkcEg==\n' != 'dRalfTU+bXwUhlk0NCGJtQ=='。

少于 10 台客户端计算机，每台都有自己的安装程序，必须将数据上传到中央服务器。

客户端数据库如下所示：

tblSales - rowGuid - randomNumber

中央服务器数据库：

• 行指南
• 随机数
• 插入日期

我计划使用 WCF 将文件发送到中央服务器。

如何验证行已插入服务器？我有哪些验证选项？

我可以返回插入的行数并将其与发送的行数进行比较，但是还有其他更强大的方法吗？

In Specman, how can I tell if a reference to a unit has the do-not-generate modifier, '!', at the reference's definition?

e.g.

Without inspecting the code or relying on a naming convention, how can I tell that foo_ptr_generated went through Specman's constraint solver and foo_ptr_notgenerated was procedurally set?

如何通过命令行针对 Java 证书存储验证 X509（或 DER 格式）证书？

我已经研究过使用该keytool实用程序，但它看起来只处理导入/导出/显示功能（无验证）。

编辑：看起来好像keytool可以用于验证，但前提是尝试导入。我想问这个问题的更好方法是是否可以使用更被动的方法（例如：不修改密钥库）。谢谢！

我一直在我的机器上编写一个 java 应用程序，它可以使用我设置的数据库完美运行，但是当我在现场安装它时它会爆炸，因为数据库略有不同。

所以我正在编写一些代码来验证：

• A: 我的数据库详细信息是正确的

• B：数据库有我期望的所有表，并且它们有正确的列。

我有A下来，但我不知道从哪里开始B，有什么建议吗？

目标数据库适用于当前客户端是 Oracle，但该应用程序也可以配置为在 SQL Server 上运行。所以一个通用的解决方案将不胜感激，但不是必要的，因为我确信我可以弄清楚如何从另一个做一个。

网站的日常维护通常涉及验证链接是否有效、标记不良链接等。

我知道如何通过脚本匹配电子邮件地址（尤其是在mailto:链接中的网页上下文中）。我的问题是如何在不发送垃圾邮件地址的情况下验证它们是否正常？

剥离域并验证它正在侦听端口 25 是部分答案，但不处理验证用户名/别名。

有没有办法将此添加到我管理的网站的维护脚本中？

我真的不在乎它是用什么语言写的，只要它有效:)

我正在尝试编写一个简单、足够准确的过滤器来验证 RTL 模拟中的硬件。我们通过将设计中的所有触发器随机初始化为 0 或 1 来模拟芯片触发器中固有的随机性。这对应于芯片触发器在上电期间获得一些随机值。我们还随机化了重置树中的触发器（重置树没有反馈循环），这意味着您可能会在重置线上出现错误的故障。

例如

你会看到一个 0->1->0 看起来像重置，但实际上是一个小故障。

我想构建一个过滤器来查找一定数量的连续1 值，以确定我刚刚看到的重置是来自重置控制器的重置还是虚假重置。

我知道这是统计数据，可能与泊松分布有关，但是如何确定一组 N 位中任何 X 个连续位为 1 的概率？

PS是的。我知道 4-val RTL 模拟。我们也在这样做，但是一些 Verilog 构造在传播 X 和 Z 时没有足够的悲观情绪。

我有一个网站，用户可以上传他们的文件；这些存储在服务器上，它们的元数据记录在数据库中。我正在实施一些简单的完整性检查，即“这个文件的内容现在是否与上传时的字节内容相同？”

一个例子：对于 的内容userfile.jpg，MD5 哈希是39f9031a154dc7ba105eb4f76f1a0fd4SHA-1 哈希是878d8d667721e356bf6646bd2ec21fff50cdd4a9。如果这个文件的内容发生了变化，但前后的 MD5 哈希值相同，那么 SHA-1 哈希值是否也可能保持不变？（使用散列，有时您可能会遇到散列冲突 - 这会同时使用两种不同的散列算法吗？）

或者是为一个文件计算两个不同的哈希值（我应该尝试一些其他机制来验证完整性）？

编辑：我并不真正担心意外损坏，但我应该防止用户更改文件而不引起注意（生日攻击和朋友）。

我可能会选择一个哈希，SHA-512——检查不会经常成为性能瓶颈，无论如何，“正如 Bruce Schneier 所说，已经有足够快、不安全的系统了。-@MichaelGG 在评论”。