最后对基于票据计算的形式规格说明的例子进行了分析。

Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.

youdao

本文研究了基于形式规格说明来生成有效测试用例的方法。

Then, the formal specification can be written according to the use case scenarios.

youdao

介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。

An approach for generating test cases from formal specification and the classification-tree method is presented.

youdao