correctness

correctness

文章 0 浏览 5

证明单元测试的正确性

我正在创建一个用于学习目的的图形框架。我正在使用 TDD 方法,因此我正在编写大量单元测试。但是,我仍在弄清楚如何证明我的单元测试的正确性 例如,…

路还长,别太狂 2024-10-20 09:42:36 9 0

用 Javascript 编写一个包装对象

首先,如果我的问题措辞不正确,请允许我道歉 - 我不是专业的程序员,所以我的术语可能很奇怪。我希望我的代码不会太尴尬:( 我有一个 fade() 方法,可…

深海不蓝 2024-10-16 00:15:56 8 0

有序非重入调用的简单断言?

我有两个函数: void prepare() 和 void finish() ,它们将按顺序调用,如下所示: prepare(); ; finish(); ... prepare(); ; finish(); 我想做一个简…

我的奇迹 2024-10-15 07:08:31 10 0

标准 C 函数:检查 -1 还是 0?

许多标准 C 和 POSIX 函数在错误时返回 -1,在成功时返回 0,例如 截断, fflush, msync 等。 int ret = truncate("/some/file", 42); 使用 ret != -1 …

春花秋月 2024-09-25 15:36:12 12 0

带返回值的 Switch 语句——代码正确性

Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题?更新问题,以便可以通过编辑这篇文章用事实和…

相思碎 2024-09-05 18:35:21 12 0

使用多行 <% %> 的最佳方法是什么?标签或 <% %>标签有多行?

抱歉,如果标题不足以理解我要问的内容。 我是 Rails 开发人员,我使用了多行 ;在我看来,但现在我意识到这不是最佳实践,所以我来到这里,向你们所…

遇见了你 2024-09-01 19:25:59 9 0

形式化验证算法的正确性

首先,这是否只能在没有副作用的算法上才有可能? 其次,我在哪里可以了解这个过程,有什么好的书籍、文章等?…

旧城空念 2024-08-19 13:05:59 14 0

如何第一次写出正确的代码?

在第一次尝试完成一些编程任务时,我通常会犯很多错误(逻辑错误、语法错误)。我必须编写单元测试来检测这些错误。当我接受采访时,这一点尤其成问题…

梨涡 2024-08-13 14:12:29 8 0

检查Python代码的正确性

在 C++ 中,我有编译器告诉我重构后代码是否有问题。如何确保Python代码在修改后至少是正确的?可能存在一些愚蠢的错误,例如错误的函数名称等,在编…

不顾 2024-08-04 01:23:32 9 0

有没有简单的方法来验证复制文章是否正确?

在出版物(其次是订阅)上,是否有我可以运行的脚本或命令来验证当前的文章是否符合预期和/或正确? 如果手动对复制数据库进行更改(即表的“MSMerge_…

幽蝶幻影 2024-08-02 02:41:21 14 0

我的枚举正确吗?

在我们的整个项目中,我们都有这种枚举。 它们工作得很好,但我们不确定它们。 特别是使用 getDocumentType(String) 方法。 有没有办法避免对所有 Enu…

浮生面具三千个 2024-07-29 05:16:21 8 0

计算阶乘结果的数字尾随零

我正在尝试计算由阶乘产生的数字的尾随零(这意味着数字变得非常大)。 以下代码采用一个数字,计算该数字的阶乘,并计算尾随零。 但是,当数字大约为…

苯莒 2024-07-29 03:45:46 10 0

如何在不使用本地安装的工件的情况下进行构建

有没有办法强制 Maven 使用远程工件而不是安装在您的计算机上的工件? 因为我担心运行时错误而不是编译错误,构建服务器不是有效的选项。 PS 我知道我…

动听の歌 2024-07-28 08:17:58 16 0

流程建模应用程序的正确性测试

我们的团队正在构建一个模拟工业流程的流程建模应用程序。 该过程的最终输出是一组代表化学成分和流速的数字。 该应用程序基于一些非常古老的软件,该…

你与昨日 2024-07-16 01:20:26 9 0

关键系统有软件保障吗?

Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …

瞎闹 2024-07-13 10:11:11 13 0
更多

推荐作者

qq_2gSKZM

文章 0 评论 0

∞梦里开花

文章 0 评论 0

qq_IklFPL

文章 0 评论 0

迷途知返

文章 0 评论 0

深海不蓝

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文