智能检定方法对传统仪器的冲击

介绍了智能仪器进行智能检定的概念和智能检定系统的构成,结合实例对智能检定系统的实现方法做了具体的论述.实验结果表明,智能检定方法能够很好地修正系统的综合误差,使仪器的精度达到设计要求.     

电子天平辅助检定系统设计

介绍了一种适用于电子天平的辅助检定系统设计方法,系统具备辅助检定、数据计算、文档生成、台账管理等功能,在系统辅助下,只需根据提示放置相应砝码即可完成检定工作,大幅提高了检定工作的作业效率,设计方法通用性强,具有良好的推广应用前景。     

专用经纬仪快速检定系统设计

为了提高经纬仪检定的效率和精度，设计了一种专用的经纬仪快速检定系统。文章介绍了其组成、工作原理和软件设计，着重介绍了独特的光学读数图像自动识别装置及各仪器与计算机的通讯，并对系统的测量不确定度进行了评定。实践证明，系统完全符合经纬仪检定的要求，大大降低了检定人员的劳动强度，为检定工作自动化程度的提高提供了一个有用的借鉴。     

数字图像处理在指示表自动检定中的应用

介绍了一种指示表自动检定系统。将图像处理技术运用于指示表的检定,代替了需要人工参与的传统的检定方法,实现了指示表检定的自动化。     

某型导弹地测设备自动化计量检定系统总体方案设计

本文根据某型导弹地测设备配置较为分散的特点，从计量检定的本质含义出发，为实现“整体检定”和“现场原位检定”，设计了一个主从分布式自动化计量检定系统。实践证明，方案可行，收到了预期效果。     

工控软件在热电偶自动检定系统中的应用

针对现有热电偶检定系统的现状和不足，本文对典型检定系统的各环节加以改进，利用KingACT工业控制软件实现炉温的自动调节，并运用组态软件对检定过程进行组态，使检定过程更加直观、方便。     

纯音听力计自动检定系统的设计与实现

分析了现有纯音听力计检定系统存在的主要问题,提出了一种实现纯音听力计自动检定的系统设计方法;该自动检定系统可对气导听力零级、骨导听力零级、级线性、总谐波失真、窄带掩蔽噪声等参数进行自动检定,且具有检定时间短、效率高、易于操作等特点;同时,由于采用分层式的软件设计结构,使得该系统具有良好的通用性和灵活性,易于进行系统移植和功能扩展;实验结果表明,该自动检定系统可较好地应用于纯音听力计的日常检定工作.     

Agilent 34401A数字多用表全自动检定系统设计

Agilent 34401A数字多用表在各类电参数的高精度测量中应用广泛,对其各项技术指标的定期检定与校准是必须的工作,以往采用人工检定的方法费时费力;为节省检定时间,提高计量效率,设计了一套针对34401A数字多用表的微机全自动检定系统,该系统利用NI USB-GPIB控制器控制5720A多功能校准源输出各类源信号检定34401A数字多用表,在LABVIEW2009开发环境下,应用高度封装的VISA库编程控制仪器响应GPIB总线上的各类检定命令。文章详细讲述了该检定系统的工作流程、硬件构成和软件设计技术,重点论述了系统软硬件联调过程中遇到的几类关键技术问题的解决方案;应用表明,利用文章介绍的相关技术,可简化检定软件编程,节省检定系统开发时间,也为同类仪器的全自动检定系统设计提供了相关借鉴。     

基于机器视觉的高精度指针式仪表自动检定系统研制

针对现有仪表自动检定系统对高精度指针式仪表采用的检定方法效率较低的问题,提出了一种基于机器视觉的仪表自动检定系统,采用一种新型的基于查表法的指针式仪表读数判别方法,结合机器视觉与数字图像处理技术实现对仪表读数的自动识别、存储.测试结果表明,检定系统能够准确地实现仪表读数的自动判别,显著提高了检定效率.     

通用示波器自动测试系统

本文介绍了通用示波器的自动检定系统，并对其原理和实现方法进行了较详细的叙述。     

Perturbation-based user-input-validation testing of web applications

User-input-validation (UIV) is the first barricade that protects web applications from application-level attacks. Most UIV test tools cannot detect semantics-related vulnerabilities in validators, such as filling a five-digit number to a field that accepts a year. To address this issue, we propose a new approach to generate test inputs for UIV based on the analysis of client-side information. In particular, we use input-field information to generate valid inputs, and then perturb valid inputs to generate invalid test inputs. We conducted an empirical study to evaluate our approach. The empirical result shows that, in comparison to existing vulnerability scanners, our approach is more effective than existing vulnerability scanners in finding semantics-related vulnerabilities of UIV for web applications.     

两种软件测试方法的比较和改进

软件测试是保证软件质量的重要步骤，在软件工程中占有重要的位置。文章分析了脚本测试和探索性测试两种测试方法，分别从定义、特点和使用场合进行研究，找出两种测试方法的不同点，然后通过实际的软件开发经验提出自己对测试方法的意见。     

Class Tester:一个基于状态转换的类测试工具的设计与实现

面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C 语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.     

基于TCL的DHCP协议冒烟测试

介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,降低了风险,提高了产品的可靠性。     

软件测试工具应用研究

文章首先介绍了软件测试的基本概念和方法,并以一个测试过程为例,重点讨论了软件测试工具在实际测试工作中的应用。     

Variable strength combinatorial testing of concurrent programs

Reachability testing is an important approach to testing concurrent programs. It generates and exercises synchronization sequences automatically and on-the-fly without saving any test history. Existing reachability testing can be classified into exhaustive and t-way testing. Exhaustive testing is impractical in many cases while t-way testing may decrease the capability of fault detection in some cases. In this paper, we present a variable strength reachability testing strategy, which adopts the dynamic framework of reachability testing and uses a variable strength combinatorial strategy. Different parameter groups are provided with different covering strength. Variable strength testing covers no t-way combinations but the necessary combinations of parameters having mutual interactions in a concurrent program. It is more reasonable than t-way testing because uniform interactions between parameters do not often exist in concurrent systems. We propose a merging algorithmthat implements the variable strength combinatorial testing strategy and conduct our experiment on several concurrent programs. The experimental results indicate that our variable strength reachability testing reaches a good tradeoff between the effectiveness and efficiency. It can keep the same capability of fault detection as exhaustive reachability testing while substantially reducing the number of synchronization sequences and decreasing the execution time in most cases.     

使用ACT进行WEB应用程序测试

网站的瞬间访问量变化很大,有时甚至是在不同数量级之间变化,因此对网站进行压力测试尤为重要,否则很难发现网站在可靠性和性能上潜在的问题,本文介绍了压力测试的基本概念及原理,并以微软最新的针对ASP和ASP.NET的压力测试工具ACT为例,通过创建针对计算中心的网络教学平台的测试实例介绍其对WEB应用程序进行压力测试的一般方法。     

软件测试技术在J2EE项目开发中的应用

在软件开发过程中,为了提高软件质量,降低开发风险,软件测试变得非常重要。介绍了软件测试的基本方法和J2EE的总体结构;结合J2EE的层次结构和使用的技术,把J2EE应用测试过程分为4个阶段,这4个测试阶段的作用各不一样。着重讨论了这4个测试阶段的技术特点和相应的测试方法,为了实现这些测试方法给出了与之相应的测试工具,并提供了一个用Cactus测试实体EJB的实例。结果显示在J2EE开发过程中,这种测试过程是非常有效的。     

B/S结构ERP管理软件的测试方法研究

软件测试是软件开发过程中非常重要的一个环节,直接关系着软件的质量。文中阐述了软件各个开发阶段需要进行的测试,并以B/S结构ERP管理软件为代表,着重介绍了系统实现阶段软件测试的方法,同时简要描述了软件维护阶段测试的过程和方法,最后总结了软件测试可能的发展方向。