教学课程资源库 更多>>

关键词： 软件测试   故障定位   神经网络   预处理  

摘要： 软件调试是软件开发过程中一个非常重要的环节,也是一项即耗时又费力的工作。软件调试过程中故障定位技术的任何改进都会大大降低软件调试和维护的成本,当然具有非常重要的意义。近年来自动化的软件故障定位技术吸引了很多专家学者的关注,很多故障定位技术被提出,技术和工具取得了长足的发展。这些技术大都通过运行测试用例获得程序的执行信息,然后根据这些信息的差异来定位程序中的故障。作为一种机器学习方法,BP神经网络为人普遍接受,被广泛应用于好多领域并成功解决了一些现实问题。 对现有比较典型的几类故障定位技术进行了归类和总结,我们对标准的BP算法进行了改进并将之应用于软件故障定位,为此提出一种改进的基于神经网络的故障定位技术。它通过对程序的运行轨迹进行编码,得到编码后的数据作为BP神经网络的训练样本。依次输入BP神经网络训练样本数据,反复调整网络的权重,让网络误差达到预设的范围,最后输入测试单位矩阵计算每条语句的可疑值,通过对语句的可疑值排名来定位故障。 本文用MATLAB R2009b来进行实验,通过调用MATLAB R2009b中的神经网络工具箱中的神经网络函数来构建神经网络,编程计算每条语句的可疑值。为了验证算法的有效性,本文用Siemens程序作为实验程序,并和现有的一些技术进行了比较。实验表明,基于改进的BP神经网络的故障定位技术具有一定的有效性。

关键词： 软件测试   V模型   功能测试   界面测试   用户安全性测试   测试用例   缺陷  

摘要： 随着信息技术的发展，软件在社会的各个领域得到了广泛的应用,软件测试则成了必要，软件测试就是遵循测试方案利用测试工具或者需要编写其他工具对产品进行功能和性能测试，设计和维护测试系统，分析和评估测试方案可能出现的问题。执行测试用例后，对发现的缺陷需要跟踪，以确保产品适合开发需求。软件测试基于B/S和C/S架构。Lumension网络安全工具是由美国Lumension公司研发的适用于企业局域网的设备安全工具，它能有效地防止数据丢失，防止恶意软件和未经授权的应用程序的使用，能够快速的识别和修补漏洞。软件的架构是B/S结构，而Web平台的多样化、分布式、动态等特性，也使在Web平台下的应用软件的测试比传统意义上的程序测试更加困难，从而在软件测试领域带来了新的挑战。为了能够保证产品安全、有效地运行，必须对该产品进行充分而全面的测试。 本人通过为期一年的实习时间对LEMSS产品进行了相关的测试，论文以网络安全工具为例，介绍了基于Web下B/S结构的软件测试流程和测试方法以及相关的测试用例。根据产品和客户的需求制定了测试计划，通过对产品功能模块，服务器/客户端的安装卸载，操作系统、数据库、浏览器的兼容性，用户安全性，界面等多方面对LEMSS进行覆盖率高达90%以上的测试内容，并且设计了涵盖所有功能模块的测试用例。部分列举了典型功能模块的测试用例的分析。通过Bug的生命周期和缺陷管理流程具体介绍TMS缺陷管理工具的应用，并简单叙述了回归测试的必要性，从而保证LEMSS的质量。最后对测试提出了进一步的改进意见以及存在的弊端进行总结。 通过对LEMSS的手动测试，作者达到了用户体验要求，并且发现了数百个以上的功能缺陷，经过修复从而保证了LEMSS应用的正确性，实现多个版本的回归测试，确保LEMSS产品如期上线。

关键词： 气制动阀   性能检测   虚拟仪器   软件测试   测量系统分析  

摘要： 作为汽车气制动系统的执行机构，气制动阀的性能直接关系着整个制动系统能否正常工作以及汽车行车的安全性。现阶段，国内气制动阀生产企业对产品的出厂质检侧重于密封性检测，且检测设备大都依赖于传统的0.4级压力表显示，导致自动化程度低，无法从根本上保证测试数据的可靠性。因此，研制一套能保证气制动阀出厂质量的在线检测系统，实现对气制动阀密封性、动特性及静特性的综合测试显得尤为重要。本文的主要研究内容为： （1）分析了被测对象气制动阀的结构和工作原理，从质量流量、制动腔室压力变化及力平衡变化三方面建立了数学模型，并在AMESim工程仿真软件中对气制动阀的静特性进行了仿真研究。 （2）在对气制动阀密封性、动特性和静特性分析研究的基础上，以行业标准QC/T35-2011和企业测试指导为依据，制定了检测系统的设计方案，实现了对气制动阀制动状态和非制动状态下泄漏量，动特性响应时间和释放时间，静特性空行程、越前量、最大制动行程等参数的检测。为了实现气制动阀动特性和静特性检测对不同加载速率的要求，文中创新性地设计了一套动静态加载机构，动特性采用气缸快速响应来实现推动顶杆至气制动阀最大行程位置，静特性则采用伺服电机带动滚珠丝杆的驱动方式实现匀速加载。 系统主要由工业控制计算机、传感器、数据采集与控制模块、动静态加载机构、气压系统以及应用测试软件等组成。测试软件采用LabVIEW图形化编程语言和动态链接库DLL联合编程的设计方案，基于柔性化软件设计思想，结合多线程技术，实现数据采集处理、运动控制、数据管理等功能。 （3）引入六西格玛管理体系中的测量系统分析（MSA）评定方法，以标准JBT10633-2006《专用检测设备评定方法指南》为依据，通过试验数据对系统的重复性、再现性和测量能力等性能指标进行了评定。试验数据表明：系统压力测量扩展不确定度U=1.98kPa，位移分辨力为0.01mm，测量能力指数（Cg、Cgk）均≥1.67，分辨力≥5，%GagaR&R和%P/T均≤30%，符合新设备验收要求。 该系统现已成功投入到WABCO中国济南分公司气制动阀生产线检测。

关键词： 模型驱动工程   MARTE   基于模型的测试   飞行控制软件   时间自动机   无人机系统  

摘要： 近年来嵌入式系统中软件规模与复杂度的迅速增长给高质量系统的设计、验证与维护带来许多重要挑战，传统的基于代码的测试与分析技术方法已经不能满足一些安全关键领域中的嵌入式软件高质量的需求。针对目前在无人机领域中相关控制软件系统仍然是以代码为中心的构造方法、缺乏现代软件工程建模与分析技术的现状，本文采用模型驱动工程（Model DrivenEngineering: MDE）的方法，对一类典型无人驾驶航空器的飞行控制软件系统的测试与维护技术展开研究，主要工作包括如下几方面内容： 首先，采用模型驱动工程（MDE）的架构，对只有源代码的某型无人机飞控软件展开逆向工程分析，抽取系统结构模型和动态行为模型;系统结构模型采用嵌入式实时系统建模语言（Modeling andAnalysis for Real-Time Embedded systems: MARTE）来进行描述，系统行为模型则使用基于时间自动机（TimedAutomata）的形式化模型来表达。 然后，结合无人机飞控软件的应用背景，设计了基于时间自动机模型的测试用例生成方法，包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;并通过对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。 最后，针对某型无人机飞控软件在系统开发过程中缺乏有效的软件工程文档及维护方法的问题，本文设计了一个“无人机飞控软件理解维护支持系统”原型工具，提供代码文档映射、代码注释规范化和代码程序流程图抽取等功能，提高软件系统的可理解性和可维护性。

关键词： 移动终端   软件测试   用例库   用例管理   PHP  

摘要： 软件测试是软件开发过程中的一个重要的环节,是保证软件质量和可靠性的重要手段。测试用例的选择对于作为保证软件质量重要手段对软件测试的成败起着至关重要的作用,测试用例设计的目的是确定一组最有可能发现某个错误或某类错误的测试数据,以此实现系统对某个功能的测试。随着软件测试项目的日益积累,软件测试部门或机构会因此而累积大量有用的测试用例资源。只要测试项目之间存在一定的共性和联系,在项目与项目之间就可能存在实现测试用例复用的可能。研究如何有效地管理已有测试用例资源,充分挖掘测试用例复用的机会,已成为软件测试领域研究的热点。 本系统结合辽宁北方实验室有限公司基于移动终端企业开展的软件测试业务,利用PHP等技术设计并实现了软件测试用例库,系统主要包括初始化设置模块、项目模块、需求模块、计划模块、用例设计模块、执行模块、结果模块。系统具有功能全面、运行环境需求低、可查询统计以及可数据导入导出等特性。使用该系统可以实现软件测试的全程管理,跟踪整个测试过程,规范测试流程和方法,实现管理员、开发人员和测试人员之间的密切配合。当测试用例出现问题时,能够快速提交问题报告,并当问题报告的状态改变时及时跟踪、更新,实现缺陷管理。测试结束后能够对测试结果进行详细的统计分析,方便用户掌握项目的整体测试状况,指导后续的测试方案。通过本系统的实施,能够帮助企业在软件测试过程中对测试用例的设计、管理、复用、评价进行统一管理和综合分析,提高测试活动的效率和质量。

关键词： 算法设计   SMART评等技术   需求分析   设计与实现   软件测试  

摘要： 随着现代信息技术的飞速发展和网络基础设施的不断完善，高校教育信息化建设取得了重大进展，采用信息技术支持组织运行的各种教育教学管理信息系统更是得到了广泛的应用。本文所设计的基于负荷权重的教师业绩评估系统就是一个促进我校全面提高教育教学质量和科研能力，并促使教师不断进步的高校教学管理信息化的最佳事例。该系统的实现是对我校教师全面发展的一次促进，也给学校的发展带来了新的动力。 首先在本文中介绍了教学评价系统国内外研究现状，对课题研究目的和意义进行简要阐述。然后对高校信息化的特点和时代含义进行了探讨。在对教务、人事等部门相关工作人员进行详尽的需求调研的基础上，得出业务流程分析和系统需求分析。讨论了该系统的建设目标和核心业务，分析了会影响到教学质量的诸多因素和科研质量的诸多指标。并使用SMART方法对这些因素进行有意义的排序和权重设置，在此基础上设计了负荷权重算法。同时利用结构化分析方法给出了评价系统各功能的数据流图和数据字典，设计了系统的总体框架。 然后在确定系统设计原则的基础上，给出了系统的总体设计，包括系统的层次结构、逻辑结构、软件系统架构和数据库的设计；并重点进行了使用负荷权重算法所涉及到得权重参数设置、月度年度绩效工资生成、月度年度业绩评价功能的详细设计。 接着采用目前流行的n层结构的设计架构，给出了基于Web采用B/S架构的教师业绩评估系统的具体实现。该系统具有教师人事管理、考勤管理、考核管理、业绩评定管理、信息发布管理和用户管理六个模块组成。 严格按照软件工程中的开发顺序，逐步实现了系统的核心功能后，还对该功能进行了全面而详细的测试。设计出许多的测试用例，逐步找出隐藏在系统中的各个错误和不能实现的功能。 论文最后一章总结了论文编写工作，并对系统和算法的进一步研究进行展望。

关键词： 印刷设备   软件测试   组合测试   测试用例  

摘要： 随着计算机应用的发展，计算机软件的应用越来越广泛，尤其在机器控制等工控方面作为一新的应用方向，得到了巨大的发展。软件系统作为机器设备的中枢控制系统，它的质量好坏对机器设备的运行起着重大的作用，软件测试是保障软件质量的重要手段。然而，软件系统规模巨大，内容复杂，难以对其进行全面测试。大量前人实验证明，组合测试能够在保障错误发现率的前提下，使用较少的测试用例检测软件系统中各个因素以及它们之间的相互作用对系统产生的影响。 组合测试用例生成是组合测试的研究热点之一。目前针对组合测试用例生成的思想主要有两种：基于贪心算法和基于遗传算法的组合测试用例生成思想。以无铅锡膏印刷设备的软件系统作为测试的基础，这是一种针对设备型的软件测试，是一种典型的针对参数组合的测试，其测试用例的生成是软件测试的重点。 根据当前主要的测试思想算法，提出了相对的改进算法：基于参数权值设置的成对组合测试用例集生成算法和自适应型遗传算法的组合测试用例集生成算法，在一定程度上改进了测试用例生成方法的特性。 最后，根据提出的改进算法，在Visual ***2005集成开发环境进行软件编程，实现了测试用例的自动生成，通过和以往算法的比较可以看出改进的算法提高了测试效率和改善了测试效果，并通过将改进算法生成的测试用例应用于实际测试，结果表明其对测试起到了促进作用。

关键词： 软件测试   测试的有效性  

摘要： 随着软件产业的迅猛发展,软件产品的规模越来越大,复杂度越来越高,但是软件产品质量却变得越来越难以控制.在软件测试过程中,因为多方面的因素,常常会导致一些错误和失效,为了改善测试过程、使测试过程变得更为有效,需要对软件测试过程进行一个补充,那就是对软件测试的有效性进行评价.本文介绍了评价软件测试有效性工作的一般流程,并提出了一

关键词： 软件测试   人才缺口   医护比例   护士人数   应聘者   链接   上海   媒体   亚洲  

摘要： 岗位薪情亚洲企业技术人才将有望加薪据近日在北京发布全球500强亚洲公司最新调研的结果显示,技能短缺有可能阻碍亚洲公司企业或部门的高效有效运营。根据调查,在专业性较强的金融技

关键词： 复杂网络   测试优先度   软件稳定性   软件测试   代码覆盖率  

摘要： 软件行业的不断发展壮大,软件本身复杂性不断增加的同时,软件质量问题也日益突出。从结构上研究软件的复杂性和稳定性是当今软件工程的一个新领域。复杂网络作为一种新兴的系统科学学科,它给软件系统的深入研究带来了崭新的视角。本论文以复杂网络为工具,构建软件系统的复杂网络模型,从整体上对软件网络的结构特性进行分析。本文结合真实软件系统的软件测试结果展开讨论,并结合复杂网络参数及测试代码覆盖率,提出了测试优先度的概念以及软件优先测试策略。 首先,对复杂网络基础理论知识进行了系统的介绍,包括复杂网络的研究简史、常用的复杂网络基本统计特征、四个复杂网络经典模型的基本特征和演化算法。随后一一阐述了软件测试过程中的五个主要步骤,并对软件测试的第一步单元测试过程进行了更深一步的介绍,包括单元测试的几种常用方法。 其次,选取某企业开发的软件系统为研究对象,构建了该软件系统的网络模型,绘制出软件系统的网络关系图。验证了此软件网络的无标度特性和小世界特性,为将复杂网络特征参数引入到软件网络分析中提供了依据。 最后,在分析软件系统初次单元测试中测试用例覆盖率的基础上,将复杂网络特征参数引入到软件结构研究中。结合复杂网络参数及测试代码覆盖率,提出了测试优先度的概念以及软件测试优先策略,给出了软件稳定性新见解。 实例验证结果表明：该优先策略对于提高测试覆盖率,对及时查找出软件缺陷类是有效的,有利于软件测试效率的提高。