.../Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 软件测试形式方法/会议文集Formal Approaches to Software Testing 2004计算的理论方面Theoretical Aspects of Computing - ICTAC ..
基于4个网页-相关网页
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
应用推荐