基于GUI功能设计的电机仿真试验系统

从图形用户界面(GUI)入手,结合具体的软件图形界面,给出了利用GUI制作图形用户界面的基本方法,建立了基于GUI界面的Simulink模型仿真试验系统,获得了不同电机的不同特性曲线。结果表明,该界面具有开放性,可方便用户不断完善并扩充其功能。

基于事件交互图树模型的GUI测试技术

针对目前GUI(graphical user interface,图形化用户界面)软件测试存在的复杂性和低效性问题,提出一种事件交互图树模型.将结构操作事件和系统交互事件相分离,建立组件树图和事件交互图模型,给出详细的GUI软件建模方法,并根据该模型设计测试覆盖率标准和测试用例生成方法,最后应用到实际系统中取得良好效果,大大提高了GUI测试的质量和效率.

GUI回归测试的测试脚本修复技术研究

回归测试对修改后的软件重新进行测试,确认修改没有引入新的错误或导致其他代码产生错误。研究图形用户界面(GUI)回归测试脚本的自动化修复技术,采用有限状态机描述GUI的交互行为,并基于有限状态机(FSM)产生测试用例集;使用自动化测试工具生成测试脚本,建立状态迁移和测试脚本的映射关系表;通过比较GUI新旧版本的FSM得到GUI的变化信息,根据变化信息和映射表对原测试脚本自动修复。实例验证了脚本修复方法的可行性和有效性,修复了失效的测试脚本,保证了修复后的测试脚本的完备性和一致性。

GUI测试技术调查与分析

GUI(图形用户界面)软件系统的多样性决定了测试方法的多样性。针对GUI软件测试中如何选择测试技术的问题,通过设定的8个技术参数,在对测试技术进行分析后,提出了根据故障模型对GUI测试技术进行分类的方法。分析结果清晰地显示了每种测试技术的特点,能为测试员选择合适的测试技术完成测试活动提供新的思路,提高测试效率。

基于交互事件流模型的GUI测试用例生成

根据GUI基于事件驱动的特点,对事件流思想在GUI测试中的应用进行研究。针对事件流模型对GUI事件之间的关系描述过于薄弱,生成大量冗余测试用例的问题,在事件流模型中加入用来描述事件间交互关系的信息。同时指出事件交互的本质是事件处理程序之间的变量共享和消息传递。最后给出生成有效交互测试用例的具体算法,并在实例中验证了其有效性。

GUI测试中多级形态模型的分割与应用

基于模型的GUI测试方法(MBGT)可自动化生成测试用例,在MBGT中引入多级形态模型(Multilevel Morphology Model,MMM)可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效力。但多级形态模型只能整体扩展到高阶,且随着模型的扩展,测试用例的长度与数量急剧增长,极大地影响了测试效率。对此提出一种可进行局部扩展的多级形态模型的分割方法以及相应的测试用例生成策略。该方法通过GUI事件的分类,实现了对基础模型的分割与化简,并采用广度优先搜索(BFS)与中国邮递员问题(CPP)求解算法生成测试用例。该方法使得GUI模型的表达更为清晰直观,在有效区分测试重点的同时,缩小了测试集规模,极大地提高了多级形态模型在GUI测试中的灵活性与测试效率。实验证明,经模型分割后的多级形态模型具有与未分割模型基本等同的错误检测效力,且随着模型级数的提高,模型分割对测试效率的提升增大。

基于行为树模型的Android应用GUI自动随机测试方法

基于马尔可夫链等统计模型进行GUI测试是目前最有效的GUI自动化测试方法之一,但目前的方法在开始测试前需要很多前置条件,且要花费大量时间做静态分析等准备工作,从而导致测试效率和自动化水平不高。提出一种基于行为树的GUI自动化随机测试方法,该方法不需要进行静态分析,只需通过统计模型从用户使用日志中创建行为树模型,且可以动态地对行为树模型进行更新,以增加用户很少或从未使用过的事件的概率。对三种开源Android应用程序的评估,以及和其他GUI自动测试方法的比较结果显示:提出的Android应用GUI自动化随机测试方法具有很好的效果。

移动应用GUI测试技术综述

移动应用的GUI测试不同于传统桌面端软件测试,主要介绍移动应用的GUI测试技术,清晰给出GUI测试的定义,然后依次从GUI测试框架、GUI测试技术、GUI测试工具、GUI测试的评估方法、GUI测试技术挑战等几个方面详细阐述关于GUI测试技术。最后,通过经验分析的研究方法对目前针对移动应用的GUI测试技术进行分析,总结出针对移动应用的GUI测试的研究现状以及未来的研究方向。

软件测试改进模型研究进展

软件测试模型起到指导软件测试过程的框架性作用。近些年不少专家学者在针对几种传统测试模型局限性的基础上提出的一系列测试改进模型大都遵循"测试先行"思想,将测试活动并行于开发过程,贯穿于软件生命周期中,并通过实际测试项目予以实现。在对每种测试改进模型结构特征及优缺点进行综述性研究的基础上,根据现代软件项目所呈现出迭代开发周期短、设计文档不完全、测试用例设计演化频繁等特点,提出了引入基于经验的探索性测试策略,构建完善的探索性测试过程体系并有机结合完整的软件测试生命周期将是未来软件测试模型的研究方向。

双柱悬索拉线塔的精细化模拟及模型分析

基于有限元软件ANSYS,建立了双柱悬索拉线塔的壳单元精细化有限元模型和常规梁单元模型,在试验工况下模拟拉线塔主、斜材杆件应变随荷载加载等级的变化,并将两种模型的模拟结果与试验结果对比,同时也比较了两种有限元模型对结构整体响应的影响.结果表明:壳单元模型对拉线塔主、斜材应变的模拟结果均与试验结果吻合较好,梁单元模型对主材应变的模拟结果与试验结果吻合较好,对斜材应变的模拟结果与试验结果误差较大;上述两种有限元模型对双柱悬索拉线塔的宏观响应指标的影响较小,对杆件内力的影响较大.

拉线初张力对特高压双柱悬索拉线塔受力性能影响的风洞试验研究

为研究拉线初张力对±800 k V特高压双柱悬索拉线塔抗风性能产生的影响,分别取拉线初张力为其设计承载力的15%、20%、25%,进行了塔线体系气动弹性模型的风洞试验。试验结果表明:拉线初张力的改变对荷载状态下塔线体系的受力性能影响显著,且对双柱支座反力和拉线拉力的影响呈非线性关系,应对拉线初张力进行优化选取。

斜拉桥牵索挂篮有限元计算与静载试验对比分析研究

甘竹溪特大桥是一座主跨210 m的预应力砼斜拉桥,采用牵索挂篮施工。为确保桥梁施工过程中结构的安全性和立模标高的精确确定,建立牵索挂篮的空间有限元模型,按实际施工阶段计算其应力和挠度,并与静载试验实测数据进行比较分析。结果表明,该挂篮设计合理,在结构强度、刚度和稳定性方面均能满足规范要求,并有较高的应力安全储备,理论值与实测值的总体变化趋势一致,可根据挠度实测结果确定立模标高。

小儿化痰止咳颗粒(糖浆)质量评价分析

目的:通过对45个生产企业的237批小儿化痰止咳颗粒(糖浆)的国家评价性抽验结果分析,评价小儿化痰止咳制剂质量状况。方法:采用法定检验方法和探索性研究进行样品检测,统计分析小儿化痰止咳制剂质量状况并进行评价。探索性研究:1吐根酊HPLC特征图谱研究;2制剂HPLC特征图谱研究;3桑白皮流浸膏薄层色谱研究;4 HPLC法测定盐酸麻黄碱、吐根碱和吐根酚碱含量;5 HPLC法筛查可能的人工甜味剂和化学类祛痰镇咳药;6顶空GC法测定糖浆剂中三氯甲烷残留量;7 GC法测定成品及原料中的甲醇残留量;8 HPLC法测定盐酸麻黄碱含量均匀度;9建立近红外光谱模型、拉曼光谱模型。结果:法定检验结果显示,226批小儿化痰止咳颗粒中8批不合格,合格率96.5%,11批糖浆剂均符合规定;探索性研究结果表明,全部糖浆剂和41.4%的颗粒剂存在质量问题。结论:小儿化痰止咳颗粒(糖浆)虽然法定检验合格率很高,但通过探索性研究发现部分样品还存在一定的质量问题,质量标准亦有待提高。

基于模型的图形用户界面事件交互图生成方法

用户界面(GUI)测试是一项很困难的工作,一个重要的原因是背景事件会影响测试结果,基于模型的图形用户界面测试技术可以解决这个问题。目前基于模型的图形用户界面测试技术有两种常用的GUI模型:事件流图(EFG)和事件交互图(EIG)。这两种模型可以表示GUI事件之间的交互关系,其中EIG是从EFG转换而来的。通过一个简单的GUI实例对GUI中的事件进行了明确的划分,并且为适应文中的划分事件改进了原有的MX算法。最后根据GUI的事件驱动性和对GUI事件的划分提出了一种由EFG转换成EIG的新方法:驱动算法。实例表明,此方法使EFG转换成EIG的过程更简单。

探索式软件测试融于传统测试模型的研究

自软件测试成为单独的研究领域起,测试模型开始从无到有,且一直不断地优化。现在广泛使用的传统测试模型通过多年的实践检验,基本能够满足各类测试的需求。探索式软件测试是一种新的测试理念,它体现为一种灵活、自由的方式,与传统测试有很大的不同。将探索式软件测试融于传统软件测试模型中,既是对传统模型的创新,又是更好地指导测试的需要。

压力与产量反褶积在海上探井资料解释中的应用

简述了反褶积基本原理以及Schroeter反褶积方法。利用专业试井分析软件SaphireV4.12反褶积模块处理两口探井实测试井资料,由井底压力和地面产量反褶积出以一恒定产量生产的等效压力。与常规双对数诊断图相比,等效压力双对数诊断图能够反映全程压力历史背后测试井和油藏信息,可帮助诊断、选取合理的解释模型,获取储层参数和测试井边界信息。通过实例说明,压力与产量反褶积试井分析方法对于封闭油藏动态特征早期探测极其有用,开拓了压力数据分析的新机遇。

探查性测试在嵌入式GIS中的应用

在目前的软件开发中,人们已逐渐不再强调明确的软件需求,因此,在需求经常变更的GUI应用程序的开发过程中,如何使用一个高效的测试模式来提高软件质量受到越来越广泛地关注。探查性测试是一种能够很好地适应变化的新的测试模式,本文主要介绍了探查性测试的概念、特点、及其在嵌入式GIS中的应用。

海上探井短时试井资料快速解释方法

为对海上探井短时试井资料进行快速合理解释,判断储层性质,以W探井为例,对快速解释方法进行了分析。作业现场进行短时产能试井分析时,暂不考虑产能修正问题,只给出储层定性结果;作业现场不稳定试井分析时,利用地质资料选择分析模型,并与双对数曲线解释结果进行对比,以加快解释速度、准确判断储层性质。依据该解释方法将W探井测试层定性为高产高渗无污染储层,采用“油藏模型+井储+表皮模型+三边不渗透外边界”模型进行试井解释,解释得出三个断层与W井的距离,与地质构造图结果符合度很高,验证了模型选择和解释结果的准确性。该方法满足海上快速获取解释结果的需要,具有一定的适用性。

盐酸利多卡因及其制剂质量分析与探索性研究

目的:监测和评价盐酸利多卡因及其制剂的质量现状,为进一步改进提高其生产工艺和质量标准提供参考。方法:采用法定检验方法对抽样进行检验,以主要指标分析评价其质量;并对抽样进行如下探索性研究:测定盐酸利多卡因的残留溶剂及稳定性,比较不同色谱条件下有关物质杂质谱及建立近红外一致性模型。结果:按法定方法检验,样品合格率为100%,但应关注装量限度和pH控制范围。探索性研究结果表明,不同生产厂家的生产工艺和原料来源有所差异,但原料药及制剂在生产过程中得到了良好的控制。原料药溶剂残留均在限度范围内,中国药典有关物质色谱条件能有效控制杂质。盐酸利多卡因在氧化条件下不稳定,应注意生产及贮藏条件。结论:法定检验和探索性研究结果表明,盐酸利多卡因及其制剂总体质量良好。通过探索性研究,可为该产品质量进一步提高提供参考。

芎归汤有效组分抗东莨菪碱致痴呆模型学习记忆能力减退量-效关系研究

目的：对芎归汤有效组分抗东莨菪碱致痴呆小鼠学习记忆能力减退的改善作用进行药效评价,并确定芎归汤有效组分对抗痴呆模型改善学习记忆药理学效应的＂量-效＂关系和ED50,为进一步开展药效评价提供剂量依据。方法：取昆明种小鼠进行Morris水迷宫、DT-200跳台筛选训练,将合格的小鼠80只,雌雄各半,按体重随机分为正常对照组、东莨菪碱致痴呆模型组、药效剂量1~5组和阳性药组,实验前分别给予各自治疗药物,连续给药30天后,除正常对照组外均腹腔注射东莨菪碱造模,30 min后进行Morris水迷宫实验及跳台实验,分析比较不同剂量组之间学习记忆能力差异性。结果：小鼠Morris水迷宫实验显示,芎归汤有效组分对东莨菪碱致痴呆小鼠学习记忆能力减退有明显改善作用,可以明显缩短小鼠水迷宫潜伏期,在10.92~43.68 g/kg剂量范围内均有显著性差异,且呈现一定的剂量依赖性,其ED50为4.79g/kg。小鼠跳台实验显示,芎归汤有效组分对东莨菪碱致痴呆小鼠学习记忆能力减退有明显改善作用,可以延长小鼠跳台潜伏期和减少跳台错误次数,在2.73~43.68 g/kg剂量范围内均有显著性差异,且呈现一定的剂量依赖性,其ED50为2.70g/kg。结论：芎归汤有效组分对东莨菪碱致小鼠学习记忆能力减退有明显的改善作用,并且随着剂量的增加药效越来越明显,呈现一定的剂量依赖性,具有明显的＂量-效＂关系。