我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
在大多数应用中，开发者都需要手工编写业务逻辑与验证规则代码，而这些代码都不太容易自动生成，那代码生成工具是如何解决这个问题的呢？
In most applications, the developers need to hand-code business logic and validation rules that are not easy to auto-generate. How do the code generation tools address this requirement?
此工具包可以构建、部署以及构建-验证-测试基于SOA的应用程序，然后自动生成相关的构建脚本。
This toolkit can build, deploy, and build-verify-test an SOA-based application and then generate related build scripts automatically.
软件架构师和开发者依靠自动化设计和构造工具，来快速地把业务需求转变成他们可以测试，验证，并部署的有形组件。
Software architects and developers rely on automated design and construction tools to rapidly transform business requirements into tangible components that they can test, validate, and deploy.
此外，这类应用程序的测试工具很少能够自动执行针对公共标准集验证ui的任务，而这种任务很耗时间。
Moreover, testing tools for these applications seldom, if ever, automate the time-consuming task of validating the UI against a common set of standards.
当wsdl导入器或wsdl生成器运行时，可自动调用验证器，也可以通过工具(例如，.wsdl文件上的弹出菜单)手动调用它。
The validator can be invoked automatically when the WSDL importer or WSDL generator is run, or you can invoke it manually via the tooling (for example, the pop-up menu on a.wsdl file).
验证：在大多数情况下，可用的GUI工具用于将测试执行自动化，这只占总测试工作的大约25%。
Validation: in most cases, GUI tools that are available are used to automate test execution, which is only about 25% of the total testing effort.
从遵从性角度来说，这些实用工具的远程登录会话有两个主要因素需要考虑：利用安全传输进行的身份验证和远程会话的自动下线。
From a compliance perspective, the two prime factors to be considered for remote login sessions of these utilities are authentication with secure transmission and automatic logoff of remote sessions.
同时，采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题。
Moreover, the model can avoid the difficulty in automatically supporting the modification and verification of the use case description under pure graphical representation.
为了对这个任务有所帮助，你可以使用自动化测试工具，它测试和验证应用程序行为不需人工干预。
To help with this task, you can use automated testing tools that test and validate application behavior without human intervention.
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
复查计算结果包含最初功能点数学计算正确性的验证，如果在计算功能点的时候没使用自动计算工具，这个验证就必不可少。
Rechecking of computations consists of testing the original function point counters arithmetical accuracy. This is most important if an automated tool was not used while counting function points.
评估和推荐自动化工具使IS控制验证过程自动化。
Assess and recommend tools and techniques to automate IS control verification processes.
评估和推荐自动化工具使IS控制验证过程自动化。
Assess and recommend tools and techniques to automate IS control verification processes.
应用推荐