句子翻译_专业词汇在线翻译 ... program control 程序控制 program invariant 程序不变量 programmable 可编程 ...
基于16个网页-相关网页
In this paper, a theory model for dynamically generating program invariant is built.
本文研究并且建立了程序不变量动态生成系统的理论模型。
参考来源 - 基于数据库的简单非函数依赖程序不变量动态检测·2,447,543篇论文数据，部分数据来源于NoteExpress
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。
This paper presents the detection of dynamic invariants, namely, the possible program invariable will be found by a dynamic analysis.
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.
让程序员们在阅读一个文件时测试每一个字节和每一个不变量似乎是无望的——但不这样做就会使程序易被模糊攻击。
Asking programmers to test each byte and every invariant when reading a file seems hopeless — but failing to do so leaves your programs vulnerable to fuzz.
应用推荐