Coding bugs cause improper program behavior (behavior deviating from the requirements).
编码错误会导致不正确的程序行为(偏离需求的行为)。
As mentioned above, many types of memory usage errors are insidious: the program appears to behave normally, even though it's at risk for memory corruption and improper behavior.
正如上面所提到的,许多内存使用错误都是潜伏的:程序似乎在正常地运行,即使它所面临着内存崩溃或者错误行为的危险。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
状态检验(Static verification)可以查找多种通常的程序逻辑错误,如不恰当的使用一个在编译时而不是运行时的方法。
应用推荐