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

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

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

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

振动磨机实验测试及工艺参数对比分析

通过实验测试对振动磨机与球磨机的研磨效率、能量消耗、介质磨损进行了分析比较，证明了振动磨机在细磨，尤其超细磨时优势凸显；同时对振动磨机的主要工艺参数进行了对比分析，提出了在振动磨机设计时合理确定这些参数的建议。     

基于虚拟仪器的测试和数据采集系统

介绍了虚拟仪器的构成、分类,阐述了基于LabVIEW的虚拟仪器测试系统的工作原理,数据采集系统(DAQ)的硬件构成和控制软件编写的原则。     

校园网络工程测试与验收

近年来互联网高速发展,高校纷纷建立了自己的校园网并接入互联网.校园网工程的测试与验收是网络工程建设的最后一环,关系到整个网络工程的质量能否达到预期设计指标.本文针对网络工程测试与验收的过程和内容进行分析与介绍.     

软件测试自动化的实施方案

文章论述了软件测试自动化的实施，从自动测试的好处、影响软件测试自动化实施的因素等几个方面出发，总结了软件自动化测试的实施方案。     

Effect of Rating Scales and Test Parts of Body on the Evaluation Results of Fabric-evoked Prickle

IntroductionThe studies of Schneider and Holcombe[1]and Liet al .[2]demonstrated that s mooth and light-weightwool fabrics were able to enhance fabrics in the market-place the sensations of coolness when worn in war m andhumid environments due to wool s hygroscopicity . Thisis the principle underlying the development of “coolwool”.However ,someti mes wool products are complainedof prickle . In the study of Wang et al .[3],it was foundthat the main shortcoming in ter ms of comfort for light…     

一种采用增加动量项的改进BP算法实现

介绍了反向传播网络算法(BackPropagationnetworkalgorithm,简称BP算法)的基本思想和存在的问题,阐述了增加动量项改进算法的实现方案,用VC 6.0实现的三层网络结构可改进算法的部分程序,并对这两算法的学习速度进行了测试和比较。     

提高甘肃省人民体质健康干预研究的构想

国民体质监测工作是掌握一个国家或地区人民体制状况的重要手段,作为全民健身运动的重要组成部分,已经成为一项政府工作在全国范围内开展.本课题旨在通过对我省不同职业、不同年龄的人群进行大面积的体质测试,全面了解我省居民的身体状况,掌握我省人民体质的现状以及变化规律和特点,同时针对测试中反映的问题,采取有效的针对性干预措施,指导人们科学参加健身运动锻炼,合理进行健身与营养补充,改善和提高我省人民的体质与健康水平,为我省21世纪的可持续发展提供有保障的身体质量好的人力资源.     

试论商务英语测试的改革

目前，商务英语考试还是以应试教育为主，因此商务英语专业的教学改革应该从考试改革入手。本文对商务英语测试存在的问题进行了剖析，并在测试的方式和内容方面提出了改革建议和探索，从而以测试为出发点推动商务英语专业的全面教学改革。