教学课程资源库 更多>>

ISBN: (纸本)9787040465631

关键词： 图书管理系统   信息管理系统   软件工程   UML   软件测试  

摘要： 传统图书馆的图书管理方式存在着诸多不足,例如人工工作量大,效率低,管理流程复杂,易出错等等,相比目前信息化时代对图书信息的大量需求显得力不从心,已经不能满足读者高效获取图书信息的需要。而随着计算机软硬件技术的飞速发展,使得利用信息技术辅助进行图书管理成为了可能,充分利用计算机软件所带来的高效和高可靠的优势提高图书管理水平已经是大势所趋。在这样的背景下,本文研究和开发了适用于本人所在的普兰店气象局的图书管理系统,并且逐步完成了本单位图书管理系统的需求分析、详细设计、系统开发和测试。具体工作包括：通过对单位阅览室工作人员职责以及对应的业务流程进行全面的调研之后,与业务人员一同研究了适用于本单位实际情况的信息化管理方法,并且利用软件工程的理论对此进行建模,在需求分析的阶段采用了UML用例图的方式进行描述,而在详细设计阶段则采用了流程图和类图进行对象的设计,其中数据库的设计是采用了ER图配合关系数据库表的方式,在最后的实现阶段采用了Visual Studio2010开发环境配合MFC微软基础类库进行系统的开发,在系统测试阶段通过设计完善的测试用例对系统的各个功能模块进行了严格全面的测试。软件工程的思想中的每一个步骤在本项目的开发过程中都有所体现,并且针对每一个环节都有详细的图文说明和阐述,系统目前已经全部开发完成,已经在本单位阅览室中部署完毕,系统具有较快的响应速度和用户体验,具有一定的实用和理论价值。

关键词： 软件测试   数控系统   组合测试   两两组合   Qt技术  

摘要： 随着工业4.0时代的来临,制造业作为国家最基础的工业,其生产能力正在逐步提高。数控技术作为工业控制领域内的核心技术,其“大脑”的作用被不断地增强,数控系统的稳定性决定了工业生产的效率,其稳定性和安全性需要通过软件测试来保障。本文通过研究组合测试的理论,结合GJ303数控系统的特点,将两两组合测试应用在GJ303数控系统的测试软件之中。国内外在两两组合测试的研究上已经有较大进展,除了传统的组合覆盖理论,遗传算法、蚁群算法等来源于生命科学理论的新型算法也在组合测试理论中发挥着重要作用。虽然目前市场上已经有了很多针对组合测试的测试用例生成工具,但是这些工具都无法针对某个特定的待测系统,它们往往只能产生抽象的测试用例。蓝天数控生产车间提出了对具有可视化成度高,操作性强,可移植性好,测试效率高的GJ303数控系统测试软件的实际需求。以往的GJ303数控系统的测试软件是基于C语言的命令行,并且没有考虑对测试用例生成的效率以及低冗余度的要求,本文深入研究了Linux操作系统及其驱动程序设计,使用Qt技术构建上层的测试软件。测试软件在测试用例生成技术上采用了改进的两两组合技术,实践表明在测试软件中引入了两两组合测试之后,大大提高了测试用例的生成速度,并明显减少了测试用例的冗余度。基于组合测试的ARM数控系统测试软件部署在蓝天数控生产测试车间的GJ303系统上,帮助测试人员提高了工作效率,并且数控系统的稳定性也得到了保障。

关键词： 反馈控制   测试需求变化   Markov决策模型   缺陷率  

摘要： 在软件测试过程中,用户的测试需求经常会有所改变,这个时候测试人员应该尽可能的去满足用户的需求,此时全部再重新开始测试,那么之前测试工作所消耗的代价以及之前所做的所有测试工作也会变得毫无意义。而之前的测试结果对于软件测试过程来说有很重要的参考价值,如果在本次测试中优先执行之前查错能力较强的测试用例,则能够在一定程度上提高测试效率。因此如果利用反馈控制的思想,将之前的测试结果作为改变需求后的软件测试过程中测试策略决策的一部分,并且将更改后的用户测试需求同时作为决策的一部分,将会极大的提高测试效率,并尽快满足用户需求。当测试需求发生变化时,则需要依据变化的测试需求来对软件测试过程进行设计和执行,以提高测试效率;如果涉及到测试的软硬件需求,则需要花较大的代价重新配置测试环境。云计算环境能够为不同应用提供弹性且可扩展的软硬件资源,使得无论是开发人员还是测试人员都能够避免繁琐的购置软硬件资源的工作,降低了成本。本文首先通过描述基于反馈控制的软件测试模型,而后针对该测试模型中的各个部分进行了介绍,其中包括：测试需求内容以及对于该软件测试过程所需要进行的测试环境部署,而后介绍了测试策略的具体内容。而在反馈控制过程中,最重要的部分是测试策略,它包含了测试环境部署、测试用例选择以及以测试需求确定测试停止的标准以及约束。本文基于原有的Markov决策模型,并提出了一些改进,构建了一种以用户提出的软件的缺陷率作为测试停止标准以及以用户提出的测试代价作为约束条件的Markov决策模型,而后提出了一种以缺陷率作为测试准则的测试用例选择策略,该策略能够选择出较高缺陷率的测试用例,并且将测试用例集按照缺陷率大小进行分组,以此结果能够方便地对测试执行结果进行统计。最后在改进的Markov决策模型以及基于缺陷率的测试用例选择策略的基础上提出了一种软件测试方法,该方法即为对基于反馈控制的软件测试模型中利用测试策略对被测软件执行测试过程。根据一些对比仿真实验来证明,本文所提出的基于反馈控制的软件测试方法是有效的。

关键词： 利率管理系统   安全管理   系统建模   软件测试  

摘要： 进入新世纪以来,以计算机和互联网为代表的信息技术飞速发展,不断向各个领域延伸和扩展,并对各个行业的发展和变革产生了巨大的推动作用。尤其是在金融领域,各种管理系统的设计和实现使得银行的各种业务操作的效率得到了极大的提高,满足了银行不断发展要求和用户不断提高的需求,为银行的业务管理提供了最佳的工具和手段。本文首先针对中国邮政储蓄银行利率管理的实际情况进行了充分的调研,并对当前银行利率管理系统的设计、开发和部署实施的现状做了充分的梳理和分析。对整体利率管理系统的功能模块划分既要考虑中国邮政储蓄银行本身业务需要,还要结合本身软硬件现状。整体利率管理系统充分考虑了系统管理、利率监测、利率分析、参数管理和报表管理五大方面。本文建立的包括系统用例图、系统流程图、类图等一系列模型运用了软件工程领域的相关技术,结合系统整体和各模块自身,使用统一建模语言,以便于能够更全面的挖掘系统需要更全面的信息。另外,为了保证系统高效、稳定的运行,还设计大量的测试用例对系统进行充分的测试工作,并对于测试出的问题进行深入细致的分析,找出错误原因,修改出错代码,将所有测出来的问题全部修正。整体系统设计和功能得到了良好的实现,保证了系统完全实现了设计的要求,满足了用户的需求,也证明了系统具有较高的稳定性、正确性和安全性。该系统的设计实现是邮政储蓄银行管理系统信息化的重要一步,为以后的发展打下了坚实的基础。

关键词： 软件测试   EFSM模型   测试用例自动生成   测试序列   分散搜索算法  

摘要： 信息技术的快速发展,软件产品越来越被应用到社会中的各个方面,但是,随之而出现的软件质量及安全问题阻碍着它的蓬勃发展。因此,保证软件质量已成为当今广大专家学者和工程人员的重点研究方向。软件测试一直以来都是确保软件质量和安全的重要措施。然而随着软件复杂性的加剧和软件规模的增加,软件测试已成为一种复杂、耗时的工作,为了降低软件测试在整个软件开发过程中的人力及物力开销,提高软件整体的质量和可靠性,软件测试的自动化技术已成为现如今亟须解决的问题。软件测试自动化技术其中的一个关键点就在于测试用例的自动生成。基于模型的测试是一种有效的软件测试方法,它可以有效地描述复杂软件系统的状态和行为。其中扩展有限状态机(Extend Finite State Machine,EFSM)是有限状态机(Finite State Machine,FSM)在原有的基础上,扩展上下文变量以及作用在上下文变量上的谓词条件和操作而来,因此,EFSM可以更加精确地描述软件系统的状态行为,被广泛应用于实际工程之中。但由于EFSM的复杂性,使得对EFSM模型进行测试用例自动生成这一过程更加复杂,因而仍然是一项攻坚难题。本文在已有的研究基础上对EFSM模型的测试用例自动生成方法进行了深入研究,主要包括以下几个方面:(1)由于EFSM模型本身是静态的,但是在测试过程中,必须使得EFSM模型能够根据输入变量得到执行,进而得到测试用例。本文采用UML建模的方法,利用SMC工具将EFSM模型转换为Java代码,结合图论的广度优先搜索算法使得静态EFSM模型具有动态执行能力,从而建立了EFSM的可执行模型。(2)本文在深入分析和研究了前人对于测试序列自动生成方法的基础上,将EFSM模型状态图转换为迁移图,进而采用改进广度优先搜索方法自动生成从初始迁移到达其他各个目标迁移的可行测试序列。在生成测试序列的过程中采用基于数据流和控制流的冲突检测方法来识别测试序列的冲突问题,然后,综合考虑测试序列长度和以及操作变量的类型,设计测试序列可行性度量方法定量分析测试序列的可行性与有效性。(3)根据前面获得的测试序列,本文深入分析和探讨了智能优化算法对于测试数据自动生成方面的有效性和高效性,重点介绍了遗传算法和分散搜索算法。进而针对前面已经获得的从初始迁移到达其他各个迁移的测试序列,采用分散搜索算法进行测试数据的自动生成。本文设计并实施了一系列实验验证本文测试序列生成方法的有效性,然后将本文使用的分散搜索算法与遗传算法在测试数据自动生成方面进行比较,从而验证分散搜索算法的有效性。实验结果表明,本文提出的测试序列生成方法能够有效并且高效的生成可行测试序列,分散搜索算法对于测试数据的自动生成相比于遗传算法在本实验中更具有优势。

关键词： 职业能力   典型工作   职业岗位   软件测试   学习领域课程   以工作过程为导向   核心课程   必修课程  

摘要： 1培养目标本专业主要面向软件与信息服务行业,培养具有良好的计算机专业素质、计算机基本理论和基本技能、现代软件工程的开发和测试专业技能、较强的岗位实践能力和技术创新能力,能在软件与信息服务基地、信息系统公司、软件公司等单位从事软件服务项目的开发、测试、技术支持、调研、咨询、培训及管理等工作,具备德、智、体、美全面发展的高素质技能型专门人才。2培养规格2.1主要工作任务能根据软件产品需求,理解和分析系统概要设计、进行模块

关键词： Keeloq   加密算法   FPGA   软件测试  

摘要： 人们对信息安全的关注推动了密码技术的发展和革新。Keeloq滚码加密技术由于每次发送的密文都不相同,因此能够抵御电磁截获攻击,保障加密过程的安全,这种高可靠性使得基于Keeloq算法的加密技术越来越受欢迎。但是,目前该算法主要以嵌入式软件的形式固化在单片机中,不可移植、执行速度较慢。本文针对Keeloq算法设计了一种基于FPGA的加解密应用系统并且在FPGA上验证该算法的性能,电路具有可移植、速度快、可靠性高等优点。在非线性函数的实现上,本文采用查找表方式,以此减少电路运算逻辑的硬件开销。根据算法的需要,文中设计了辅助模块,以协调加解密的实现。为确保算法的可靠性,我们借鉴软件测试的理论,主要以边界值、等价类划分、错误推导、逻辑覆盖、基本路径、循环测试、静态测试等7个方面为基础建立了较完整的测试用例并以此设计了测试激励。采用Altera CYCLONE IV系列FPGA对所设计的Keeloq加解密电路进行了实现,加解密电路消耗了682个逻辑单元,最高频率146.26MHz,与PIC16F88系列单片机软件实现的Keeloq算法相比速度上提高约7.3倍。仅改变16位同步计数值而测试的密文最小混淆率为34.4%,最大混淆率59.4%,平均混淆率48.1%,接近理想值50%。经FPGA验证和相关测试表明本文设计的Keeloq算法功能正确,满足设计要求。

ISBN: (纸本)9787115414731

关键词： 轮式起重机   动力传动系统   动力传动方案   设计计算   VC++软件开发   软件测试  

摘要： 轮式起重机是一种能够适应各种作业的通用起重设备,操纵方便,机动灵活,用途广泛。伴随国民经济的快速发展,基础建设日益扩大,市场对轮式起重机的需求量也逐渐增大。需求的增大不仅要求轮式起重机在性能上有所提高,也需要改进传统设计计算方法,提高生产效率。利用参数化设计代替人工手动分析计算,缩短设计初期工作时间,保证设计人员能够快速、准确地进行设计计算,加快轮式起重机发展步伐。轮式起重机动力传动系统是起重机其他工作机构的基础,同时作为起重机的行走机构,其匹配计算的优劣直接影响整车的动力性和燃油经济性。本文针对轮式起重机动力传动系统的设计计算及软件开发进行研究,主要包括动力传动系统各部件的选型计算方法、编程开发技术及文档生成技术。首先,文中介绍了国内外轮式起重机的发展现状,相对国外轮式起重机而言,我国起重机行业发展历程较短,具有较大的提升空间。随着科研力度的加大,起重机行业在国内得到快速发展,产品在技术和性能方面取得很大进步,与国际先进水平的差距也逐步缩小。其次,介绍了不同动力传动方案的特点,确定了轮式起重机动力传动系统的布局方案。分析了动力传动系统各部件的功用、分类以及选型计算方法,归纳了传动系统轴系布局的计算方法,整理出轮式起重机底盘动力性的计算公式,并将这三部分综合为动力传动系统设计计算书,作为软件开发的理论基础。然后,介绍了轮式起重机动力传动系统设计计算软件的开发过程。针对动力传动系统设计计算软件的总体方案以及传动系统模块、底盘动力性模块的界面设计和具体开发过程进行了详细说明,并对开发过程中的重点问题进行具体介绍。此外,还针对Word文档生成功能的原理和操作方法进行详细介绍。最后,通过对软件进行静态和动态测试,检验软件的功能性、准确性和可靠性,测试的同时说明了软件的操作过程,并取得了合格的测试结果,证明了该软件的使用价值。