机载新型机电管理系统综合检测技术研究

针对现代飞机高集成度机电管理系统的测试与仿真需求,提出一种基于PXI技术的新型机电管理系统综合检测系统设计与实现方案。在该方案中,机电管理系统的所有信号经过信号接口盒后进入到综合检测系统中,通过断点模块连接机电管理系统产品,在断点模块可以对综合检测系统的所有信号进行监控测试、信号验证及分析处理;通过硬线、RS422总线、GJB289A总线、ARINC429总线形式将机电管理系统和机电管理系统综合检测系统相连接。该系统可有效节省硬件资源、准确实现信号级故障隔离,可实现机电管理系统硬件和软件的独立检测并且可实现多台机电管理系统的测试和检验;与传统手动检测相比,可以平均节省60%的检测时间。通过测试和试验,机电管理系统综合检测系统工作稳定、可靠。     

基于时延Petri网和人工蜂群算法的航电系统并行测试研究

航电系统的复杂程度日益提高,传统的人工检测维护手段已经无法满足现代化装备的支持保障要求,自动测试系统(ATS)正逐步成为复杂系统与设备可靠运行的必要保证,而并行测试是下一代自动测试系统(ATS,automatic test system)的关键技术之一。以并行测试技术为基础,在时延Petri网的基础上,对航电系统测试任务进行建模,并采用人工蜂群算法对Petri网的变迁序列寻求最优解,找到测试时间最短的变迁序列。仿真结果表明,该算法能够快速准确地得到最优的测试方案。     

一种面向高性能数值模拟软件的自动化测试平台

高性能数值模拟软件的快速研制是确保高性能数值模拟应用与高性能计算机协调发展的关键,是当前高性能计算应用领域亟待解决的瓶颈问题。软件测试是软件研制过程中不可或缺的重要环节,是影响软件研制效率的重要因素。研制适应于高性能数值模拟软件的自动化测试工具和环境对于软件的快速研发具有重要意义。当前广泛使用的商业、开源自动化测试平台无法很好地满足高性能数值模拟软件测试的需求,因此,设计实现了一种面向高性能数值模拟软件的自动化测试平台。该平台可以适应各类数值模拟软件的系统测试、验收测试需求,具有良好的跨平台性,简单易用,用户可同时通过多种方式方便快捷地访问测试结果,从而快速定位测试中发现的程序错误,为高性能数值模拟软件测试提供技术支撑。目前该平台已为实际的数值模拟软件研发提供测试验证服务,对中国工程物理研究院高性能数值模拟软件中心的19个软件,1 108个验收测试算例进行自动化测试,提供长时间的稳定测试服务,展现了该平台的普适性和稳定性。     

Automated GUI performance testing

A significant body of prior work has devised approaches for automating the functional testing of interactive applications. However, little work exists for automatically testing their performance. Performance testing imposes additional requirements upon GUI test automation tools: the tools have to be able to replay complex interactive sessions, and they have to avoid perturbing the application’s performance. We study the feasibility of using five Java GUI capture and replay tools for GUI performance test automation. Besides confirming the severity of the previously known GUI element identification problem, we also describe a related problem, the temporal synchronization problem, which is of increasing importance for GUI applications that use timer-driven activity. We find that most of the tools we study have severe limitations when used for recording and replaying realistic sessions of real-world Java applications and that all of them suffer from the temporal synchronization problem. However, we find that the most reliable tool, Pounder, causes only limited perturbation and thus can be used to automate performance testing. Based on an investigation of Pounder’s approach, we further improve its robustness and reduce its perturbation. Finally, we demonstrate in a set of case studies that the conclusions about perceptible performance drawn from manual tests still hold when using automated tests driven by Pounder. Besides the significance of our findings to GUI performance testing, the results are also relevant to capture and replay-based functional GUI test automation approaches.     

基于用户会话的Web应用性能测试方法的研究

近年来,Web应用成为互联网时代基础设施中最重要的组成部分。随着互联网技术的不断进步以及使用用户数量的不断增长,Web应用也越发变得复杂。为了保证Web应用性能测试的有效性和真实性,提出一种利用服务器日志中的用户会话信息、结合经过序列匹配算法改进的层次凝聚算法来自动产生Web应用性能测试脚本的方法。提出的方法通过从服务器日志中提取出用户会话信息,分析用户真实的访问模式,通过聚类算法将同类型的用户访问模式进行聚集,自动产生相应的测试请求序列,生成测试集。相比于传统的基于录制/回访的测试方法,基于用户会话的性能测试方法通过对用户会话进行聚类分析,还原实际的用户访问模式,减少了设计测试用例时的人工参与,保证了测试结果的有效性和真实性。     

Managing conflict in system diagnosis

As systems grow in complexity, the need for reliable testing and diagnosis grows accordingly. The design of complex systems has been facilitated by CAD/CAE tools. Unfortunately, test engineering tools have not kept pace with design tools, and test engineers are having difficulty developing reliable procedures to satisfy the test requirements of modern systems. When testing a complex system, what is the proper response to unexpected and conflicting test results? Should the results be scrapped and the tests rerun? Should the system be replaced or redesigned? Should the test procedures be redeveloped? Determining the best answers to these questions is not easy. In fact, each of these options might be more drastic than necessary for handling conflict in a meaningful way. We discuss two approaches to system diagnosis that apply several tests and interpret the results based on an underlying model of the system being tested. These tests are used to determine if the system is functioning properly and, if not, to explain the faulty performance. By examining potential sources of conflict and the way conflict might become manifest in a reasoning system, we developed an approach to extend diagnosis to handle the conflict and draw more reliable conclusions     

航天嵌入式软件代码逻辑分析

为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30％～70％提升至90％以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.     

燃气具安全阀铁心磁性能自动测试系统

介绍了全安阀铁心磁性能测试系统的结构，测量原理，系统软件界面设计。结合实例，对其测试结果以及产生误差的因素作了分析。该系统可实现磁性参数测试过程自动化，已实际用于安全阀铁心磁性能的研究和产品检验。     

导弹安全阀测试系统软件设计与实现

针对导弹燃气舵机中安全阀自动测试系统的研制需求,制定了该自动测试系统的总体实现方案,着重描述了多线程测试系统上位机软件的设计与实现过程。详细分析了用户权限管理、串口通信、安全阀性能测试和数据管理几个主要的软件模块和工作流程。实际应用结果表明：该系统架构合理、界面友好、可靠性强,能有效进行安全阀的自动测试,可以满足质检任务的快速开展。     

多通道飞轮组件测试系统的设计

针对飞轮组件在测试过程中所面临的测试个数多、测试项目多的特点,而且要求对测试数据有强大的后处理功能的实际需求,设计了这套可同时测量最多6个同种型号飞轮组件的测试系统,并通过选用不同的转接箱,达到可测量多种型号飞轮组件的目的;详细描述了系统的组成、各部分的功能、总体结构、硬件的配置及其软件的设计等内容,并给出了系统的测试原理及测试结果;该系统不仅使飞轮组件的测试从手动到自动,还利用了网络,实现了真正意义上的远程操控,使工作人员不到现场就不能测试这一顽疾得以解决;实际应用证明,该测试系统可靠性高,使用方便,灵活,能够满足飞轮组件的测试要求.     

航空瞄准显示设备外场检查仪设计

航空瞄准显示设备是战斗机武器系统的重要组成部分,对其性能的检查测试研究十分必要。嵌入式PC由于功能扩展性强、体积轻便已经成为测试设备的主要搭建平台,文中设计了一种基于技术成熟的PC／104总线计算机测试平台的外场检测系统,能实现对机载设备信号的原位检测。根据航空瞄准显示设备测试需求,在多种方案中比较优选,制定出软、硬件结合的设计方案,并介绍了采用的主要技术手段。本系统的开发和应用,为提高装备的维修保障能力提供了一种有效手段,也为类似检测设备的设计提供一种有效的方法。     

A UML-Based Approach to System Testing

System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams, and possibly Object Constraint Language (OCL) expressions across all these artifacts. Our goal here is to support the derivation of functional system test requirements, which will be transformed into test cases, test oracles, and test drivers once we have detailed design information. In this paper, we describe a methodology in a practical way and illustrate it with an example. In this context, we address testability and automation issues, as the ultimate goal is to fully support system testing activities with high-capability tools.     

On Using a Warehouse to Analyze Web Logs

Analyzing Web Logs for usage and access trends can not only provide important information to web site developers and administrators, but also help in creating adaptive web sites. While there are many existing tools that generate fixed reports from web logs, they typically do not allow ad-hoc analysis queries. Moreover, such tools cannot discover hidden patterns of access embedded in the access logs. We describe a relational OLAP (ROLAP) approach for creating a web-log warehouse. This is populated both from web logs, as well as the results of mining web logs. We discuss the design criteria that influenced our choice of dimensions, facts and data granularity. A web based ad-hoc tool for analytic queries on the warehouse was developed. We present some of the performance specific experiments that we performed on our warehouse.     

基于高频开关网络的自动测试系统的设计与实现

针对目前航天测试任务需求日益复杂且多样化、传统测试方法不能满足测试任务强度及测试精度要求的现状,提出了一种基于高频开关网络的自动测试系统,分析了高频开关网络的设计原理,从链路、电路和结构三个方面对高频开关网络的设计予以优化,给出一个详细的设计方案。整个高频开关网络能够提供多达8×72通道的链路扩展,经过实验测试验证各项性能指标良好。以其为基础搭建的自动测试系统可以较好的解决不同被测微波组件产品测试通用性的问题,具有自动测试与自动校准功能,测试效率高与测量精度高等优点,可实现卫星载荷产品的全过程自动测试,解决传统人工测试效率低且容易出错的问题,应用前景广阔。     

面向行业应用的软件开发检查工具

现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持.因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查.实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本.     

基于LabVIEW的比例电磁铁力-位移特性测试系统的设计和实现

比例电磁铁是电液比例控制系统中的关键执行器件,作为一个动力元件,比例电磁铁的力位移特性,直接影响到由它所构成的元件及装置的整体性能.通过参考其它电磁铁的测试标准与方法,提出了一种基于LabVIEW的电磁铁力-位移特性测试系统,在实际应用中取得了良好的效果,该系统操作方便,自动化程度高,性能稳定.为电磁铁原理研究、设计、测试和检验提供了辅助工具,可以大大提高精度和工作效率.     

面向多语言的机器翻译支撑环境设计与实现

在日汉机器翻译系统由DOS移植到Windows环境后,针对进一步扩充资源和调试开发过程中遇到的词典管理不便、工具使用麻烦、翻译及编辑界面不友好、日志维护不完善等问题,我们开发了面向多语言的机器翻译支撑环境子系统。该子系统实现了词典资源管理、翻译界面、开发工具集成、系统日志维护等功能,在编码上兼容Unicode,在调用原系统翻译功能和开发工具时使用动态链接库技术,以期成为一个面向多语言的、可为不同机器翻译系统所用的开发调试支撑环境。     

B/S软件测试技术及工具实现

由于软件规模和复杂性的增加,软件测试技术研究和工具开发滞后,软件测试中存在大量的手工劳动,从而使得软件测试的效率很低,费用很高。文章从测试的角度分析了B／S系统的特点,依据可测试性方面的策略,确定合适的测试接口,进行测试建模,给出了相应测试用树生成的方法,并讨论了测试管理的相关方面。最后,介绍了B／S测试支持系统的设计,其核心部分是在浏览器中建立标准测试接口,从而在运行平台中提供对测试的支持。     

基于ADAM模块设计的SMT模块自动检测装置

结合SMT模块人工检测的工作过程和自动检测要求,本文介绍了检测装置的设计组成和控制原理,并详细说明了控制程序的设计思路和设计框架,实现了检测数据自动采集、检测结果自动判断、多工段实时共享检测信息等,极大地提高电能表生产企业的SMT模块检测效率、增强检测质量控制以及对加工故障的统计分析,并且为模块维修提供了较为清晰的故障原因便于维修。