论文部分内容阅读
介绍了两种测试面向对象软件的方法，针对类的多重继承性进行测试的继承层次测试法（ＩＬＴ）和利用测试图并通过设计辅助类来对面向对象应用程序进行自动测试的方法。分析了这两种方法的缺陷与不足，并指出了较Ｚ语言形式化规格说明所具有的优缺点。
面向对象软件的两种测试方法
【摘 要】
：
介绍了两种测试面向对象软件的方法，针对类的多重继承性进行测试的继承层次测试法（ＩＬＴ）和利用测试图并通过设计辅助类来对面向对象应用程序进行自动测试的方法。分析了这两种方法的缺陷与不足，并指出了较Ｚ语言形式化规格说明所具有的优缺点。
【机 构】
：
华北电力大学电子工程系
【出 处】
：
华北电力大学学报
【发表日期】
：
2000年02期
其他文献
分析F1oyd算法与Dijkstra算法的基本思想,将二者结合起来,给出一种新的求最短路径的优化算法--F-D算法,用F-D算法求解基于GIS的电力通信线路最短路径,并在约束条件下对所求最
为揭示浅变质板岩力学特性的各向异性及破坏形态。以浅变质板岩为试验对象,通过对不同层理面倾角β岩石试件进行单轴压缩试验,探究不同倾角下试件的破坏形态、应力-应变曲线,