教学课程资源库 更多>>

关键词： 智能抄表系统   软件测试   电量采集   虚拟电表   智能电网  

摘要： 近年来，智能电网方面的项目如雨后春笋般层出不穷。智能电网解决方案中，软件系统的质量关系到用户的用电体验以及供电公司的经营策略，提高智能电网软件系统的测试质量具有重大意义。然而不同于传统的软件系统，智能电网解决方案不但涉及到上层软件平台，还涉及中间通信层及底层的硬件设备，其所包含的各个组成部分由不同厂家开发，部署环境复杂，传统的软件测试方法难以胜任。如何有效提升智能电网软件系统的测试质量，成为开发智能电网项目的企业亟需解决的难题。\n 本文的目的是针对智能电网电量采集业务的测试难点，本文在传统软件测试技术的基础上，设计了一套适用于智能抄表系统的测试工作流程，并按照该流程完成测试方案的设计和测试执行。本文的研究重点包括以下几个方面:\n 1.针对电量采集特性，优化传统软件测试的流程，设计了软件测试工作内容模板，制定出针对不同测试内容的测试策略。\n 2.按照H测试模型，分SDV、SIT、SVT等阶段，从功能、可靠性、性能、安全性及场景测试等多个方面，对电量采集业务进行详细的测试设计。\n 3.设计实现了一款虚拟电表，通过PC模拟Modbus协议智能电表，支撑电量采集测试方案的执行，解决物理设备数目不足的问题。\n 4.按照设计的测试方案和测试用例，完成实际的软件测试，通过分析发现的软件缺陷，对系统性能、系统功能隐患提出改进意见。\n 经过多维度评价，本文设计的测试方案满足智能抄表系统端到端流程的质量掌控要求，设计实现的虚拟电表软件能够有效地支撑测试执行。本文工作有助于提升智能电网软件系统的测试质量，对同属物联网范畴的其它软件项目同样具有参考意义。

关键词： 突发扩频通信系统   软件测试模块   功能设计   硬件接口   性能测试  

摘要： 论文背景是一种工作在低信噪比条件下的突发扩频通信系统，采用双载波直接序列扩频调制。\n 在突发扩频通信系统的基带收发功能在FPGA开发板上已经实现的基础上，根据系统调试和指标测试的需求，设计了软件辅助调试和测试模块;编写了硬件接口VHDL代码，设计并实现了测试软件和人机界面软件模块，并完成了与收发模块的联合调试。经验证，该模块具备单点和批处理自动测试能力，能有效降低测试劳动强度，方便对系统指标各项主要指标的测试。此外，设计与实现了基于PCI-E总线的通信模块，对FPGA基带板PCI-E接口的带宽性能进行了测试，完成了PCIE接口性能的论证。

关键词： 软件测试   要求   内容   步骤  

摘要： 随着信息技术的飞速发展，计算机广泛应用于国民经济和社会生活的各个方面，而其中软件的功能也越来越强大，软件也越来越复杂。人们对软件作用的期望值越来越高，软件的质量、性能、可靠性等方面也正逐渐成为人们关注的焦点。因此，如何保证软件产品的质量和可靠性就成为软件开发过程中必须面对的一个重要问题，而软件测试是保证软件质量的一个重要手段。本文对软件测试的定义、相关要求、内容以及测试步骤做了初步的分析。

关键词： 物联网   嵌入式系统   ZigBee技术   网关通信   软件测试  

摘要： 在互联网基础上提出的“物联网”技术及其近段时间的迅速发展，使得物联网技术在未来国民经济生产、生活中将会占据着越来越重要的位置，势必会发挥出越来越重要的意义。\n 物联网网关的主要目的是在广域互联或者是局域互联的区域内实现感知网络与通信网络以及不同类型感知网络之间的协议转换，从而构建整个物联网系统。\n 因此，物联网嵌入式通信系统网关的研究及组网实现实际是构建整个物联网系统的至关重要的环节，那么，按照专用性强、实时性好、可靠性高、功耗少、体积小和低成本的需求，如何建立网络层的协议转换器，如何采用先进技术实现物联网网关的灵活性、低成本成为了现在物联网技术研究的重要课题之一。\n 基于此，本文分析、设计了一个基于嵌入式系统的物联网网关通信系统设计方案。本方案采用嵌入式系统、无线传感器网络技术、IEEE802.15.4技术标准，通过ZIGBEE节点将网络与Internet连接在一起，从而实现对ZIGBEE网络中的所有设备节点的有效监控与检测，最终实现物理世界的空间距离，真正达到低损耗、小体积、低成本的技术需求。\n 本文首先分析了研究课题的研究背景与意义，归纳总结了国内外研究现状及其未来可能的发展趋势。然后，确定了系统整体设计方案及其相应技术参数分析。再则，具体设计实现了物联网嵌入式通信系统的硬件部分与软件部分，并对其进行了相应测试分析，其结果表明，本文所设计的物联网嵌入式通信系统具有一定的市场推广价值。

关键词： 精度   软件测试   雷达   武器装备  

摘要： 以装备试验学和软件工程学为理论基础,对雷达系统精度指标软件测试方法进行初步研究。分析现代雷达系统进行精度指标软件测评的必要性以及面临的主要问题,提出解决问题的初步思考。以装备试验理论为基础的雷达系统精度指标软件测试方法研究,既是装备试验与测试经验的总结,同时也是装备软件测试与武器装备相结合的理论思考,对科学合理应用装备专业理论,提高军用武备系统软件测试专业性理论水平起到初步探索的作用。

关键词： 软件工程   软件演化   实时系统   形式化方法   安全性验证   软件测试   安全性测试  

摘要： 变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.

关键词： 教务信息管理   软件工程   软件测试   .NET技术  

摘要： 随着信息技术的蓬勃发展，尤其是计算机技术、互联网通讯技术、多媒体技术、自动化技术和数据库技术等的不断取得新进展，为教务管理的快速发展提供了新的平台。传统的办公模式中，在控制、协作与沟通方面存在着很对不足之处，例如公文流转速度较慢，对教务信息的处理和统计分析复杂，安全性不够等等。对于学校的教务管理质量和效率来说，在正确、科学地引导决策力，把握各个部门信息化建设历程，强化决策者的领导水平方面，教务管理系统扮演着非常重要的角色。\n 本文的主要工作是建设学校教务管理系统，是以设计并实现一套符合学校办公习惯，能够提高效率和水平为目的的一个综合系统。在学校实际需求的引领下，结合目前存在的问题，以软件工程的思想和教务系统的结构和开发原理，设计并实现了学校教务管理系统。系统利用C#作为开发语言，以.NET为主要技术手段进行开发。\n 本文以现代的教务管理理论为基础，首先介绍了教务管理系统的历史和发展现状，然后对比分析了国内外在系统发展过程中的一些产品。教务管理系统以实现系统需求调研为目标，采用了先进的实现架构和开发平台。利用VS2008中的特色功能开发了教务管理系统，并以其中的排课管理和选课管理为重点从代码和实现页面方面进行阐述，利用软件测试方法来证明系统满足上线条件。同时，从前端设计方面更好的满足了用户的需求风格。\n 经过一段时间的试运行，教务管理系统在健壮性、稳定性方面都可以保证用户提出的要求。在此基础上，无论是页面风格还是数据安全方面都有出色的表现。

关键词： 软件测试   成对覆盖   AETG算法   IPO算法   ES算法  

摘要： 软件测试是保证软件质量与可靠性的重要手段。软件测试分为白盒测试和黑盒测试，在软件黑盒测试中，经常会遇到多种输入参数的取值相互组合的情况，实践证明及研究发现，大约70％的软件故障是由一个或两个参数共同作用引起的。所以组合测试，尤其是两两组合测试，在实际工程的软件测试中被公认为是一种实用且有效的测试方法。但是两两组合测试用例生成问题已被证明属于NPC问题，所以如何寻找合适的算法以减小测试用例集的规模就是需要重点研究的问题。\n 国内外对于两两组合测试用例生成算法已经有了相当多的研究，但是现存的方法都存在某些方面不同程度的不足与缺陷。被广泛使用的AETG算法测试用例生成比较耗时，生成过程随机性过大，导致测试用例集不够精简;而另一种被广泛使用的IPO算法虽然在时间复杂度上占据优势，但是生成的测试用例集冗余度过大。\n 本论文对AETG算法与IPO算法进行了针对性的改进。对于AETG算法，针对测试用例生成过程随机性过大的问题，引入参数选取优先级机制，形成了改进的AETG_Ⅰ算法;对于IPO算法，针对水平扩展不够优化的问题，改进了水平扩展策略及参数选择方法，形成了改进的IPO_Ⅰ算法。实验结果表明，AETG_Ⅰ算法和IPO_Ⅰ算法，无论从减小时间复杂度还是降低测试用例集冗余度方面，均比原AETG算法和IPO算法有了显著的改善。\n 本文还针对实际工程中参数和取值有限，不在乎测试用例生成时间，只关心测试用例规模的特殊问题，给出了两两组合的遍历搜索算法ES(a，b)，实验结果表明，ES(a，b)算法在其适用范围内能够得到近似最优的较好结果。\n 本论文针对AETG_Ⅰ算法、IPO_Ⅰ算法和ES(a,b)算法，使用JAVA语言编写了算法应用程序，并在附录中给出了所有算法程序的源代码，为实际工程软件测试人员提供了可工程实用的两两组合测试用例生成的应用程序。

关键词： 高等院校   无线网络   系统设计   软件测试  

摘要： 随着宽带无线接入技术和移动终端技术的飞速发展，人们迫切希望能够随时随地乃至在移动过程中都能方便地从互联网获取信息和服务，移动互联网应运而生并迅猛发展。无线传输速度大幅提升，移动终端APP(Application，应用程序)呈现井喷式发展，越来越多的移动应用正不断出现，在移动终端上可以方便的工作、学习、娱乐，移动互联已经深入到我们生活的方方面面。这些预示着移动互联网时代已经到来。随着我国教育信息化工程的深入，我国高等院校已基本完成教学、科研、图书馆、高校学生宿舍等部门的有线网络建设;高等院校无线网络建设已成为高校信息化的下一个建设重点。\n 本文笔者以无线校园网方案设计及工程实践作为研究对象，先阐述无线技术理论，通过具体项目建设实践，达到建设整个高校校园园区有线网络的改造和基本覆盖无线网络的目的，并且确保整个网络的高性能安全的数据传输，并且完成有线无线的完全融合的统一运营。\n 本文首先深入研究了无线网络的相关技术，分析各种无线网络技术及典型应用，针对某大学的校园网改造和无线网络建设的需求，提出了高校无线网络的总体设计与实现的解决方案，并针对设计的系统提出了系统实现后的测试方法。本方案在某高校的无线校园网使用实践表明，方案设计合理、运行良好，能满足该校的日常应用需求，达到了预期的设计建设目标。

关键词： UML模型   软件测试   用例图   顺序图   测试用例  

摘要： 采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。