状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
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.
使用不需检查运行时异常来报告严重的、无法预期的错误，这可能指出程序逻辑中的错误。
Use unchecked, run-time exceptions to report serious unexpected errors that may indicate an error in the program's logic.
接下来，使用调试器检测并纠正在运行时检测到的逻辑错误和语义错误等问题。
Next, the debugger is used to detect and correct such problems as logic errors and semantic errors that are detected at run-time.
应用推荐