正如所看到的,这符合前面提到的应用程序规格说明业务对象。
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.
遵循这些规格说明,业务设计师通常手动地测试软件应用程序,并用他们熟悉的格式(例如,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).
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.
这里我想大家注意的一件事,就是测试和调试是不同的两件事情,我们测试的时候,我们把输入输出,跟程序的规格说明书对比下。
应用推荐