正如所看到的，这符合前面提到的应用程序规格说明业务对象。
As can be seen, this matches the application-specific business objects described in previous sections.
作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
遵循这些规格说明，业务设计师通常手动地测试软件应用程序，并用他们熟悉的格式(例如，MicrosoftWord或Excel)记录他们的发现。
Following these specifications, business analysts typically test the software application manually and document their findings in a format familiar to them (e.g., Microsoft Word or Excel).
完整性测试验证系统的各组成部分是否按照程序设计和系统设计规格说明协同工作。
Integration testing is the process of verifying that the components of a system work together as described in the program design and system design specifications.
根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。
According to the source that is used to derive tests, software testing is classified into two categories -program based testing and specification based testing.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
这里我想大家注意的一件事，就是测试和调试是不同的两件事情，我们测试的时候，我们把输入输出，跟程序的规格说明书对比下。
So one of the things I want you to notice here is that testing and debugging are not the same thing. When we test, we compare an input output pair to a specification.
集成测试就是验证系统各个组成部分能否按程序设计和系统设计规格说明书所描述的方式一起工作的过程。
Integration (73) is the process of verifying that the components of a system work together as described in the program design and system design specifications.
集成测试就是验证系统各个组成部分能否按程序设计和系统设计规格说明书所描述的方式一起工作的过程。
Integration (73) is the process of verifying that the components of a system work together as described in the program design and system design specifications.
应用推荐