教学课程资源库 更多>>

关键词： 李群机器学习   李群单连通覆盖学习算法   李群多连通覆盖学习算法   李群深层结构学习算法   李群深层结构启发式学习算法  

摘要： 李群机器学习对于人工智能和计算机科学研究来说是一个永恒的课题。越来越多的研究者将李群理论引入到机器学习领域，为机器学习的研究开辟了新的方法。 本文针对软件测试方法的相关问题，利用李群机器学习算法进行测试，给出了基于李群机器学习的软件测试方法。本文主要包括以下几方面内容： 1.软件测试的基本方法； 2.基于李群单连通覆盖学习算法的软件测试方法； 3.基于李群多连通覆盖学习算法的软件测试方法； 4.基于李群深层结构学习的软件测试方法； 5.基于李群深层结构启发式学习的软件测试方法； 综上所述，将李群机器学习的覆盖算法、深层结构学习算法、深层结构启发式学习算法应用于软件测试中，通过求解问题、精简测试用例，有效地提高了软件测试的效率。

关键词： 列控系统   软件评估   软件测试   模型检验   测试序列   模型驱动   城轨   软件建模   形式化验证  

摘要： 在城轨列车运行车载控制系统中，硬件和软件同等重要，车载硬件已经逐步采用标准工业计算机产品，而负责实现核心功能的软件，已经成为保障列车安全高效运营的一个重要因素。由软件错误导致事故发生将会造成生命财产重大损失，所以针对城轨车载软件开发前期过程中的模型建立，模型测试、模型验证方法的研究具有重要意义。列控系统软件是多层次结构的复杂系统，具有并发性、响应性特性和状态空间庞大的特点，研究适合描述软件需求的基于模型驱动的建模方法、模型状态的转换、相关测试序列生成验证方法和模型软件测试，全套流程已经成为城轨列控系统软件的系统级建模评估理论的研究重点。 根据城轨列控系统软件的需求及其实际功能相关的特点，提出了针对软件的建模技术、序列生成验证及测试方法。 建模方面，从城轨列控软件需求出发，提出了基于模型驱动的软件架构的需求分析和功能划分，以车载设备软件为应用对象，使用了标准化建模语言UML，以图形化方式表述软件系统过程和实现方法。分析了具体模型的分层架构，用两种静态图和两种动态图从不同层面对细节进行了描述，对内建关联进行了层次连接。 验证方面，介绍了模型检验的概念，说明了计算树逻辑（CTL）的扩展形式ASK-CTL在着色Petri网上的应用。从图的遍历角度，提出了深度优先算法在寻找有效测试路径的概念，并将算法运用于CPN Tools，以生成测试案例路径。引入实际的列控系统模型，提出了一种针对多线程的形式化定义ThrCPN及其图形描述，和基于对象UML模型的形式化建模方法ObjCPN。在层次化建模方法中，分别运用了ThrCPN和ObjCPN。提出了UML模型转换形式化有色Petri网的转换方法，缩小了功能模型到验证方案之间差距，简化了转换的复杂过程，形成了可验证的形式化模型。 测试序列生成方面，在CPN Tools工具中应用了ML编写的深度优先搜索算法，生成的测试序列，解决了并发系统不可达状态过多的问题。形式化验证方法生成的案例工具为形式化检验的主要手段。测试序列的生成对后期软件模拟测试起到了测试案例的作用。对证例路径的修改和完善，也为后期代码的标准化起到关键作用。 最后以城轨车载设备软件为测试对象，运用TestBed进行软件测试案例的生成和测试执行。比较了实际案例和形式化方法生成的路径，结果说明，基于模型驱动的软件建模方法可有效的实现系统的软件状态和行为，一定程度上约束了模型状态空间路径，且生成的针对软件需求的测试序列具有接近软件实际功能要求的特点。本方法还可用生成的模型指导应用软件的开发。

关键词： 图像溯源   图像考古   商标鉴定   软件设计   软件测试  

摘要： 随着Web 2.0时代的到来,社交网络蓬勃发展,社交媒体数据大量涌现并被广泛共享。人们在享受社交媒体和社交网络所带来的便利的同时,大量具有误导性或者错误性的信息也会被快速传播,给社会稳定、经济发展造成了巨大损失。当人们被大量内容相近的图像、视频包围时,通过追根溯源在互联网或者数据库中快速检索出与查询目标内容相近的媒体数据,进而利用精确匹配技术挖掘查询目标与检索数据的内容关系,推演出内容篡改演化的发展规律,对辅助人们鉴别媒体数据的内容真实性具有重要意义。因此,发展基于快速检索的图像溯源软件变得日益迫切。本文分别从图像考古和商标鉴定两个方面出发,对基于快速检索的图像溯源软件平台进行了设计开发。本文研究的主要工作包括:第一部分:介绍了图像溯源的背景及意义,详细分析了图像考古平台开发和商标鉴定软件开发所使用的基础理论,具体涉及快速图像检索和图像特征提取的算法原理及使用方法,为两个软件平台的设计和开发提供了理论支撑。第二部分:首先介绍了图像考古平台的功能需求,其次对图像考古平台的开发进行了全面的设计分析,确定图像考古平台设计的总体框架,然后依据总体设计框架实现各个模块的设计细节。图像考古平台通过Java编程语言设计前端页面,用户在前端页面输入一幅查询目标图像,后台算法通过互联网技术在互联网中检索出与查询目标内容近似的检索结果,使用Python语言编写爬虫脚本将检索结果从互联网抓取到本地服务器中,利用C++编程语言调用OpenCV图像处理库来完成图像之间的关系鉴定,生成了内容演化关系图,指明了真实原始数据的来源。第三部分:首先介绍了商标鉴定软件开发的功能,然后对商标鉴定软件的开发进行了全面的设计分析,确定了商标鉴定软件的总体设计框架,通过利用快速图像检索和SIFT特征匹配技术,建立真实商标和非法商标的亲缘关系图。具体实现时,通过Qt编写软件界面,通过C++编程语言完成算法处理功能。将界面和功能函数整合设计实现了商标鉴定软件,并编写测试用例对软件各个模块的功能进行测试。最后,对本文工作进行了总结,并对图像考古平台以及商标鉴定软件的应用和功能的扩展提出了进一步的设想。

关键词： 软件工程   软件测试   VMware   存储驱动  

摘要： VMware ESXi是一款业界优秀的服务器级别虚拟化产品,随着VMware ESXi这款软件产品的更新升级,其将会原生支持越来越多的硬件设备和功能特性,这些设备驱动都是需要VMware负责去开发和进行测试的。而PCIe接口的SSD设备的出现,更是在存储行业刮起了一阵热潮。VMware宣布从VMware ESXi2013Release开始支持PCIe接口的SSD设备。 软件测试,在软件生命周期里面扮演着非常重要的角色,其最重要的工作内容就是验证和确认。一款软件,只有经过详细和完整的软件测试,才能被称之为产品以及投入市场使用。 本文针对VMware ESXi2013Release中所支持的PCIe SSD驱动mtip32xx-native的测试工作进行了需求分析与测试用例设计,以保证该软件产品所支持的硬件设备达到最好的使用性能以及可靠性。 在测试用例设计的过程中,借助了几款优秀的第三方的磁盘测试工具,来实现测试的目的。同时为了简化测试的流程,在本文中还开发出能有效减少测试工作量的日志检查脚本。 在本文中,先从软件测试的角度去学习和了解了软件测试的目的和方法,了解到这款驱动程序的功能和特性。然后通过黑盒测试的方法,来对该驱动的几个功能模块进行划分,并分别按照软件测试的方法和流程,对其进行测试用例的设计。 在以上工作的基础上,重点对驱动测试的负载测试和压力测试进行了需求分析和测试用例的设计,设计的过程中,遵守了软件测试用例设计的原则以及方法,力求达到更高的测试覆盖率和减少测试冗余的目的。

关键词： 测绘软件质量   需求分析   软件设计   软件测试   用户体验  

摘要： 由于高端电子集成技术在测绘行业的应用，传统测绘仪器需要大量的人工计算或干预的工作相应也越来越少，取而代之的是通过相应的测绘软件通过一系列的算法来实现并能进行直观的显示、便捷的操作、存储、导入导出等功能，以满足各类测绘工作的需求。测绘仪器与相应配套软件的使用使得现代测绘仪器更加的智能化，而智能化的背后需要高质量的相关配套测绘软件支持，本文从测绘软件需求分析、软件设计、软件测试、用户体验等几个角度出发对如何提高测绘软件质量提出了自己的看法。

关键词： 粒子群算法   群活性反馈   高斯操作   软件测试用例生成  

摘要： 随着计算机软件在各个行业的广泛应用和软件系统规模的扩大,系统的复杂度也不断的提高,但是,人们对软件系统的开发周期却要求越来越短。软件测试不仅能够保证软件系统的质量,而且占据了软件开发周期近一半的时间和资源。因此,改进软件测试技术、提高软件测试效率成为软件开发研究的焦点,软件测试自动化技术也就随之产生并得到了快速的发展。 软件测试用例自动生成方法是软件自动化测试技术的关键,高效的软件测试用例自动生成方法可以简化软件测试过程,减少软件测试时间和资源的消耗,提高测试效率和测试质量。近年来,许多学者将遗传、粒子群等智能优化算法应用于测试用例迭代搜索,通过不断的研究与改进,取得了一定的成果。 粒子群算法(PSO)因步骤简单易实现、参数少、收敛速度快的优点而被应用到测试用例生成算法,但粒子群算法在算法迭代后期易因种群多样性减少陷入局部最优,而且目前存在的测试用例生成算法大多是先逐一路径覆盖求取测试用例,然后将每条路径用例取并集,这种方式过程反复且计算资源不能得到合理利用；还有就是通过构造所有路径的评价函数进行多路径测试用例生成,虽然算法效率有所提高,但是多路径函数构造非常复杂。本论文提出了基于群活性反馈高斯粒子群算法的测试用例生成方法：首先分析粒子群算法的优点和不足,加入了群活性反馈机制(SAF)和高斯变异操作(G),有效地调节算法迭代后期种群的多样性,从而降低算法因多样性减少陷入局部最优的概率,进而提高了算法全局搜索能力；然后将改进算法应用于软件测试用例生成,采用逐-路径覆盖分支函数叠加法构造适应度函数、多路径并行测试的思想实现软件测试用例生成算法。实验结果表明群活性反馈高斯粒子群算法在寻优性能上有很大的提高,且基于改进算法的测试用例生成算法不仅实现了计算资源重用和多路径测试用例生成的功能,而且在测试用例生成效率上也取得了不错效果。 本文最后实现了一个基于SAF-GPSO的软件测试用例生成的模拟系统,使用经典的角形判断程序进行工具测试,对本文的逐一路径覆盖测试用例生成和多路径覆盖测试用例生成算法功能进行有效地验证。

关键词： 实时嵌入式软件   软件测试   故障注入   仿真测试  

摘要： 由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。

关键词： 风险管理   软件测试   风险评价指数法  

摘要： 软件测试的风险管理研究起步于上世纪80年代,之后随着互联网迅速发展得到普遍应用,软件的规模和复杂性扩大,也造成了软件测试难度的增加。能否顺利完成一个软件测试项目,技术已不再是唯一因素,而管理上的问题则由幕后走到了台前。我国关于此类研究要晚得多,在国内软件测试的风险管理的理论研究尚处起步阶段,各类软件测试风险管理手段也都是试探性的摸索前行。 本研究以软件园某公司软件测试项目中存在的流程风险作为研究的对象,通过对该公司软件测试项目在流程风险管理中存在问题的分析,使用一系列风险管控手段构建了包括风险识别、风险评估和风险管控等模块的软件测试项目流程风险管控方案。该方案具有广泛适用、方便套用以及经济合理等特点。该套方案的意义在于降低运营部门软件测试项目的流程风险,提高风险管控的效率,并为运营部门的其他项目风险管理提供经验借鉴。 本研究在第一章介绍了国内外关于风险管理的研究现状,并阐述了本文的研究技术路线。第二章介绍了A公司的背景、部门组成及软件测试在该公司的重要性,并提出A公司软件测试项目所面临的困难,困难产生的原因及其影响。第三章构建了包括风险识别、风险评估、风险管控三个模块在内的流程风险管控方案。第四章对该方案的前景进行的分析,提出了方案维护的建议和对策。最后对本研究设计的软件测试项目流程风险管控方案做出总结。

关键词： 软件测试   UML   CPN   转化   性能评价  

摘要： 软件开发过程在近年来越来越受到重视,在一个软件项目的开发中,一个好的软件过程能够使软件具有良好的可扩展性和可维护性。但软件的最终形态在软件实现阶段之前对所有人都是不可见的,如果在编码阶段结束之后才发现软件存在着性能或者构架问题,那么针对存在问题的修改和完善所耗费的人力物力以及时间都是巨大的。因此,如何确保当前正在进行的软件开发过程的正确性就变成一项非常重要的事情。UML作为软件工程建模文档几乎涵盖了当前软件结构与流程的全部信息,利用UML能够把工程的各种功能细节和构架部署描述得非常完整,经过多年的发展和完善,UML已经展示了它在需求分析和设计建模阶段优秀的反馈能力,但由于其缺乏完整的检测及评价方式,需要转化为其他更具仿真能力的形式化语言进行性能测试。而着色petri网对于软件模型运行状态的仿真能力非常强大,是十分理想的性能测试工具。课题研究拟将软件工程设计阶段的UML模型转化为CPN模型,并通过CPN的一系列性能检测特性进行相应的性能信息分析及反馈,而其中关键是如何完成这两种结构之间的转化。本课题在前人研究基础上采用UML文档中的用例图、时序图和状态图为信息原型,通过对图中信息提取过滤建立中间数据结构,并根据结构中各节点内组合结构信息将其转化为多个首尾相连的小型CPN片段,从而构建完整的CPN模型。UML建模所采用的多种图形结构在信息存储形式和表达功能上各不相同,本文在模型图选择上经过比较最终确定为上述三种不仅是因为它们在信息的表达上有较为恰当的联系,更因为它们的所能表达的信息集在完整性上也是较能令人满意。以上转化过程符合当前主流研究模式,主要针对UML和CPN中元素与结构的内在联系进行两种模型的间接映射,先打散再组合的转化步骤也能使两种结构在流程模拟上最终归于统一,希望能以此为今后的研究工作提供一定的启发意义。

关键词： 以人为本   人文关怀   创新工作  

摘要： 近年来,国有煤炭企业不断扩张,煤炭资源整合在加速,由此,企业内部各个方面相应也有了很大变化,职工队伍结构也在发生较大变化,煤炭企业党支部如何清醒地认识和研究当前党委工作所遇到的新问题,把企业党支部建设成为组织健全、制度完善、维权到位、服务有力、作用明显的新型机构,是企业面临的重要课题。就煤炭企业党委工作的新思路,做了一些初步的探讨。