这样的形式描述方法满足软件测试自动化对形式描述的要求。
The requirements of formalization for automated software testing can be met by the method.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
很多开发方法在书，文章，培训材料，标准，规则，和其它形式的文档中有所描述。
Many development methods are described in books, articles, training material, standards and regulations, and other forms of documentation.
应用推荐