文章介绍了三值模型的基本概念，以及用三值模拟算法来检测竞争冒险现象的方法。
In this paper, the basic concept of three values model is introduced. Checking of Competitive hazard by three values simulation algorithm is introduced and an example is given.
它采用六值模拟方法，建立带延迟的模拟模型，可区分信号的上升跳变、下降跳变对延迟的影响。
In the system a six-valued simulator, and a simulative model with delays are used, thus rising delays and falling delays can be dealt with separately.
该文件使应用程序能够模拟真实的情况，并通过不同的值、设备或帐户进行测试。
This file enables our application to simulate real conditions, and to test with different values, devices or accounts.
由于已经正确设置了(模拟)寄存器的值，IS r会正常进行处理，就仿佛它是一个真正的中断。
Since you have already set the (simulated) register values appropriately, the ISR will process normally as if it was a real interrupt.
如果在每次模拟组件时厌倦了输入值，或者甚至厌倦了从数据池选取数据，则使用编程式模拟非常有用。
Using programmatic emulation is useful if you are tired of entering values or even picking values from the data pool every time a component is emulated.
当在模拟中指定时间时，您可以使用不发生改变的静态值，例如5分钟。
When specifying a time in a simulation, you can use a static value, which does not change, such as 5 minutes.
这一服务的唯一功能只是将三个小写的字符串输入值在强制10秒的间隔后转化为大写的字符串，这一强制时间间隔用来模拟一较长时间处理过程。
All the service does is transform three lowercase String input values to upper case after forcing a 10 second pause in the execution to simulate a long running process.
要查看模拟接收和返回了哪些值，请单击模拟事件。
To see what values the emulation received and then returned, click the Emulate event.
样例生成随机值作为比分更新We b客户端，来模拟近实时事件。
The sample generates random values as scores to update the Web client to simulate near-real-time events.
您可以通过使用printf调用和strerror函数(该函数返回当前errno值的文字表示形式的指针)来模拟此程序。
You can simulate this yourself by using a printf call and the strerror function, which returns a pointer to the textual representation of the current errno value.
对于业务对象属性，将数据池中保存的值复制到输入编辑器(对于模拟器，复制到输出编辑器)。
In the case of a business object attribute, the saved value from the data pool is copied to the input editor (or output editor for an emulator).
这个模拟器将生成随机值来模仿一个生成比分更新信息的服务器，并发布这些“比分”到团队通道。
The simulator will generate random values to emulate a server generating score updates, and will publish these "scores" to the team channels.
您可以保存在集成测试客户端实例中看到的所有内容，其中包括输入值、事件、手动模拟值和配置参数。
You can save everything you see in a integration test client instance including input values, events, manual emulation values, and configuration parameters.
其他组件、导入和导出是模拟的，这意味着您需要输入组件、导入和导出要返回的值。
The other components, imports, and exports are emulated, which means that you need to enter values that you want the components, imports, and exports to return.
要模拟这个行为，在测试用例中必须有另一个逻辑映射——JSP表单名称必须映射到值。
To mimic this behavior, another logical mapping must take place in a test case — JSP form names must be mapped to values.
模拟对象的一个额外功能是控制器接口，它使测试框架能够查询是否使用预期数据值调用了模拟对象。
An extra capability of the mock object is a Controller Interface that enables the test framework to query whether it was invoked with the expected data values.
正如我们经常提到的，您可以模拟不需要测试的组件，这意味着集成测试客户端将为服务调用提供返回值。
As we mentioned frequently, you can emulate components that you don't want to be part of a test, which means that the integration test client will provide return values for a service call.
在本例中，所提供的数据是该请求瞬间在模拟管脚3、4、5和6上所经历的电压值。
In this case, the data provided is the voltage experienced at the instant of the request on analog pins 3, 4, 5, and 6.
如果对于返回值没有较多要输入的数据，或者返回值无法计算时，此类型的模拟非常有用。
This is useful if you don't have much data to enter for the return value, or when the return values can't be computed.
这里通过使用一个非常简单的示例说明了如何使用分布曲线建模持续时间，这与静态特定值不同，静态特定值会导致完全不同的模拟结果。
This very simple example illustrates how modeling the duration with a distribution curve as opposed to a static specific value can cause a radically different simulation result.
模拟对象用于验证预期值正在生成。
Mock objects are used to verify that the expected values are being generated.
图2显示了选择模拟事件和测试人员为checkPurchaseOrder操作输入的返回值为 true 时集成测试客户端的运行情况。
Figure 2 shows an integration test client run where an emulation event is selected and where the tester entered a return value of true for the checkPurchaseOrder operation.
最后会提示您为ShippingService导入(它是模拟的)的输出参数输入值。
Eventually you will be prompted to enter a value for the output parameter of the ShippingService import (it is being emulated).
检查在Binding选项卡中输入的值，了解它们如何引用您的模拟对象模块。
Examine the values entered in the binding TAB to see how they refer to your mock object module.
您可以导出监视的数据值，然后再将这些值导回Modeler 中以用实时数据改进模拟，从而持续改进业务流程。
You can export monitored values and import them back into Modeler to improve simulation with real data, thus continuously improving your business process.
WebSphere资源提供者被用作一个存储解决方案，用于维护模拟器解决方案中使用的动态配置值。
The WebSphere resource provider will be used as a storage solution for maintaining dynamic configuration values used within the simulator solution.
在图15中所示的Test窗口中，从Configuration选项卡上的模拟器中删除EmpRegistryImport，然后输入所显示的值，并单击Continue。
In the Test window shown in Figure 15, remove EmpRegistryImport from the emulator in the Configuration TAB, then enter the values as shown, and click Continue.
在图15中所示的Test窗口中，从Configuration选项卡上的模拟器中删除EmpRegistryImport，然后输入所显示的值，并单击Continue。
In the Test window shown in Figure 15, remove EmpRegistryImport from the emulator in the Configuration TAB, then enter the values as shown, and click Continue.
应用推荐