这一确认步骤可以通过基于模型的测试完成。
This verification step can be done and automated with model-based testing.
再使用基于模型的测试以便软件确认
基于模型的测试是单元测试的有力补充。
将基于模型的测试集成到质量管理进程之中。
Integrating model-based testing into the quality management process.
基于模型的测试则通常用于测试组件之间的交互。
Model-based testing, however, is often used for testing the interaction of components.
怎样将基于模型的测试集成到质量管理进程之中？
How to integrate model-based testing into the quality management process?
本文向您展示了怎样将基于模型的测试集成到总体的测试进程中，来权衡该集成操作。
This article describes how to leverage this integration by bringing model-based tests into your overall testing process.
在您选择模型之后，您可以选择应该连接至测试脚本的基于模型的测试用例(见于图7)。
After selecting the model, select the model-based test case that should be connected to the test script (see Figure 7).
在指定测试脚本建立在模型的测试基础之上后，您需要决定哪一个基于模型的测试实际执行测试脚本。
After specifying that the test script is based on a model-based test, you need to define which model-based test actually implements the test script.
您可以轻松调整基于模型的测试，而不是测试潜在的模型，它们会分别测试实际的系统和软件实施情况。
The model-based tests can be adjusted easily so that, rather than testing the underlying model, they test the real system and software implementations, respectively.
另外值得提到的是这样一个事实，即模块化可以扩展以用于高级的框架中，如基于模型的测试框架和用于海量自动化测试的框架。
Also worth mentioning is the fact that modules can be extended to be used in advanced frameworks, like model-based test frameworks and frameworks for high-volume automated testing.
我们同时也希望为教育界人士提供这方面的资源，使得他们可以在课堂上讲授基于模型的测试方法，因为我们相信本书所能起到的推广作用还远远不够。
We also wanted to provide educators with resources so that they can start teaching model-based testing, since we believe that's not done enough.
因此，有了Rational QualityManager，基于模型的测试指定了在软件开发的早期阶段可以使用的工具，以帮助您评价项目的质量。
Thus, with Rational Quality Manager, model-based tests specified early can be used throughout the software development lifecycle to help assess the project's quality.
如果您做出了这些调整操作，那么就可以按照与之前相同的方法使用Rational QualityManager执行基于模型的测试，但是不是测试真实的实施。
If these adjustments are made, the model-based tests can be executed from Rational Quality Manager in exactly the same way as before, but not to test the real implementation.
因此，当您Rational QualityManager之中创建一个测试脚本时，您就可以按照以下的步骤将其连接至Rhapsody之中一个可执行的基于模型的测试。
Thereafter, when you create a test script in Rational Quality Manager, you can connect it to an executable model-based test in Rhapsody by following these steps.
对于使用RationalRhapsody所创建的uml模型，TestConductor Addon可以提供所有需要的功能以及高度的自动化操作形式，来帮助您创建和执行基于模型的测试用例。
For UML models created with Rational Rhapsody, the TestConductor Add on provides all needed capabilities and a high degree of automation to help you create and execute model-based test cases.
一个基于FlexUnit4的新测试执行模型。
与Spring一样，Spring Integration.NET也提供了一个基于POCO的编程模型以简化可维护、可测试代码的编写工作。
As would be expected with Spring, it provides a POCO based programming model that is essential for producing maintainable and testable code.
Herdt和Schiller希望在今年晚些时候看到完全基于此模型的完整现场测试。
Later this year, Herdt and Schiller expect to see a full field trial that is completely based on the model they helped create.
开源开发打破了这种束缚。基于源代码，测试者和开发者可以很容易建立一个统一的模型，并借此有效沟通。
Open-source development breaks this bind, making it far easier for tester and developer to develop a shared representation grounded in the actual source code and to communicate effectively about it.
在您选择适配器之后，适配器就会让您选择包含基于模型测试的Rhapsody模型(图6)。
After you have selected the adapter, the adapter lets you choose the Rhapsody model (Figure 6) that contains the model-based test.
当您在Monitor测试环境中测试监视器模型时，请使用基于 Web 的仪表板，因为它们与已部署的生产环境中的仪表板完全相同。
When you are testing a monitor model within the Monitor Test Environment, use the Web-based dashboards, as they are identical to those in the deployed, production environment.
我自己的基于三元模型的分类工具仍处于早期alpha测试或原型级别。
My own trigram-based categorization tools are still at an early alpha or prototype level.
随着UML的广泛应用，基于UML模型的测试用例自动生成技术日益受到关注。
Along with the widely used of UML, automated test case generation based on UML model increasingly being attended.
本文在对目前各种题库系统分析的基础上，设计了基于模板结构的测试模型。
After comparing the different test paper library, this paper give a model based on template structure.
本文介绍了一种基于服务的类测试模型，即服务的块分支图。
In this paper, we give out a testing model, namely branch block diagram, to test services of class.
通常的评价方法是用基于标准案例的测试程序对模型进行测试，但这些案例毕竟是有限的，不能穷尽所有情况。
General evaluation way is to use test program based on standard cases to test the model, but the cases are limited and do not include all instance.
接下来，本文描述了在测试基于组件的软件系统时出现的问题和挑战，并提出了一个基于组件规格说明的测试模型。
Next, it describes issues and challenges in testing component-based software, and proposes a component specification-based test model for component-based software.
针对组合测试的基本模型和特征，提出了一种基于组合测试的软件故障诊断方法。
This paper presents a method for fault diagnosis based on the model and characters of combinatorial testing.
本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略，并利用蒙特卡罗方法进行了分析。
A software reliability testing method, judge standard and test process based on random testing model is introduced in the paper, and Monte Carlo method is used result analysis.
应用推荐