Based on the analysis of the effect of the technology of OOS on software testing, the method of Object oriented software class testing is studied.

本文在分析了面向对象软件技术对软件测试技术的影响基础上，研究了面向对象软件的类测试技术。

youdao

Based on this analysis, the author has got an effective minimization method for constructing the minimal closure of the closed class of implicative compatible pairs without redundant elements.

在此基础上，提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。

youdao

This paper presents a new method with driver transformation for the kinematic analysis of the planar mechanisms in high class, based on the Assur group theory and kinematic superposition principle.

本文依据阿苏尔杆组理论及运动迭加原理，提出了一种新的高级机构运动分析方法——变换原动件法。

youdao