基于模型驱动的Web应用自动化测试平台设计与应用

为了提高Web应用的测试效率和测试覆盖率,保证Web应用软件的质量,设计了基于模型驱动的Web应用自动化测试平台。该平台结合了基于UML模型的测试用例生成、基于关键字驱动思想的框架设计和复杂多层的自动化测试框架,实现了测试用例自动设计生成及测试自动化执行,增加了测试脚本的复用性,显著提高了测试效率和测试覆盖率。最后,给出应用实例,并与现有的测试方法和平台进行对比,突出本平台的可行性和应用价值。     

FPGA软件测试模型及过程管理研究

FPGA软件测试严重滞后于应用增长的速度,部分领域甚至未将FPGA软件测试纳入测试范畴。在产品的研制过程中,由FPGA设计故障导致的修改调试已成为影响进度和增加成本的瓶颈。因此,文中针对FPGA测试的现状,结合FP-GA设计的特点,对FPGA软件测试的模型和过程管理进行研究,给出一套适合FPGA设计的测试模型和过程管理体系。通过采用规范化、有序化、系统化、面向工程的、面向任务的文档及配套管理手段进行正确引导、组织和实施测试活动,持续改进测试流程中各个阶段工作质量和效用,及早及时地发现和关闭FPGA设计开发过程中存在的缺陷,提高FPGA设计和测试的沟通效率,最终保证FPGA产品的质量,提升客户的满意度。     

一种面向对象的Web Application测试模型

为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究.Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法.提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试.     

从UML设计模型到测试模型的研究*

为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程.通过实例说明如何从UML设计模型转换为UTP测试模型的过程.此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持.     

一种新的软件测试过程模型—“跑道”模型

软件的测试过程模型在软件的开发过程中起着重要的指导作用,其实施效果的好坏能够直接影响软件的质量,通过分析一些典型的测试模型如X模型、W模型、V模型等的特点和不足,结合软件开发实际需求和软件测试过程模型的设计原则,提出了一种改进的软件测试过程模型——“跑道”模型,该模型能体现出设计与测试的全过程,强调了客户、设计人员和测试人员之间互动的必要性,将该模型应用到智能电表与计量终端软件的开发过程中,在提高软件测试效率、保证软件质量方面有着明显优势。     

航空机载软件测试质量评价方法研究

软件测试是提高软件产品质量和降低软件维护成本的重要手段。针对高安全关键航空机载软件测试质量评价难题,结合航空机载设备研制生存周期、航空机载软件研制生存周期和航空机载软件测试阶段,提出一种全生存周期航空机载软件测试质量评价方法,并建立了基于软件研制过程测试、三方测评、定型/鉴定测评和用户使用四个阶段的质量评价模型,包括测试需求分析和策划质量、测试设计和实现质量、测试执行质量和测试总结质量4项活动和18种度量元。通过工程实践证明,该方法技术实现上可行,具有评价要素更完整、评价模型更合理、评价结果更客观的特点,为解决航空机载软件测试质量评价提供了一种新方法,最终能达到降低软件维护成本和提高软件测试质量的目的。     

基于模型的航空机载软件测试用例复用方法研究

为降低航空机载类软件测试费用,提高测试质量和测试效率,提出了基于模型的测试用例复用方法,设计了面向复用的测试用例模型,并给出测试用例自学习复用算法.最后通过某卫星导航定位系统(GNSS)接收机软件测试实验证明了该方法的有效性.     

OLAP性能测试方法研究与实现

随着商业智能市场的逐步扩大,联机分析处理(OLAP)系统的使用质量评估已经成为数据库应用的研究热点.作为效用特性的OLAP系统性能评估需要一个性能基准.以OLAP委员会推出的APB-1性能基准为基础,首先设计了面向多维数据库的立方体(Cube)模型以及相应的多维表达式(MDX)查询模板,在Cube模型设计的过程中修改了APB-1基准ROLAP星型模型的不足之处;接着在测试数据一致和测试参数一致的前提下,通过对设计的MOLAP模型查询结果与ROLAP模型查询结果进行对比分析,证明了MOLAP模型及MDX查询模板设计的正确性;然后给出了OLAP性能测试流程,描述了支持ROLAP和MOLAP性能测试的工具框架及其主要模块.最后使用该测试框架在商业数据库管理系统上对ROLAP和MOLAP进行并发查询实践,验证了框架的有效性.提出的方法及技术实现为未来OLAP产品性能的测试和评价提供多维数据模型、业务模型和工具的支持.     

模型驱动的自动化测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。     

装备测试性设计辅助决策系统关键技术研究

针对测试性设计的辅助决策工具是装备测试性设计水平提高的关键技术。围绕测试性设计辅助决策系统实现,从装备测试性设计建模、装备测试性设计与分析优化算法、辅助决策系统实现等三个方面展开研究,在分析现有模型的基础上提出了用于测试性设计的信息模型建模思想,并对测试性设计过程中的诊断优化算法进行了研究,最后完成对测试性模型、诊断策略的集成,对系统平台实现的关键技术进行了研究。本研究是实现装备测试性设计辅助决策系统的关键。