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

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

youdao

B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.

方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。

youdao

B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.

B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。

youdao