The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
Testing purpose, model design principle, testing case, loading program, strain and deformation test point arrangement of the first Zhongshan Bridge test model are introduced in detail.
介绍了该桥模型试验的目的、模型设计原则、测试工况、加载方案以及应变和变形测点布置情况等，给出了几个主要荷载工况下模型试验的主要结果。
A unit testing supporting tool based on testing practice is presented, which provides a flexible and effective unit testing framework and testing case management and optimization methods.
在单元测试实践的基础上提出了一种单元测试支持工具的设计方法，该工具提供了一个灵活有效的单元测试框架和基于该框架的测试用例管理和优化方法。
The testing purpose, model design principle, testing case, loading program, strain and arrangement of deformation test point of the special-shaped arch bridge test model are introduced in detail.
介绍了该桥模型试验的目的、模型设计原则、测试工况、加载方案以及应变和变形测点布置情况等，给出了几个主要荷载工况下模型试验的主要结果。
This paper presents the fracturing features and production testing case in the reservoir and proposes out some new ideas on improving fracturing economic benefit.
通过分析该气藏的压裂特征及试采情况，提出了提高该地区压裂经济效益的几点认识。
This paper presents the fracturing features and production testing case in the reservoir and proposes out some new ideas on improving fracturing economic benefit.
通过分析该气藏的压裂特征及试采情况，提出了提高该地区压裂经济效益的几点认识。
应用推荐