基于UML的微机联锁软件测试系统分析

基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试平台的硬件体系结构及微机联锁软件测试平台。并通过实例进行测试分析,结果表明该方法是有效的。     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。     

软件测试中基路径获取方法的研究

软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;对一般的基路径获取步骤进行改进,可避免选择的路径不可达,提高基路径获取速率.实例表明它是有效的.     

Approach of Separately Applying Unit Testing to AspectJ Program

A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In the conversion process, the context information passed through pointcut is transformed into advices, then the advices are converted to class member methods, and conflicts in the conversion result, if any, are resolved finally. The unit testing process consists of generating test cases, executing test cases and checking results.     

基于JUnit框架的软件测试

介绍了一个对Java程序进行软件测试的标准框架JUnit,及JUnit框架的2个扩展:JUnitPerf和Cactus。通过JUnit以及它的扩展,实现了Java程序测试的自动化,从而降低开发费用,最终使软件质量得到提高。     

软件测试中有效利用自动化测试方法的研究

为了提高软件的测试质量和测试效率,在软件测试过程中越来越多地利用自动化测试方法。利用自动化测试方法的关键问题是判断适合自动化测试的软件特征,根据自动化测试过程中各个环节的特点,选择合适的自动化测试工具或开发自动化测试方法,分析了适合自动化测试的软件特征,提出了利用自动化测试的方法。通过对VAS3.0网管的自动化测试证明,该方法能有效发挥自动化测试的作用。     

面向对象类测试方法研究

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

基于CAN总线和组态软件的柴油机试验和测试系统研究

为适应柴油机试验测试系统改进设计需要,对基于CAN总线的试验参数现场监测节点、PC微机CAN适配器及其与Intouch组态软件的DDE通信实现方法进行了研究,联合应用CAN总线技术和Intouch软件完成了柴油机试验测试系统研制,进行了实机试验.     

业主项目工程造价控制

随着我国国民经济的飞速发展,贷款修路,收费还贷的工程项目逐渐增多,工程造价的多少直接关系到还贷年限的长短,这一问题已经越来越显出其重要性。如何采取主动控制的手段合理确定和有效控制工程造价已成为工程管理的首要问题。文中从项目前期、招标阶段、施工阶段等过程对工程造价控制进行了论述。     

高温高压液压脉动综合性能试验台的设计

为了满足企业的测试技术要求,文章提出了应用计算机监控系统的高温高压液压脉动综合性能试验台的设计方案,采用了PQE5P6溢流阀和电液伺服元件等性能良好的元器件,解决了测试数据的采集和抗干扰技术,开发了在Windows平台上操作的测试软件,实现了对测试参数的自动纪录、分析、曲线绘制、显示、打印和集中的控制等功能。     

汽车座椅检测试验台的设计

结合行业标准,提出了针对汽车座椅变形异响问题的试验方法,设计了汽车座椅检测试验台,介绍了试验台的工作原理及组成,给出了试验台测控系统的软件设计及关键技术。系统具有数据采集和处理精度高,使用方便和易于扩展等优点。     

A Comparative Study of Three Machine Learning Methods for Software Fault Prediction

The contribution of this paper is comparing three popular machine learning methods for software fault prediction. They are classification tree, neural network and case-based reasoning. First, three different classifiers are built based on these three different approaches. Second, the three different classifiers utilize the same product metrics as predictor variables to identify the fault-prone components. Third, the predicting results are compared on two aspects, how good prediction capabilities these models are, and how the models support understanding a process represented by the data.     

机车车辆滚动振动试验台和试验方法

本文阐述了机车车辆室内试验台试验的优点，系统介绍了我国自行研制的机车车辆整车滚动振动试验台，从运动自由度、机械结构到系统的组成，并给出试验台的主要功能参数、试验能力，最后介绍了机车车辆动力学试验台试验方法和试验过程。     

双通道冲击回波无损检测响应特性研究

传统冲击回波法多采用单通道检测,但土木工程结构往往尺寸较大,采用单通道检测效率较低。为了提高检测效率,本文提出了双通道冲击回波采集的方法,并采用ABAQUS有限元软件建模分析了不同通道距离工况下冲击回波的响应特性,为多通道冲击回波方法的进一步应用奠定了基础。研究结果表明:对于无缺陷结构,两个通道间的距离对冲击回波峰值频率位置几乎没有影响;对于有缺陷模型结构,当两通道均布置在缺陷上方时,频率峰值位置受两通道距离影响较小,当有一个通道位于缺陷上方时,该通道峰值频率表现为两个冲击回波峰值频率的叠加。     

冲压机及其自动送料机构动态测试系统设计

介绍了冲压机动态测试系统研究的目的、意义及系统硬件组成和软件设计。系统通过计算机实时地检测冲裁力、送料长度、速度、加速度等物理量,实现了对冲压机及其自动送料机构的在线动态检测。     

电网调度自动化中综合监控系统设计

在分析了目前电力系统在日常运行维护过程中存在诸多问题的基础上,设计了电网调度自动化系统业务领域的综合监控系统.通过研究系统的逻辑架构设计、软件体系结构设计以及部署架构设计,提供了在电网调度自动化业务系统中软硬件基础设施运行状态和性能监测、业务数据监测、网络安全事件管理的设计.该监控系统要监控的对象涉及多个操作系统、多个业务系统和多种网络安全设备.     

基于虚拟仪器技术的液压系统故障快速检测系统设计

介绍基于虚拟仪器技术的液压系统故障快速检测系统的硬件组成和软件功能,系统采用集成负荷阀的传感器组进行参数检测,具有结构简单、连接操作方便、检测界面友好的特点,可以准确地测量液压系统的工作状态参数,诊断液压系统的常见故障。