数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

新型静电电位动态测试系统的研制

该测试系统主要依据接触式测试法和电压转换测试原理进行测试。通过对该系统的高压线性和频率特性进行校准,达到了设计要求。对人体静电电位进行测试实验,结果显示该测试系统运行稳定,响应速度快,测试数据准确,并可自主进行数据换算和存储。     

三维运动控制技术的研究与实现

研究了维场景中对象的动画实现技术,根据三维场景中对象的旋转、位移和缩放3个属性,利用关键帧的线性插值技术实现三维场景动画。使三维动画的编辑速度得到提高,并可脱离编辑平台运行。利用Python脚本动态载入的运行特点,将三维编辑平台里关键帧的数据转化为脚本文件,由脚本来控制场景对象的运动属性,再通过接口程序来动态加载脚本文件,实现三维场景动画的发布,很好地解决了三维动画的快速编辑,脱离编辑平台运行等问题。     

软件定义的航天器测试网络技术

航天器测试网络是航天器自动化测试运行、测试数据监测分析等测试业务运行的信息通道,它的性能将极大影响航天器试验测试效率与试验数据的应用效能。针对传统航天器测试网络存在的物理独立部署、人工迁移、存在数据孤岛以及无法高效交换共享的不足,本文参考借鉴软件定义网络技术,设计了基于虚拟局域网及软件定义网络技术的软件定义航天器测试网络。该测试网络技术具备良好的软件重构、区域隔离、测试信息汇聚共享性能,能够通过软件重构,自动化迁移部署航天器测试网络;通过网络区域逻辑隔离,确保各航天器测试指令运行区域受控、安全;通过全局测试数据汇聚实现多航天器测试数据的交换共享,从而有效解决了航天器测试网络快速部署、测试指令安全运行与测试数据交换共享的问题,有力推动了装备试验数据工程的建设工作。     

FlatLFS:一种面向海量小文件处理优化的轻量级文件系统

海量小文件的高效存储和访问是当前分布式文件系统面临的主要挑战之一。以GFS和HDFS为代表的分布式文件系统大多面向海量大文件的高效存储和访问设计,缺乏小文件处理的针对性优化,导致访问海量小文件时效率低下。针对分布式文件系统中海量小文件访问时的数据服务器优化问题,提出了一种采用扁平式数据存储方法的轻量级文件系统FlatLFS,取代传统文件系统对上层分布式文件系统提供数据存储和访问支持,提高了数据服务器处理小数据块时的I/O性能,从而提升了整个分布式文件系统的性能。实验表明,当数据块大小设定为1M时,FlatLFS的随机读性能分别比ext3、ext4、reiserfs高135%、112%和122%。     

基于OSG的地形多分辨率四叉树模型

针对大地形数据量庞大的特点,建立了地形多分辨率四叉树模型,构建了该模型的存储结构,即采用大数据文件加索引文件的形式进行存储,采用该存储结构可快速读取到需求数据,并阐述了数字高程模型(Digital Ele-vation Model,DEM)数据和纹理数据的存储步骤;设计了数据的并行多线程调度机制,该调度机制采用共享内存策略实现同步,确保了信息处理高效、有序地执行.结果表明:该模型在OSG中能够按需快速加载地形数据,实现高效渲染.     

军事虚拟训练系统关卡测试用例设计与优化

测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。     

基于脚本的通用自动测试系统设计与实现

针对自动测试系统(ATS)通用性差,架构设计不够开放、灵活,提出了一种基于测试脚本的通用自动测试方法。分析了ATS所共有的测试功能需求,构建较为完备的关键字驱动体系及其词法、语法结构规则;实现对关键字脚本词法、语法解析及脚本功能函数编写;通过搭建基于PCI总线的通用ATS平台,在测试系统硬件环境基本不变的情况下,依据不同测试需求编写相应的测试脚本来解析执行,有效完成了各种测试任务。实验表明设计的基于脚本的ATS平台方案具有较好的通用性、灵活性和可行性。     

数据与机理相结合的船用NPP破口尺寸诊断方法

用数据驱动故障诊断方法对船用核动力装置破口尺寸进行诊断时速度快,但诊断结果存在不确定性;机理模型驱动诊断方法确定性较好,但需要人为判断和输入故障类型。为此,提出了一种数据与机理相结合的船用核动力装置破口尺寸诊断方法。首先,选取BP神经网络作为数据驱动诊断方法,建立安全分析平台作为机理模型分析工具;然后,采用Matlab编写接口程序,实现了数据驱动和机理模型驱动二者耦合运行;最后,对所提方法进行了验证。结果表明：利用机理模型可验证数据驱动诊断结果的准确性,当数据驱动诊断结果不够准确时,在数据驱动诊断结果基础上采用机理模型驱动方法可诊断出更准确的破口尺寸;数据驱动与机理模型驱动相结合的船用核动力装置破口尺寸诊断方法是可行且高效的,能够实现在线快速诊断,该方法还可应用于其他类型故障诊断与分析。     

无缝坏块处理与流水编程的NAND型内存控制器设计与实现

为满足航天大容量存储系统对高速存储及数据完整的需求,实现了一个基于NAND型内存的高性能控制器,提出了一种实现于NAND型内存芯片内部的流水编程机制,以及一种可以保证数据无缝连接的坏块处理机制。介绍了存储控制器的各个模块设计,并分析了不同情况编程机制所需的时间计算方法,建立仿真模型,利用蒙特卡洛方法仿真并讨论了流水编程机制的性能优化效果。在实际硬件平台验证了流水编程机制和坏块处理机制,结果表明该大容量存储系统的存储速率可达100MB/s,读取数据与存入数据保持一致,数据无乱序无丢失。     

基于Erasure Code的分割文件P2P存储结构设计

在充分考虑P2P存储特点的前提下,设计了一种新颖的基于Erasure Code的分割文件P2P存储方案,构建Chord协议上的P2P文件存储结构.通过设计有效的文件存储、访问和更新功能,克服传统Erasure Code冗余文件存储方案的不足,使存储文件具有一定的数据修改能力和结构伸缩能力.理论分析和实验仿真验证了设计方案在P2P存储系统中的可行性和有效性.     

基于平台支撑流程驱动的军用软件测试过程实施

为了解决在军用软件测试过程中各项活动的生命周期过度依赖人工驱动的问题,在相关的国/军标指导下,基于军用软件测试和项目管理相关技术和理论,设计了一种基于平台支撑流程驱动的军用软件测试过程实施模型.该模型有利于在平台支撑下军用软件测试过程的自动化实施,可以提高测试效率和降低测试成本,提升军用软件测评实验室的管理能力,在军民融合的大背景下提高军费使用效率.     

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

一种带过流保护的MOSFET管驱动电路

提出了适合MOSFET管的一种驱动与保护电路,电路利用高频磁隔离耦合技术,驱动信号响应快,且具有过流保护功能.对该电路进行了详细分析,给出了参数设计原则,并通过MATLAB仿真和实验测试,证明了其正确性和可行性.     

面向分层混合存储架构的协同式突发缓冲技术

科学计算产生和分析的数据规模日益增长,高性能计算机的存储系统在体系架构和软件管理方法上面临重大挑战。针对天河-2系统的新型分层混合存储架构,提出一种由应用程序耦合的协同式突发缓冲技术来有效利用其存储资源优势。该方法采用运行时动态耦合的方法,将临近计算任务的分布式高速存储资源聚合成为一个的巨大的协同式突发缓冲区,通过采用文件命名空间投影的映射方法组织全局数据视图,利用位置亲和和感知数据意图的方法来挖掘空间局部性和时间局部性,并利用应用并发度感知的策略优化数据移动效率。天河-2系统的测试结果表明,该方法能够有效优化多种典型应用场景,可获得高可扩展的突发并行输出带宽和稳定的持续并行输出带宽,可显著提升数据分析场景的输入/输出性能,适合应用于大规模超级计算机的存储系统。     

电缆绝缘电阻测试基于嵌入式LINUX系统的驱动开发

在Linux通用驱动程序的基础上,根据电缆绝缘电阻测试的功能需求,结合proc文件系统设计思想,完成基于嵌入式Linux系统的测试仪驱动程序的设计与开发.根据芯片接口设计介绍了读写操作的实现过程;利用中断和互锁机制提高系统效率和稳定性,通过系统调试证明此驱动程序运行时速度快、内存利用率高,能够满足系统需求,具有较好的工程应用价值.     

雷达故障"板级定位"诊断系统的设计

为故障精确定位而设计的雷达故障诊断系统,利用VXI测试仪器为硬件平台,设计了基于征兆(测点)的集成推理软件平台.对征兆的测试数据(含结果)进行采集,基于序贯分类方法的数据结果,再进行故障的合理识别、推理和判断,推断出正确的结果,将故障定位在板级(即最小可更换单元).     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

CORBA分布计算软件平台的一种基于定制机制的优化技术

CORBAIDL语言的描述能力非常弱 ,缺乏描述分布对象动态行为语义的机制 ,软件开发的自动化也只限于生成含有基本功能的后端形式 ,不能满足不同应用的时空需求。通过扩展IDL文件中的注释来描述分布对象方法适配的行为 ,提供了一种定制分布对象方法适配行为的机制。这种机制不仅有利于提高分布系统的时空效率和软件自动化的程度 ,而且不影响应用的可移植性和互操作性。另外 ,本文进一步给出了通过扩展CORBAIDL解决类似问题的设计模板。     

低阶像差校正的压电驱动变形镜测试与仿真优化

光纤激光器输出光束带有波前畸变,制约了光学系统的性能和工作效率。搭建实验系统分析了超连续谱光纤激光器系统输出光束的像差特性,不同波长的滤波片测试像差均以离焦为主。根据这一特点制备了3单元单层横向压电驱动变形镜样镜,并进行特性测试。变形镜影响函数有限元仿真和实测吻合度可达77%以上,一阶谐振频率12. 1 k Hz。以实际像差为对象进行闭环仿真,校正精度达到0. 77。另外,从校正精度及行程两个方面对变形镜进行了有限元优化仿真。结果 9单元变形镜(有效口径7. 5 mm)校正精度达到0. 9左右。镜片与压电片厚度比存在最优值约0. 3,行程可提升60%以上。