教学课程资源库 更多>>

关键词： 软件结构   模型代数   软件测试   基本路径集  

摘要： 随着互联网技术的迅猛发展,基于网络的应用软件在诸多领域中不断扩展,如电子商务、银行业、保险业等等。这些软件的应用给社会进步提供了良好的平台,与此同时,由于应用软件其自身的规模度和复杂度的不断增加,也给软件的可靠性技术提出了巨大的挑战。提高软件可靠性技术的途径之一是构造清晰的软件结构,以便有效地维护和控制代码的质量。然而,当前对于软件结构的描述,一定程度上依然停留在非形式化的图和文本基础之上。这些软件模型技术还不能很好地解决软件结构描述问题。针对此类复杂的软件结构,本文基于自主开发的软件模型代数,对软件结构分析和技术研究,并通过软件测试基本路径生成展示软件结构分析方法的成效。模型代数是对面向服务的可信软件体系结构代数模型的扩展应用,通过扩展进程代数,增加了适合描述软件组件之间调用关系的算子,从而实现对软件系统的抽象和建模。建立在代数方法基础之上,为软件系统的程序结构建模,通过数学方法求解程序的基本路径集。本文应用模型代数对被测系统进行描述,并提出模型代数表达式的生成算法,模型代数表达式为后续研究奠定了基础。基于模型代数表达式,分析与研究软件的结构,提出相应的基本测试路径集生成算法。根据提出的一系列算法开发相关的应用工具,并选取了若干经典案例用以证明该算法的正确性和工具的可用性。文中也对选取的案例进行了分析与评估。模型代数在求解程序基本路径集问题上提供了新的思路和尝试,摒弃了依赖程序控制流图生成基本路径集的方法技术。与遗传算法相比,弥补了该方法在耗时与生成率的不足。模型代数为软件结构的研究奠定了基础,其也体现了在分析研究软件结构中的价值。

关键词： Petri网   软件测试   工作流   性能分析   调度方案   选择方案  

摘要： 计算机软件系统正深刻影响着人类社会,软件测试的重要性日渐凸显。如何降低软件测试成本,提高软件测试效率,具有重要的现实意义和经济价值。本文从离散事件动态系统角度研究了软件测试系统的两个方面——软件测试技术和软件测试工作流,通过提高软件测试自动化程度、分析软件测试工作流性能瓶颈合理配置测试人力、优化测试任务调度和执行优先级来提升软件测试效率。本文首先提出了基于Petri网模型的测试用例自动生成算法,该算法通过搜索软件系统的所有状态空间,能全面地覆盖对软件的各项操作可能产生的预期状态,消除了由于人工编写的测试用例不全面导致遗漏可能存在的软件错误的情况。使用PyQt开发的软件原型和网易云课堂课程购买功能的例子证明了算法的可行性。其次本文利用广义随机Petri对软件测试工作流系统进行建模,使用仿真软件对模型进行仿真分析,获取工作流中各环节的时间特征和资源特征,从而发现影响系统性能的瓶颈。而通过模型的等价化简,使各环节对系统整体的时间性能影响更清晰,该方法可以指导企业在软件测试中的资源分配。然后针对制约软件测试工作流性能的“手工执行测试用例”这一环节进行深入分析,研究测试任务的调度和测试人员执行测试任务时的优先级问题,提出了四种调度方案和三种选择方案,两两组合形成共十二种调度选择。开发了基于Petri网的任务调度选择仿真程序,比较了各种调度选择方案在六种不同情况下的表现并分析其原因。

关键词： 验证用例   定量遥感综合服务平台   软件测试  

摘要： 验证用例的设计直接关系到软件服务平台运营的高效性和规范性。本文结合“定量遥感综合服务平台”的业务服务要求,探讨了验证用例设计方法并提供了具体的应用案例,保障了服务平台运营的高效性和规范性。

关键词： 明清古建筑   构件信息   J2EE   Struts   数据库   文本相似度   软件测试  

摘要： 中国古建筑是中华民族优秀精神文化的实物载体,也是世界建筑艺术历史皇冠上的明珠,更是人类璀璨的历史文化遗产,所以对其保护具有重要意义。传统的古建筑保护方法,比如图纸、手工测量等技术存在数据资料不易存储、不方便共享、不利于传播等缺点。现阶段古建筑数字化保护方法也存在受众范围小、不能提供精确的工程数据等不足。互联网和古建筑数字化保护技术的快速发展为古建筑保护提供了新的途径。利用Web技术开发明清古建筑信息系统,不仅可以提供电子化的古建筑工程数据,为古建筑研究和使用提供帮助,而且可以广泛的传播和共享中国古建筑信息,使更多的人了解和加入古建筑数字化保护,并且极大的方便了古建筑的保护工作。论文的主要研究成果如下:1.使用JQuery、JS和Servlet等技术,实现了网络化的古建筑构件分类结构。该构件分类结构既能清晰的表明古建筑的组织构成,又能对明清古建筑构件库进行有效管理和分类检索,对构件库具有提纲挈领的作用。2.根据国家自然科学基金项目-“基于BIM的明清古建筑数字化保护与修复方法研究”和古建筑保护需求分析,提出了系统的主要功能模块。并在B/S架构下,使用J2EE技术,运用SSH架构,设计实现了明清古建筑信息系统。完成的主要功能有明清古建筑构件信息展示、明清古建筑构件检索和明清古建构件上传下载等。底层数据库采用MySQL数据库,实现了对古建筑构件信息的存储和管理。通过功能演示表明本文所实现的明清古建筑信息系统能够满足项目和古建筑保护需要。3.针对软件测试领域人工分析测试用例错误信息存在的不足,结合文本相似度量方法和错误信息文本特点,提出了一种基于文本相似度的软件测试错误信息文本分析方法。该方法使用TF-IDF计算错误信息文本内容相似度,同时使用LCS算法和LD算法计算错误信息文本结构相似度。通过实验结果表明,与人工分析和传统的文本相似度计算方法相比,该方法在具有较高的查全率和查准率的前提下,时间效率优异。并在一定程度上代替了人工分析,大大提高了软件测试的自动化程度和时间效率。

关键词： GNSS   信号仿真   电离层误差   性能评估  

摘要： 随着导航技术的快速发展,全球导航卫星系统(Global Navigation Satellite System,GNSS)在民航领域的应用越来越广泛,航空器对不同飞行阶段的机载设备有不同要求,如何精确的验证GNSS接收机,尤其是处于异常电离层环境下的接收机,是否能够满足该要求显得至关重要。接收机的性能参数包括定位精度、测速精度、授时精度以及接收机自主完好性监测等,本文以GNSS接收机的定位精度和自主完好性监测性能评估软件测试平台为研究内容,重点研究了异常电离层环境下测试平台的开发。论文以GPS为例,首先介绍了GPS信号的组成,包括导航电文和C/A码,并论述了信号传播过程中对流层和电离层对信号的影响。接着,实现了GPS信号仿真模块和误差环境设置模块的设计,包括可见星的计算、信号的发射时刻与传播时间的计算,并基于IGS提供的IONEX格式的TEC数据文件设计了电离层TEC插值软件,其中着重分析了几种电离层环境异常情况,包括地震、核爆炸以及电磁暴,此外,建立了对流层误差模型。然后,研究了定位精度的计算方法以及接收机自主完好性监测中的保护限、告警时间、告警时长以及完好性风险等参数的计算方法,并在此基础上讨论了其评估方法及流程。最后,基于测试评估平台的设计方案和总体架构,实现了测试评估平台的开发。详细介绍了参数设置模块和测试评估模块的实现过程,并通过仿真接收机的输出验证了包括信号仿真模块、误差环境设置模块以及测试评估模块在内的测试评估平台的有效性。

关键词： 发动机控制软件   测试平台   软件测试   自动化测试  

摘要： 随着社会对汽车发动机控制系统的要求变得越来越高,发动机控制系统变得越来越复杂,能够及时地对控制软件进行测试,找到软件开发过程中出现的错误,很大程度上降低了开发成本和缩短开发周期。首先,本文基于硬件在环仿真技术,开发了发动机ECU的软硬件集成测试平台,平台包括了硬件环境和软件环境两部分。硬件环境包括仿真器板卡的配置和外围电路的设计。软件环境包括了发动机本体模型设计、人机交互界面设计和自动测试软件开发,使得平台具备发动机控制软件自动化测试的条件。其次,对被测的发动机控制软件进行了详细分析,包括底层驱动软件、应用支持层软件和应用层软件。通过发动机控制软件的分析,根据测试项提取策略,提取了发动机控制软件的测试项和测试点;根据测试用例的分布策略,对测试用例进行合理分布;使用黑盒测试方法中的等价类划分法、边界值法和场景法,针对各个测试点设计了测试用例并开发了测试脚本。最后,执行了自动化测试脚本文件,并对测试结果进行了详细的分析和分类,将失败的测试用例进行了矩阵分布,使得出错率高的测试项和测试点一目了然,从而将测试用例进行再次分布,执行回归测试,测试用例全部通过。所开发的发动机ECU的软硬件集成测试平台,为发动机控制器的软硬件集成测试提供了技术手段;所提出的软件测试策略优化了测试用例分布,提高了测试效率;所开发的自动化测试脚本库可在软件测试中重复使用,为提高测试效率奠定了基础。

关键词： 软件测试   测试用例   黑盒测试  

摘要： 近几年来,随着计算机软件行业的蓬勃发展,软件测试技术的需求不断增长。一些高校开设软件测试这门课程,为IT行业培养软件测试人才。而软件测试课程根据其理论性和实验性都比较强的特点,在教学中应采用大量的实例作为讲解的重点。本文根据软件测试过程黑盒测试技术中,比较常见的案例教学进行分析,以求在教学中获得更好的效果。

关键词： Android   云应用   服务器并发   monkey   monkeyrunner  

摘要： 近年来,Android手机使用越来越广泛,手机上的信息能安全存储对用户来说至关重要。当丢失、损坏、更换手机时,可能就会将手机上的重要联系人、短信、图片等信息丢失。目前,电子市场上的手机数据备份恢复的应用不少,但大多是在本地进行备份恢复,可以备份的数据容量存在很大的局限性。本文要进行软件测试的系统是一款可以将Android手机数据在云端进行备份、恢复、管理等操作的应用。手机的数据备份同步,并存储在云端服务器,并通过网页界面,实现对数据的管理,如搜索、新增、删除、修改等操作,比在手机端操作更安全、便捷。软件与其它行业的产品不同,它是人工编写的程序语言,必然会出现错误。而通过对软件进行有效的软件测试,可以最大限度的减少错误的出现,从而提高软件产品的质量。通过分析本系统的软件测试需求,本软件既包括了手机端应用,又包括了网页端、服务器端,而测试的内容既包括功能测试,还包括性能测试、自动化测试等方面。软件测试需要涉及的方面较多、综合复杂度较大。本文基于实际的项目需求,对整个系统进行了软件测试需求分析,并结合分析目前其它公司的几种Android应用测试方案、web软件测试方案,针对本系统的特点,在这几种方案的基础上,进行修正提炼,设计出了一套适合本系统,并将手机端与云端结合的软件测试方案。本软件测试方案的主要内容为:手机应用的功能覆盖测试用例设计技术与方案,手机端核心功能即同步功能备份同步策略测试用例设计、手机应用的稳定性能测试技术与方案、云服务器的并发性能测试技术与方案、网页的功能测试用例设计与方案、网页软件界面响应性能测试技术与方案。本软件测试方案设计,一方面,利用软件测试用例设计技术的边界值、等类划分等技术,减少了测试用例的冗余,增加了软件测试用例的执行率,可以大幅度提高软件测试的效率及覆盖度。另一方面,使用了Android应用的自动化测试技术,实现了软件无人值守测试,多台设备同时测试,大大提高了软件测试效率,节省了软件测试成本。再一方面,使用了Android性能测试技术,web端性能测试技术,测试的了系统的稳定性,保障本系统能够实现7*24小时无障碍运行,服务器的最大并发用户量在1000左右。本文设计的这一套的软件测试方案,将Android应用测试技术与云端web测试技术相结合,满足测试软件的功能、性能需求,能够保障产品的软件质量、产品的运行稳定性、使软件达到上线的要求,还能提高测试效率、节省测试的人力成本。

关键词： 液力传动叉车   匹配   MFC开发   软件测试   动力性  

摘要： 随着我国经济的快速发展,叉车作为一种可以进行堆垛、装卸和短途运输的工业车辆,其市场需求越来越大,与此同时也带动了整个叉车产业的发展。除了优化结构设计以外,合理的匹配叉车的传动系统对于提升叉车的性能至关重要。国外的一些知名企业早在上个世纪六七十年代就开始研究传动系统匹配对车辆性能的影响,通过软件进行整车性能的预测;国内学者在这方面的研究略晚一些,但是随着时间的推移,现在已经基本赶上了国外的研究水平。本文首先介绍了内燃液力传动叉车的动力传动系统,分析了动力传动系统的关键部件的工作特性,并建立了数学模型。动力传动系统关键部件主要包括:柴油发动机、液力变矩器、变速箱、驱动桥以及车轮和轮胎。其次,介绍了工程机械用柴油机与液力变矩器的匹配设计方法与原则,针对叉车的工作特点,选取了与之相对应的匹配设计方法。同时,给出了叉车的动力性与燃油经济性的评价指标及其计算方法。再次,根据内燃液力传动叉车动力传动系统的特点,基于Microsoft Visual C++6.0开发出一款用于内燃液力传动叉车动力传动系统匹配设计的仿真平台,主要包括软件界面形式选择、软件界面设计以及功能函数的编制。其中涉及到的关键技术有:基于最小二乘法的曲线拟合、MFC中图线绘制、属性页界面间数据传递、Word文档处理以及UG二次开发等。最后,基于某企业提供的实际算例对本仿真平台进行功能测试,将仿真计算结果与企业提供的数据进行误差分析,得出功能测试的结论。然后使用本仿真平台对某7t内燃液力传动叉车进行匹配设计,并计算出该车型的最高车速、最大爬坡度与加速时间等动力性指标。

关键词： 软件测试   UML活动图   测试场景   测试数据   测试用例生成  

摘要： 随着软件市场对产品质量要求的不断提高,软件测试的重要性也受到了广泛的关注。然而传统的软件测试方法基于人工操作,效率低下且成本高昂,已无法满足规模庞大的复杂软件的测试要求。为了提高测试效率,降低测试成本,对传统测试方法的优化研究显得尤为重要。近年来,随着软件工程的快速发展,UML应用已贯穿于整个软件开发过程,基于UML模型的软件测试也成为了一种新兴的测试方法,并作为软件测试自动化研究的理论依据。本文以研究UML活动图为基础,旨在针对大型交互系统的共有特征,结合模型测试技术的核心理念,重点研究了基于UML活动图的测试用例设计与生成方法。论文首先阐述了与课题相关的理论技术,包括软件测试、基于模型的测试技术以及UML的发展与内容。其次,着重分析了UML动态模型的可测试性与测试策略,通过对比分析各模型在指导测试方面的优缺点,进而指出活动图模型是描述系统行为的最佳模型,也是研究基于模型的自动化测试技术的重要理论依据。然后,本文结合活动图的形式化定义及测试覆盖准则,提出基于活动图的测试用例生成策略。该策略给出了基于UML活动图的测试用例生成框架,并围绕测试场景和测试数据生成两方面展开详细的研究和讨论。在测试场景生成方面,针对UML活动图的并发特性,首先对活动图的并发模块加以识别和压缩,依据覆盖准则生成初步的测试场景;然后采用改进后的实例化算法,动态引入约束条件,对并发模块内的活动进行排序,生成完整的测试场景。在测试数据生成方面,引入测试剖面的概念,并在传统轮转法的基础上加以优化,提出一种覆盖率更高的测试数据组合方法。最后,本文结合具体的案例分析,验证了该方法的准确性和有效性,并基于研究成果给出了测试用例生成系统的分析与设计。重点介绍了该系统的功能模块划分和类图设计,并给出关键算法,为测试用例生成系统提供了可靠的实现方案,提高了自动化测试的可行性和完备性。