教学课程资源库 更多>>

关键词： 飞行控制软件   姿态控制功能测试   中断模拟测试   遥测功能测试   系统最差情况执行时间测试  

摘要： 嵌入式系统是计算机、通信、自动化控制等技术高度整合而且产生的产物。随着嵌入式软件在各个领域的广泛应用,对嵌入式软件的各项要求(软件运行的稳定性,安全性及可靠性)也越来越高,特别是作为航天国防产业,质量为重中之重,因而,应用于航天国防产业的嵌入式软件的测试工作也变得非常的重要。本文以我院承制的嵌入式箭载计算机飞行控制软件测试需求为背景,主要研究箭载计算机飞行控制软件通用仿真测试平台的研制及箭载计算机飞行控制软件测试过程中的关键问题。本课题主要有以下5方面的研究： 1、研究分析当前嵌入式软件测试的环境,结合嵌入式箭载计算机飞行控制软件本身的特性,提炼出适用于嵌入式箭载计算机飞行控制软件的测试策略,详细介绍嵌入式箭载计算机飞行控制软件半实装仿真测试平台的建立,提高了该嵌入式软件测试的质量和工作效率。 2、结合箭载计算机飞行控制软件自身的特点,研究分析了软件姿态控制功能测试的问题,通过研究箭载计算机飞行控制软件姿态控制的测试原理,实现了姿态控制功能的自动化测试工具。 3、本课题从实际需求出发,克服传统中断测试方法中的困难,保证软件运行安‘全,提高软件可靠性,提出中断模拟测试的概念。中断模拟测试基于中断资源冲突自动化分析技术、中断触发技术和中断时序控制技术等核心技术,摆脱实装运行平台对测试的约束,搭建能够控制时序和自由调度中断运行的模拟测试环境。 4、通过分析多个型号飞行控制软件遥测功能相关的软件测试遗漏问题,遥测错误占有很大的比例。因此,本课题对箭载计算机飞行控制软件的遥测功能测试覆盖性进行了研究。 5、本课题分析了箭载计算机飞行控制软件系统最差情况执行时间测试的需求和难点,配置RapiTime软件和硬件测试环境,并结合RTBx硬件设备,尽可能有效地获得系统最差情况执行时间数据,以供软件设计师参考,依此对软件进行性能优化。

关键词： 通信网络企业   信息技术核心集中系统   模块设计   软件测试  

摘要： 随着4G时代的来临，网络的提升将进一步促进移动互联网的快速发展，同时，虚拟运营商的加入，互联网企业OTT业务的发展，将加剧通信市场的竞争，传统运营商无论是业务模式或是运营支撑都面临着前所未有的挑战。中国联通提出要向互联网企业学习，注重客户体验、产品快速迭代、业务模式不断创新，在这样的背景下，中国联通首先需要建立一套全国集中的IT核心系统，以支撑全国统一产品的业务运营，在此基础上，实现业务模式的快速迭代创新。　　中国联通传统的业务支撑系统现状是以省为核心的架构模式，业务逻辑和用户数据均在省公司管理。要实现支撑二亿目标数量级的电信集中业务支撑系统，无论在国内还是国外均无案例可借鉴。本论文提出了建立全国一级架构的业务支撑系统设计方案，涉及总部、省分数百套原有系统的对接和改造。同时完成如此大规模项目的版本实施、功能迭代、测试调度等项目管理工作也具有十分重要的意义。　　为了实现全国31个省业务支撑系统集中一体化需求。本文在中国联通集团公司移动宽带领先及IT集中战略的指导下，阐述了IT集中系统建设的必要性，详细分析了集中系统建设需求及省分公司BSS系统、省分外围系统配套改造需求，对IT核心集中系统的功能架构、部署架构、系统接口、数据库对象等方面进行了概要设计，重点对IT集中系统营业受理模块进行了详细的设计与分析，并对实现结果进行测试及验证。最后，对IT核心集中系统的演进趋势及后续展望进行了探讨。　　本文的研究完成了中国联通亿级用户全国一级架构IT系统的建设，实现了移动网营业办理、计费账务、网元指令开通功能，并通过散号路由表方式创新的解决了省分BSS系统与总部集中系统跨平台用户迁转需求，本文的研究对解决电信行业IT生产系统及数据集中需求给出了参考设计方法和基本原则。同时，对解决其他行业相关系统集中和数据迁移需求具有重要的指导意义。

关键词： 软件测试   云计算   本体   蚁群算法  

摘要： 软件测试是保证软件质量的重要手段,会耗费大量的人力物力。自动化测试在近年来有着显著的发展,其在节省测试开支方面有着明显的作用,但仍存在诸多需要人工完成的环节。云计算的出现为自动化测试提供了新的可能,其资源自动生成、弹性分配的特性将大大降低自动化测试的成本。云计算的弹性服务、资源池化、按需服务、可计费服务和泛在接入等特点,使得我们可以构建更加可靠的自动化测试环境,提供更加方便和低成本的软件测试服务。 云测试环境的自动化配置和测试任务的调度对云测试的效率有着重要影响。测试项目变动时,测试环境的配置往往会耗费大量人力。而如果没有优秀的测试任务调度方法,将会造成云计算资源的极大浪费,降低自动化测试云的整体效率,提高自动化测试云的运营成本。 本课题针对云测试中并行任务的调度进行研究,重点研究了自动化测试中测试环境的自动化配置以及测试任务的调度方法。首先,确定测试环境资源的描述规范,使用本体来描述测试所需环境,并通过本体的匹配来实现测试环境的自动化配置与部署。之后,通过定义测试用例、测试流、可并行测试路径,描述了软件测试中功能点和基础测试单元的关系,发掘出了可并行测试路径,为任务调度提供了基础。测试任务调度属于多目标优化问题,很难在线性时间内求出最优解。针对这一特点,提出了综合了改进蚁群算法和DAG网络的测试任务调度方法。 论文基于开源的云计算框架OpenStack、web自动化测试工具selenium、JAVA的Web开发框架Struts以及Web脚本框架JQuery搭建了一个基于云计算的自动化软件测试系统。实现了测试项目的管理、测试任务的提交、测试状态的监控、测试镜像的匹配、测试镜像的自动化配置、测试虚拟机的自动生成、测试任务的分发调度、测试结果的回收功能。 最后,通过对系统进行测试实验,验证了本文所提出的方法的有效性,证明了自动化测试云可以提高软件测试效率、节省软件测试成本。

摘要： When fitting complex models, such as finite element or discrete event simulations, the experiment design should exhibit good properties of both projectivity and orthogonality. To reduce experimental effort, sequential design strategies allow experimenters to collect data only until some measure of prediction precision is reached. In Chapter 2, we present a batch sequential experiment design method that uses sliced Full Factorial-Based Latin Hypercube Designs (sFFLHDs), which are an extension to the concept of sliced Orthogonal Array-Based Latin Hypercube Designs (OALHDs). At all stages of the sequential design, good univariate stratification is achieved. The structure of the FFLHDs also tends to produce uniformity in higher dimensions, especially at certain stages of the design. We show that our batch sequential design approach has good sampling and fitting qualities through both empirical studies and theoretical arguments. Software testing is often done in an ad hoc manner with various expert users simply trying many different common functions to find and report bugs in the software. In Chapter 3, we focus on a particular software structure that is common to options menus and other settings menus. The key aspect of this type of menu system is that the no real action is taken except at the very last level of the menu where some option is selected. That selected option then remains in force until a different option for the same function is selected. We provide a batch sequential design methodology that allows operators to continue to work for as long as they are able and continue to make progress on finding the most important errors first (presuming that all combinations will never be able to be tested). We focus on discovery of three types of errors: (1) Errors in the menu system that prevent the user from moving to the next level of the menu or inability to choose a certain option, (2) Errors in the performance of the code due to the selection of a certain option,

关键词： 软件测试技术   高职   专业建设  

摘要： 本文充分分析了目前软件测试行业就业市场情况、生源情况,结合北京信息职业技术学院软件测试行业办学状况,充分分析专业发展中主体对象约束关系,总结软件测试专业建设思考与研究。

关键词： 自适应系统   软件质量   错误处理   环境建模   软件测试   动态容错  

摘要： 面对着日益开放、复杂、难以预测的软件运行环境,软件系统常须随着环境的变化,自主地调整其自身的行为来应对环境的变化,以持续满足其业务需求。具有这种能力的软件系统称为自适应系统。自适应系统在运行时,常常以“感知一决策-适应”的方式与其运行环境之间进行复杂的交互,而这种交互的复杂性也会为自适应系统带来新的质量问题,包括系统感知到的环境和真实的环境之间存在的不一致性、环境的变化可能超出系统设计时的预期而导致的适应策略不完备性、以及对系统自适应硬件动作的操控存在的不精确性等。传统的软件错误处理技术直接应用于自适应系统有较大的局限性,比如:难以对环境以及其变化规律系统性的理解和建模,使得模型检验不够完备;忽略了系统的自适应动作对环境的影响,使得测试的结果不够精确;对系统硬件层面的一些操作认识不足,使得动态容错不可行等。其原因在于传统的软件错误处理技术简单地把系统与环境之间的互动关系作为系统普通输入输出所导致的。本文认为在自适应系统中,环境与系统应该处于同等重要的地位,并且应从系统设计、开发到运行阶段都显式地考虑环境对于系统的影响。为此,本文提出了一套基于显式环境模型的自适应软件系统错误处理技术,主要工作如下:1.给出了一种面向自适应软件系统的显式环境建模方法。环境模型是由动态环境状态和状态迁移关系组成的标号迁移系统,并作为在软件系统运行时刻的显式组成部分加以维护。相对于传统途径下直接以传感数据表示的环境信息和仅通过简单推理得出的环境状态,本文的环境模型具有更加丰富的语义信息,既能描述出系统设计时对环境情境的预期,也易于描述出环境情境之间的变化规律。2.提出了一个面向自适应系统的自动化测试用例生成技术。基于上述显式环境模型,通过对环境的状态进行符号化,使得自动化测试用例生成工具可以操作和理解环境状态,然后将被测程序重定向到环境模型,并使用动态符号执行的技术自动化生成测试用例。该技术被用于云计算应用的环境相关自动测试,实验结果表明,该技术一方面显著提高了测试的代码覆盖率,另一方面也大幅度减少了误报,从而提高了测试结果的精确性。3.提出了一种自适应系统运行时错误发现和修复技术,其针对目标是一类和系统运行时失效有着很强关联性的错误,即同步丢失错误。基于上述显式环境模型,本文首先形式化地定义了同步丢失错误,进而给出了基于显式环境模型的动态错误自动发现和修复的支撑机制,最后还给出了一种对系统运行时刻错误修复能力进行预测的静态分析算法。实验结果表明,这种错误修复技术可以显著降低系统运行时失效的概率。4.实现了一个面向机器人小车应用的自适应软件中间件平台原型。该平台支持上述显式环境建模,使得开发者可以方便地编写基于规则的自适应系统;同时也对上述两项错误处理技术提供了支撑。此外,该平台向下屏蔽各种对硬件操作的细节,同时集成了传感器不一致性的检测消解以及硬件操控的误差补偿技术;向上提供了一个不依赖于具体硬件平台、编程语言、通讯协议的自适应系统编程模型接口,简化了自适应小车应用软件的开发。

关键词： 光刻机   软件测试   自动化测试工具  

摘要： 光刻机是生产大规模集成电路的核心装备，制造和维护光刻机需要高度的光学和电子工业基础。作为集成电路生产工艺中最重要的一环光刻，它的灵魂装备光刻机，结合了当今诸多现代科技于一身。如果把光刻机比作一个人，光刻机软件就是这个人的大脑，光刻机的实际应用情况，决定了光刻机软件的复杂度和精密度要度远远超过普通应用软件，要保证这个大脑的可靠性，保证光刻机软件的正常运行，不仅仅需要开发人员的努力，大量的软件测试也是必不可少的。 本文的目标是设计并实现了一个针对现阶段国产先进封装光刻机软件开发过程的自动化测试工具，它实现了在一般操作环境上测试运行在SUN平台和vxWorks平台上的光刻机软件，并帮助实现自动化测试过程，提高了工作效率。此套自动化测试工具实现后，在实际的工作中也得到了比较好的应用。 首先论文介绍了光刻技术的基本原理，之后阐述了软件自动化测试的优势，之后论文对软件自动化测试在国内和国外的现状进行了分析，并简单介绍了软件自动化测试的过程，之后对现有市场上的一些商用自动化测试工具进行了调研，在此基础上，认为自主开发一套能够适合现有光刻机软件系统开发过程的自动化测试工具，是最合适目前的现状的。 在工具开发前，论文介绍了现阶段最新国产先进封装光刻机的整机软件构造，展现了光刻机整机软件的系统架构和系统范围，在此基础上，描述了光刻机软件的主要业务和功能需求，并分析了在实际生产过程中，光刻机软件的主要运行参数。 经过以上的分析，本论文就进入测试工具设计需求阶段，描述了软件的设计背景，并对自动化测试工具所要实现的软件需求进行了一个概述，提出了自动化测试工具的总体设计目标和思路，在此基础上，将自动化测试工具分解为测试驱动模块、测试公共库模块、代码生成模块、数据服务模块几大部分，分别实现通用测试驱动、底层的公共的测试接口库、代码生成、数据服务等功能。 在工具的具体实现阶段，论文介绍了整体自动化测试框架的选择，描述了需求中提到的各个模块的设计与开发，着重描写了测试公共接口库模块所使用的技术特点、通讯机制以及错误处理方式。以底层测试公共接口库为基础，各个模块之间能够互相配合，达到自动化测试的最终目的。文中还约定了测试用例文件、测试数据文件的格式，以及相关配置信息。 在自动化测试工具完成开发之后，在光刻机软件系统的实际测试过程中，对自动化测试工具进行了实验验证，对测试结果做了统计与分析。 论文最后对整个工作进行了总结，指出了此次设计与实现的自动化测试工具的不足，并探讨了未来的发展方向。

关键词： COPAS/SARSAT   示位标   嵌入式系统   软件测试  

摘要： 随着我国航天事业的不断发展,载人航天越来越受到国家重视,国际救援示位标在载人航天领域的应用也越发的广泛。国际救援示位标是载人飞船发生紧急情况时的求救装置,在用户遇到危险需要救援时,可以发出符合国际标准的406MHz遇险救援信号,COPAS/SARSAT卫星收到信号后,将其转发到地面站,提供较为准确的救援信号,在较短的时间内组织救援。 论文以406MHz国际救援示位标为研究对象,提出了基于MCS-51单片机的国际救援示位标软件的设计和实现方案,首先介绍了国际救援示位标的硬件设计方案,基本功能要求和技术指标。然后对系统设计、软硬件功能分配、以及内外部接口、可靠性、安全性和健壮性的软硬件进行了联合设计。最后深入研究了国际救援示位标软件,配合国际救援示位标硬件完成GPS数据的接收,自检工作控制命令的接收,根据接收到的控制命令对GPS数据进行编码,变换成调制单元需要的码型,然后控制设备的按照一定的工作时序进行数据发送。软件的需求分析、概要设计、详细设计进行了逐步介绍,并对软件测试系统和用例进行了详细研究。 测试结果表明,国际救援示位标软件完成了对GPS信号的解码、调制信号编码正确,调制度符合要求,实现了预期的功能,达到了性能指标,对将来研发新型救援示位标工作具有一定的意义。

关键词： 性能测试   软件测试   WebSocoket   Web应用   JMeter  

摘要： 随着互联网应用的不断发展,针对传统的HTTP协议的Web应用性能测试方法和工具已经日趋完善。在下一代Web标准HTML5中,越来越多的Web应用通过WebSocket协议实现了浏览器和服务器之间的实时双向通信。WebSocket协议的引入使得Web应用从单一的HTTP协议转变为HTTP协议和WebSocket协议共同工作的复合型应用。目前,由于主流性能测试工具的协议库尚不支持WebScoket协议,如何在现有方法的基础上对基于WebSocket协议的Web应用进行性能测试成为了软件性能测试领域中值得研究的课题。 首先,本文研究和分析了Web应用性能测试的相关理论,包括性能测试原理、分类、性能指标以及常用的性能测试工具和方法。通过与传统的Web实时通信技术进行比较,阐述了WebSocket协议技术特点和工作原理。 其次,通过分析一个基于WebSocket协议的Web事件处理系统,本文总结出该类系统与传统Web应用系统在性能特征上的差异,根据这些性能特征重新定义了系统的主要性能指标,并针对该系统设计了一系列性能测试用例和性能测试场景。 再次,提出一个对基于WebSocket协议的Web事件处理系统进行性能测试的方法。通过扩展现有的性能测试工具如JMeter和开发独立的WebSocket客户端软件,设计并实现了一个适用于WebSocket协议的性能测试框架。 最后,本文使用该性能测试框架对基于WebSocket协议的Web事件处理系统实施了一系列性能测试,验证了性能测试框架的正确性和有效性。在性能测试过程中,通过收集和分析系统各项性能指标,揭示了系统的瓶颈并提出改进方案。

关键词： 软件测试技术   驱动测试模型   proc缺陷跟踪   TCMM分析  

摘要： 本篇论文主要介绍了如何将驱动测试模型应用在软件测试领域中，并运用该模型对软件缺陷进行跟踪和管理。使用驱动测试模型分别与V模型、W模型、H模型进行对比，介绍驱动模型动态注册、挂载、运行和缺陷跟踪的全过程，客观分析该模型的灵活性与易用性的特点。这种方法既可以保证高质量的软件代码又可以在不缩减功能的情况下缩短软件的开发周期。 利用驱动节点的测试模型就是用去驱动的可拆卸性突出测试模块单元与测试模块单元之间的多级关系，以满足当今的软件开发需要。重点描述该模型针对变更快、易反复的需求引入“节点”概念并运行。文中利用驱动设计理念和方法建立了案例目标系统的需求模型和开发逻辑的定义。重点突出驱动测试节点开发手段中的基本设计概念和软件出现危机后的相应处理流程，利用回归特性最后触发测试条件和执行相关函数。在稳定性方面，利用能力成熟度TCMM方法分析该模型的鲁棒性。 用实例描述驱动模型中以proc文件上报软件缺陷的方法，软件缺陷在整个项目运行周期（生命周期）内跟踪所有的状态，模型通过对软件缺陷的实时监测，对测试过程、项目管理和项目的进展、项目的贡献度方面都有比较大的帮助和提升。提出设计proc的设计目标是完成一套交互强的设备模型，而这种模型的更深层次是拟定通过双向工程通道RTE进行全双工通讯向项目提供系统体系结构或模型之间的交流机制。模型也包括全部的软件设计和对代码的描述可以方便地让开发工程师尽快修正所出现的缺陷，也可以通过对缺陷的跟踪进行技术积累，也可以根据不同的缺陷情况，给项目管理者进行实时调整项目的开发进度提供参考。 本文还在支持驱动模式的数据库中进行了相关的研究，通过增加收集的缺陷信息的原因分析，可以大大提高内核对驱动缺陷的发现能力和预想解决能力。测试驱动的最终目标是让系统获得一个可以接受的状态。在驱动节点中通过分析软件的缺陷趋势图，可以有效预估即将发生的缺陷的方向比例，原则上可以提供整个软件开发流程的质量与效率。 同时本文也利用Linux-QT架构与Android原生系统对该模型的兼容性进行分析。