现在，请带有启用断言检查运行该程序。
带启用断言检查运行程序产生下面的错误报告
Running the program with assertion checking enabled produces the following error report
是困苦的功能冗余如果断言检查已被呼叫的公共功能？
Is assert in privation function redundant if check has already been made by the calling public function?
由于在缺省情况下禁用了断言检查，因此不会检测到任何断言错误。
Because assertion checking is disabled by default no assertion error is detected.
断言：使用断言检查字段之间的关系，比如订单中的总量是各行之和。
Assertion: Use assertions to check relationships between fields — for example, the purchase order's total is the sum of the order lines.
缺省情况下，会禁用断言检查，因此在运行时您也要显式地启用这一功能。
Assertion checking is disabled by default, so you'll also have to explicitly enable this facility at run time.
首先，执行断言检查的代码可能比简单的空值检查要复杂得多。
First of all, the code doing the check may be far more complicated than a simple check for null.
还可以通过扩展 BOOST_CHECK宏执行定制的断言检查。
You can also extend the BOOST_CHECK macro to perform custom predicate support.
断言检查就象异常处理，但是当断言失败时，却不会抛出异常，而会抛出一个。
Assertion checking is like exception handling, but no exception is thrown when an assertion fails. Instead, an.
请使用-enableassertions选项或更短的- ea选项来启用断言检查。
Use the -enableassertions option, or the shorter -ea option, to enable assertion checking.
断言检查就象异常处理，但是当断言失败时，却不会抛出异常，而会抛出一个AssertionError。
Assertion checking is like exception handling, but no exception is thrown when an assertion fails. Instead, an AssertionError is thrown.
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.
作者用控制实验的方法研究了使用蜕变测试的成本及效率，进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析。
By using of simulation technology, the new developed process and control experiment system can be not only as a process experiment system but also a control experiment system.
我们将创建接收入站负载的“请求规则”，检查ltpa验证，然后注入SAML断言，以便在下游使用。
We'll be creating a Request Rule that receives an inbound payload, checks for LTPA validity, then injects a SAML assertion for downstream use.
首先我们分别检查每个断言的估计值。
First, let's check the estimate of each predicate individually.
ContractManager接口为要检查的每一种断言定义了不同的方法。
The ContractManager interface defines a different method for each kind of assertion you want to check.
检查是否至少有一个具有当前ID的雇员在reference变量中，以断言该雇员号是有效的。
Check that at least one employee with the current id exists in the reference variable to assert that the employee number is valid.
通过把断言放在mock代码中，可以检查要测试的代码是否在适当的时候把适当的参数传递给它的协作者。
By placing assertions inside the mock code, you can verify that the code under test is passing the correct arguments to its collaborators at the right time.
第2部分：XML Schema 1.1简介(2009年1月)：检查这个协同制约机制，特别是新断言和类型替代特性。
Part 2 (January 2009) : Look at the co-constraint mechanisms, specifically the new assertions and type alternatives features.
一定要记住，在使用静态断言时，检查的表达式在编译时必须是可计算的。
While using static assertions, always remember that the expression being checked must be evaluable at compile time.
为了避免为一个类型创建多个断言，每个断言规则都要检查是否在工作存储器中存在一个评估事实(图18)。
To avoid multiple assessments of the same type being created, each of these assessment rules checks the working memory for the existence of an assessment fact (Figure 18).
测试失败通过抛出未经检查的异常来指示，通常使用JUnit提供的断言和故障方法指示。
Test failures are indicated by throwing unchecked exceptions, typically by using JUnit-provided assertion and failure methods.
只有当您确保不会以有害的方式使用断言时，才能允许无安全检查的断言。
Asserts without security checks are permissible only when you are sure that the assert cannot be used in a harmful manner.
如果在不对调用方执行任何检查的情况下断言权限，则该调用方可以使用您的权限来间接地执行代码。
If you assert a permission without performing any checks on the caller, the caller could indirectly execute code by using your permissions.
可以使用断言语句检查操作的结果。
You can use assertion statements to check the result of an operation.
如果在不执行任何安全检查的情况下断言安全权限，则会在代码中留下可利用的安全漏洞。
Asserting a security permission without performing any security checks can leave an exploitable security weakness in your code.
在不检查任何条件的情况下使断言失败。
断言对于测试快速直观检查时结果不明显的操作最有价值。
Assertions are most valuable for testing operations whose results are not obvious from a quick visual inspection.
断言对于测试快速直观检查时结果不明显的操作最有价值。
Assertions are most valuable for testing operations whose results are not obvious from a quick visual inspection.
应用推荐