基于Python语言的GUI自动化测试脚本技术研究

针对嵌入式软件GUI自动化测试平台的开发设计,本文研究了Python测试脚本扩展嵌入技术,针对GUI软件测试行为扩展了测试函数,采用开源库Boost.Python将Python解析器嵌入GUI自动化测试平台软件中;在此基础上,描述了用例要素与脚本要素的对应关系,并且针对不同类型的扩展测试函数提出了基于关键字索引和图像建模的脚本函数自动生成技术方案;描述了Python测试脚本的调度执行原理,通过Python测试脚本执行实现GUI软件自动化测试。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,本文分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术。设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性。     

舰船嵌入式软件测试用例自动驱动研究

针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。     

诊断仪嵌入式软件测试方法研究

嵌入式软件在工程机械中应用越来越广泛,为保证软件产品高质量和可靠性,需进行软件测试以最小化软件缺陷;嵌入式软件的开发环境和运行环境不一致,增加了软件测试难度;文章以某型诊断仪嵌入式软件为对象,对被测件进行需求分析,基于需求分析将测试类型划分为人机界面测试、功能测试、接口测试、边界测试及性能测试;基于诊断仪软件运行环境特点,分析并搭建了模拟测试环境;然后针对各测试类型,提出对应的测试方法并进行了阐述;最后利用所述测试方法执行测试用例;通过测试结果可见,提出的测试方法能有效发现软件问题,具有一定的实用价值。     

基于LoadRunner自动化应用程序接口的舰船装备软件测试系统设计与实现

针对舰船装备软件接口交互信息量大,利用现有动态测试技术对此类软件开展测试工作时效率较低,自动化测试水平亟待提高的现状,归纳分析了舰船装备软件测试系统的主要能力需求,研究了接口协议形式化、测试用例自动生成、测试用例自动驱动、通信接口转换等关键技术,并以上述技术为基础给出了舰船装备软件测试系统的体系架构设计方案,进而实现了一种基于LoadRunner自动化应用程序接口(LoadRunner Automation API)的舰船装备软件测试系统,为舰船装备软件提供了一种可行的自动化测试手段;该测试系统主要包括测试管理模块、测试用例生成模块、测试用例驱动模块和数据收集与分析模块;采用该测试系统能够有效提高舰船装备软件的测试效率。     

IOTEST在某型模拟对抗终端嵌入式软件测试中的应用

由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度。嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径。以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究。依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用。测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性。在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

测试用例再生成策略在openSCADA软件中的应用研究

将基于序列模式挖掘技术的测试用例再生成策略实际应用于openSCADA软件的测试过程。针对openSCADA软件的测试用例库,深入探讨方法调用序列的抓取、序列模式的分类识别、新测试用例的演化搜索等关键技术,从而实现测试用例自动再生成。实验结果表明：采用该测试用例再生成策略能够有效地为openSCADA软件自动生成新的测试用例。     

基于模型的软件接口故障注入测试平台技术

针对软件接口类型多、接口故障注入自动控制复杂的困难以及目前缺少有效的软件接口故障注入工具现状,对软件故障注入中的交联接口故障注入技术展开研究,提出了一种基于模型的软件接口故障注入测试平台技术。通过交联接口测试可视化建模和接口故障注入算子设计,自动生成XML 格式的测试用例,并且通过基于XSLT的脚本自动化生成与执行技术实现测试的控制与执行。故障注入测试主机与接口故障注入器网络连接,接口故障注入器将接口故障数据转换成以太网、串口或CAN网络数据注入到被测软件中,并返回被测件输出数据到测试主机实现测试数据收集与判断。基于模型的软件接口故障注入测试平台具有较强的通用性与易用性,提高了接口故障注入测试的效率,降低了接口测试的成本。     

Chalcogenide Fibers: An Overview of Selected Applications

Chalcogenide glass fibers have many unique properties that make them attractive for applications that are not possible with silica fibers. Selected applications of chalcogenide fibers in research, commerce, and the military are reviewed.     

Some mathematical aspects of Anderson localization: boundary effect,multimodality, and bifurcation

Anderson localization is a famous wave phenomenon that describes the absence of diffusion of waves in a disordered medium. Here we generalize the landscape theory of Anderson localization to general elliptic operators and complex boundary conditions using a probabilistic approach, and further investigate some mathematical aspects of Anderson localization that are rarely discussed before. First, we observe that under the Neumann boundary condition, the low energy quantum states are localized on the boundary of the domain with high probability. We provide a detailed explanation of this phenomenon using the concept of extended subregions and obtain an analytical expression of this probability in the one-dimensional case. Second, we find that the quantum states may be localized in multiple different subregions with high probability in the one-dimensional case and we derive an explicit expression of this probability for various boundary conditions. Finally, we examine a bifurcation phenomenon of the localization subregion as the strength of disorder varies. The critical threshold of bifurcation is analytically computed based on a toy model and the dependence of the critical threshold on model parameters is analyzed.     

辣椒碱与β-环糊精包合物的核磁共振研究

利用核磁共振方法研究了辣椒碱β-环糊精包合物的化学计量比、空间结构信息及其在水溶液中的自扩散系数. 通过测定不同浓度比的辣椒碱和β-环糊精混合溶液的 ¹H NMR数据,绘制Job's曲线,辣椒碱和β-环糊精的Job's曲线均在r=0.5处出现拐点. 同时测定了该包合物的2D ROESY和DOSY谱图,ROESY谱图中NOE交叉信号出现在辣椒碱的H-1~H-8和β-环糊精的H-3′、H-5′、H-6′之间,DOSY测得β-环糊精和辣椒碱形成包合物前后的表观自扩散系数. 结果表明,辣椒碱β-环糊精包合物的主客体分子的化学计量比为1∶1,辣椒碱分子的异丙基端从β-环糊精的宽口端进入疏水腔,其中H-1~H-8部分在空腔内部,包合物的自扩散系数为2.95×10^-10m²/s.     

The ρ-π Puzzle of J/φ and φ′ Decays

The recent BES Collaboration data on φ →PV, particularly the isospin violating mode φ′ → π^oω^o and finding of a finite number for B(φ′ → K^*OK^O), enable us now to deal more precisely about the challenges to theory concerning this extraordinary and remarkableso-called ρ-π puzzle of J/φ and φ′ decays. In terms of the existing data and deploying the simplest phenomenology, measurement of φ′ → π⁺π^- and whether a finite number for the K^*+K^- mode might require a significantly large accumulation of data remain interesting questions.     

Interaction of Wave Trains with Defects

The evolution and transition of planar wave trains propagating through defects(obstacles) in an excitable medium are studied. When the frequency of the planar wave trains is increased, three different dynamical regimes,namely fusion, "V" waves, and spiral waves, are observed in turn and the underlying mechanism is discussed. The dynamics is concerned with the shapes of the defects. Circle, triangle, and rectangle defects with different sizes are considered. The increase of pacing frequency broadens the fan-shaped broken region in the behind of a rectangle defect.The increase of width of a triangle defect leads to breakup of wave trains easier while the change of height shows opposite effect, which is presented in a phase diagram. Dynamical comparison on defects with different shapes indicates that the decrease of the defect width along the propagation of wave trains makes the fan-shaped region and the minimal frequency for breakup of spiral both increased.     

环位形下鱼骨模驱动快离子输运的数值模拟研究

考虑包含动理学效应的鱼骨模结构,使用导心轨道程序 ORBIT,在磁面坐标下研究了不同的扰动模 幅度、频率对快离子再分布的影响,并分析了粒子与扰动发生共振的条件。模拟得出,鱼骨模扰动会使快离子在 实空间、相空间中发生再分布,芯部( ψ_p/ψ _w≤0.2 ,ψ_p 为极向磁通,ψ_w 为最后一个闭合磁面的磁通)快离子密 度下降约 20%,中间磁面位置上( ψ_p/ψ _w≥0.2,ψ_p/ψ _w≤ 0.6)的快离子密度增加约 7%;通过扫描频率发现,相空间中快 离子的再分布对模式频率敏感,并分析了快离子与鱼骨模扰动共振的条件。     

HL-2M 装置时序控制与数据采集系统设计

基于 FPGA 和 IEEE1588PTPv2 协议设计了 HL-2M 装置时序控制系统,用于在精准时刻为测控系统 提供触发。数据采集系统采用客户端/服务端双模式管理。在 HL-2M 装置初始等离子体放电实验中测试结果表明, 时序控制和采集系统具有纳秒级精度触发,实时性强,数据传输速度快,稳定可靠,方便部署和管理的特点,满 足 HL-2M 等离子体放电实验的应用需求。     

Thermodynamics of 4D dS/AdS Gauss–Bonnet black holes according to consistent gravity theory in the presence of a cloud of strings

By looking at the Lovelock theorem one can infer that the gravity model given by [1] cannot be applicable for all types of 4D Einstein–Gauss–Bonnet (EGB) curved space-time. The reason for this is that in 4D space-time, the Gauss–Bonnet invariant is a total derivative and hence it does not contribute to gravitational dynamics. Hence, the authors of [2] presented an alternative consistent EGB gravity model instead of [1] by applying a break-of-diffeomorphism property. In this work, we use the alternative model to produce a de Sitter (dS)/Anti-de Sitter (AdS) black hole metric and then investigate its thermodynamic behavior in the presence of a cloud of Nambu–Goto strings. Mathematical derivations show that the resulting diagrams of pressure vs specific volume at a constant temperature are similar to that for a van der Waals gas/fluid in an ordinary thermodynamic system in the dS sector but not in the AdS background. From this, we infer that the black hole participates in the small-to-large black hole phase transition in the dS background, while it exhibits a Hawking–Page phase transition in the AdS background. In the latter case, an evaporating black hole eventually reaches an AdS vacuum space because of its instability.     

面向集成模拟平台的远程协作系统

基于 Web 技术,采用三层模型的系统架构,分别使用 AJAX、SQLite、Openlava 和 Python 解决了 数据异步传输、作业结果重用、多用户作业管理和可视化显示等关键技术,成功开发出面向集成模拟平台的远程 协作系统——SICOS。通过 Web 浏览器即可多人同时运行高性能计算集群上 IMAS 框架下的等离子体程序,实 现了程序的集成运行及运行结果的远程分析、数据共享和可视化显示等功能。通过率先集成 EFIT 可以获得 HL-2A 装置实验的平衡位形重建结果和 HL-2M 装置期望的平衡位形结果,为后续其它程序的集成奠定了技术基础。     

Darboux Transformation and N-soliton Solution for Extended Form of Modified Kadomtsev-Petviashvili Equation with Variable-Coefficient

The extended form of modified Kadomtsev-Petviashvili equation with variable-coefficient is investigated in the framework of Painlevé analysis. The Lax pairs are obtained by analysing two Painlevé branches of this equation. Starting with the Lax pair, the N-times Darboux transformation is constructed and the N-soliton solution formula is given, which contains 2n free parameters and two arbitrary functions. Furthermore, with different combinations of the parameters, several types of soliton solutions are calculated from the first order to the third order. The regularity conditions are discussed in order to avoid the singularity of the solutions. Moreover, we construct the generalized Darboux transformation matrix by considering a special limiting process and find a rational-type solution for this equation.