correctness

correctness

文章 0 浏览 2

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

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

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

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

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

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

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

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

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

形式化验证算法的正确性

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

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

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

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

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

检查Python代码的正确性

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

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

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

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

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

我的枚举正确吗?

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

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

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

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

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

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

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

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

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

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

你与昨日 2024-07-16 01:20:26 2 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 7 0

随机数生成器:类级别还是方法级别?

使用随机数生成器时,哪种方法可以更好地使用它来获得更大的新值随机性: 是否有一种方法可以每次实例化 RNG 的新实例,然后返回一个值? 在类级别有…

街角卖回忆 2024-07-09 13:05:32 5 0

循环终止条件

这些 for 循环是算法形式正确性证明的第一个基本示例。 它们具有不同但等效的终止条件: 1 for ( int i = 0 i != N ++i ) 2 for ( int i = 0 i &lt N …

哑剧 2024-07-06 06:44:07 3 0

您在软件模型检查方面有什么经验?

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

疯狂的代价 2024-07-04 12:03:09 7 0
更多

推荐作者

qq_FjTq5B

文章 0 评论 0

18273202778

文章 0 评论 0

WordPress小学生

文章 0 评论 0

〃温暖了心ぐ

文章 0 评论 0

迷乱花海

文章 0 评论 0

niuniu

文章 0 评论 0

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