一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

专业英语多媒体试题库的模型探索

从外语教育测量学的角度出发,对专业英语多媒体试题库的建设模型进行了理论性的探索和论证:采用经典测试理论数学模型,并逐步过渡到项目反应理论模型,在此基础上开发专业英语自适应试题库系统。这是提高外语专业教学质量的有效途径之一。     

逆变式 MMA 弧焊电源控制系统研究

针对手工焊条电弧焊（ＭＭＡ）弧焊过程特点，建立了绝缘栅型晶体管逆变式弧焊电源控制系统。该系统采用新的外特性控制方法，能够区分空载和近空载燃弧状态并分别进行闭环控制，使得空载损耗小于１０Ｗ，并有利于焊接过程电弧稳定。将所提出的弧焊逆变器“本脉冲反馈控制”技术应用于恒流输出及电弧推力控制。研究表明：在焊接规范调节全范围内，电源输出电流动态响应时间均小于０．５ｍｓ，且无超调。由燃弧或短路向空载状态转换时，空载电压建立时间实测值小于２μｓ，上述指标能够很好地满足ＭＭＡ弧焊工艺要求。     

农作物需水信息检测系统的研究

提出以植株体电阻作为农作物需水信息的新方法，设计一种测定体电阻的专用传感器，研制对农作物植株体电阻进行实时、快速测量的微机检测系统．实验结果表明，本系统亏水诊断结果与其他方法诊断结果基本吻合．     

控温器与电加热器微机监控测试系统

本文介绍由Ｚ８０ＡＣＰＵ组成的工控机监控测试系统，该系统利用温度传感器，温度变送器，电压电流互感器和变送器以及接口电路自动进行数据采集，和微机构成闭环监控系统，实现控温器和电加热器电气性能动态特性自动控制和测试。     

延期药和点火药燃速测试新方法

燃烧速度是延期药、点火药的重要技术指标。传统的燃烧速度测试方法只能测延期药的平均燃速，且测试精度较低。本将ＣＣＤ（光电耦合器件）技术应用于药剂燃烧速度的测试，解决了以往无法测延期药、占火药瞬时燃速的难题。以Ｔｉ－ＢａＣｒＯ４系延期药为例，用该方法对其燃烧速度进行了实际测试，得到了该延期药燃烧波面位置－时间曲线、瞬时燃速曲线以及平均燃速随压力变化的曲线。     

《虚拟仪器》课程的综合实验研究

设置《虚拟仪器》课程的综合实验，是为了提高学生快速组建测试系统、编制测试系统软件的能力。通过实验，学生不仅能得到LabVIEW图形编程的训练，更能理解软件编程与数据采集硬件应用间的关系，真正认识虚拟仪器技术的实质。文章介绍了虚拟仪器的五种硬件构成模式、在LabVIEW开发环境下测试系统软件的三种编程模式和综合实验的要求。     

基于单片机的离合器打滑参数测试系统设计

提出了一种基于单片机的汽车离合器打滑检测方法，研究了测试原理，设计了离合器打滑参数自动测试系统，可对离合器打滑参数进行快速准确测定及打滑自动报警，还可通过上下位机通讯进一步处理检测结果，用于离合器性能分析和状态调整。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．