正如所看到的，这符合前面提到的应用程序规格说明业务对象。

As can be seen, this matches the application-specific business objects described in previous sections.

youdao

作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。

Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.

youdao

遵循这些规格说明，业务设计师通常手动地测试软件应用程序，并用他们熟悉的格式(例如，Microsoft Word或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).

youdao

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.

这里我想大家注意的一件事,就是测试和调试是不同的两件事情,我们测试的时候，我们把输入输出,跟程序的规格说明书对比下。

麻省理工公开课 - 计算机科学及编程导论课程节选