面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。     

在用车工况法排放检测用重型底盘测功机滚筒技术规格研究

对在用车工况法尾气排放检测用3轴6滚筒重型底盘测功机的滚筒技术规格包括滚筒直径、第1轴和第2轴滚筒中心距、第3轴的滚筒与前两轴滚筒中心的中心距、第3轴滚筒相对于第1轴滚筒高度布置进行了研究,以保证被试柴油车在底盘测功机上正常运行,保证烟度排放的安全和准确测试。并提出了重型底盘测功机滚筒新的技术条件和计算公式。     

汽车蓄电池线热缩管选型及应用设计

随着汽车工业发展,汽车对性能、稳定性、成本的要求越来越高,对材料、性能定义也更加科学。汽车零部件产品的要求更加苛刻,各大主机厂及供应商对零部件的设计要求统一性、标准化也日渐完善。本文针对汽车线束行业热缩管的选型及应用设计进行科学论证和分析。     

无锡市电机厂推出最新一代国产西门子电机—IFC6

今年二月十一日,中国船舶检验局上海分局派验船师,对无锡市电机厂制造的二台IFC6 286-4SA45船用发电机进行了全面检验。电机的运行、试验和检测数据表明,全部技术性能指标,都符合西德DIN 5730标准。在电机上敲上了船验标志,准于出厂上船。