模型驱动的分布式测试执行自动化研究与实现

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。本文提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,本文提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,我们设计了一个分布式测试执行框架。最后,通过Web 应用测试的实例验证了该方法能有效减少测试时间。     

基于云测试的自动测试系统体系架构研究

为了解决面临保障任务时,我军现有保障设备对武器装备故障检测周期过长以及测试资源在测试周期中被单个故障装备长时间占用的问题,对基于云测试(cloud testing)的自动测试系统(ATS,automatic test system)的体系架构进行了研究;以软件可移植性、硬件可互换性和系统互操作性为设计原则,对面向信号测试领域的云测试系统的体系架构进行了分析;在充分研究现有ATS的体系架构及其存在的突出问题的基础上,提出了基于云测试的ATS的软、硬件模型;为构建基于云测试的自动测试系统的开发和相关关键技术的研究提供了以有益的借鉴并打下了坚实的基础.     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

消息交互系统领域驱动测试框架研究与应用

为解决消息交互系统测试用例编写维护复杂、效率低下的问题,基于领域驱动测试思想,针对消息交互系统的特点,提出一种通用消息交互系统领域测试模型。在此基础上设计开发了消息交互系统领域驱动测试框架,用领域语言描述测试用例,采用领域驱动设计DDD四层架构,基于领域模型,对测试用例进行组织、设计和开发,并直接驱动执行,提高了消息交互系统的测试效率。     

一种电传飞控系统测试性架构设计与评估技术研究

针对分布式电传飞控系统进行自上而下的测试性需求分解,突破了系统测试性设计完整可追溯性难题,结合系统分布式架构,充分发挥主飞控计算机作为控制调度核心和作动器控制器等部件作为智能节点的作用,创造性地为国内某型运输机电传飞控系统提出一种集中/分散结合的测试性架构,实现了系统由控制核心部件向外分层逐级激励的机内自检测方法,可有效提高故障检测效率、缩短检测时间;针对分布式电传飞控系统采用图形化方式建立基于多信号流的故障传递模型,形象地描述产品的测试性设计,建立体系性的建模方法、原则和流程,突破以往测试性建模使用不规范、模型可信度不高的难题,根据评估结果迭代方案设计,从而使测试性设计满足测试性要求。     

基于SOA的模型驱动测试应用研究

随着应用系统规模增大,功能复杂性增强,对于用于保证软件质量的现有软件测试技术显得越来越力不从心。特别是近几年兴起的基于模型驱动架构的分布式并发系统对软件测试提出了更高的要求。模型驱动测试从系统层面上分析测试系统,根据系统需求说明书和测试任务,设计系统测试模型,生成测试代码,执行测试过程,大大提高了软件测试的效率。本论文基于模型驱动架构设计一个功能简单的货币交换Service,阐述模型驱动测试软件测试过程。     

通用网管接口测试事务模型的描述方法

网管接口一致性测试的自动化技术一直是相关测试研究工作的重点之一,而测试事务模型的提出使网管接口一致性测试的自动化程度迈上了一个新的台阶。文章基于对网管接口一致性测试的研究和实践,提出了一种基于XML格式的测试事务模型描述方法,给出了该描述方法的Schema定义。文中研究的描述方法可以应用于目前主流的网管接口技术,并在网管接口测试过程中减少大量的人工操作,缩短测试周期,显著的提高了测试效率和测试自动化程度。     

基于改进V模型的软件测试过程研究

软件测试过程在软件开发中发挥着重要作用,传统的基于V模型的软件测试过程比较滞后,在软件代码完成之后才开始测试活动,当发现软件缺陷时需要付出较大的代价。该文提出了一种改进的软件测试过程,将测试过程中的确定测试需求、制定测试计划、设计测试用例三个环节,与软件需求分析、软件概要设计、软件详细设计活动并行开展,有助于在软件开发早期发现潜在的缺陷,能够有效提升软件质量、缩短软件开发周期、降低软件开发成本。     

基于BOM动态测试框架的设计与实现

为基于基本对象模型(BOM)的仿真模型测试提供测试平台,提高模型可靠性,为仿真系统的集成提供可靠的仿真模型,缩短仿真系统集成联试的周期,设计了独立的模型测试平台,在测试平台中提供BOM模型运行所需要的对象管理、数据分发、时间管理等服务,通过仿真模型在平台中的运行结果分析,验证模型接口以及功能。模型测试平台可为各种类型的模型提供仿真运行环境,平台运行效率可达到超实时仿真要求,模型集成效率提高。在大规模作战仿真系统开发中,可推广使用模型测试平台,提高模型可靠性,降低集成成本,缩短集成周期。     

基于LUA脚本的无线模块自动化测试

分析传统无线模块测试方法的制约性,设计和构建了基于LUA脚本的无线模块自动化测试平台,并且能够有效地加快无线模块测试进度,提高测试脚本的可复用性。该平台通过对被测对象的研究,对测试方法、系统架构、系统软硬件通用性的分析,并引入了基于LUA测试脚本的程序开发环境,实现了无线模块的自动化测试。通过不同的测试用例结果分析表明：该测试方法相对于传统无线模块测试方法缩短了测试周期,降低了开发成本,减少测试开销,运行稳定可靠,达到预期的目的。     

TTCN-3测试套开发模式及其应用

在测试系统应用研究的基础上,分析TTCN-3测试系统结构,提出适用于软件测试和协议测试的TTCN-3测试套开发模式。该模式借鉴设计模式和模板库思想,在设计和重用抽象测试套和可执行测试套两方面有所突破,可以显著提高测试系统的可复用性和可扩展性,缩短测试系统的开发周期。结合GSM的移动应用部分(MAP)协议栈测试为例,说明该测试套开发模式的实际应用。     

基于能力成熟度模型的软件测试改进

当前软件企业面临着用户需求日益复杂、软件产品架构日益扩大等问题。这些问题向软件测试提出了更高的要求。该文对传统测试模型进行了介绍和分析。基于以上工作,以CMMI的标准为指导对软件测试流程以及测试模型的改进提出了思路和方法。     

通用电路板自动测试系统的软件结构及实现方法

自动测试系统(ATS)的发展趋势是通用化,通用化的关键是系统设计采用相关测试标准和开放式的软件结构;针对电路板测试软件通用化的功能需求,提出了测试程序集(TPS)的通用开发环境和执行环境的软件结构和实现方法,介绍了基于依赖性模型的故障诊断方法和测试方法库的概念;该软件的主要特点:1)采用开放式软件结构;2)通用测试方法库的使用和和简洁的测试树开发界面提高了TPS的开发效率;3)多媒体信息查询使故障检测和故障隔离更容易;目前,该通用ATS软件已成功应用于多个自动测试系统,不仅显著缩短了系统的开发时间,而且减少了软件的开发费用。     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

基于软件层次化模型的软件测试数据生成

针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次化模型。该模型涵盖了软件与外部环境之间的交互,同时描述了软件内部结构信息。还给出了该模型测试数据集的生成算法：首先生成符合使用情况的测试序列,然后为测试序列生成覆盖软件内部结构的输入数据。通过针对示例软件的实验结果表明,与基于Markov链模型的测试方法对比,基于软件层次化模型的测试在满足软件测试充分性要求的同时,提高了测试数据集的代码路径覆盖能力和缺陷检测能力。     

一种专用测试系统的系统集成与软件开发

根据某测试系统的任务 ,提出了硬件系统和基于虚拟仪器的应用软件设计思想 ,并对系统软件结构和编程进行了较为详细的说明     

渗透测试技术浅析

渗透测试亦即以一个攻击者的身份对网络系统进行安全检查和审核,是对安全评估的一种有益补充。根据 当前各类渗透测试技术,简单分析研究总结了渗透测试的对象、方法、基本步骤,并设计了一种渗透测试系统的模型, 概括介绍了该模型的架构设计、主要节点和测试流程。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

基于UML的研究生管理系统测试策略研究

统一建模语言UML是一种描述能力强大并且涵义直观的标准建模语言。本文在介绍使用统一建模语言(UML)的各种模型图进行系统框架设计的基础上,分析了对应于不同模型图,在软件测试中相应的测试策略,最后讨论了未来可以研究的方向。