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

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

youdao

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

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

youdao