基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
契约式设计比起单元测试有些优势，但是这两种方法是互补的。
Design by Contract has some advantages over unit testing, but the two methods are complementary.
通过理论推导、相似模拟、数值模拟及现场测试等方法相互结合、相互补充，对动压区外错式巷道的围岩稳定性进行了较为系统的分析研究。
By using model test of simulated materials and finite element calculation and theory deduce, the alternate exterior entry surrounding rock stability in dynamical pressure area is systemically studied.
应用推荐