教学课程资源库 更多>>

关键词： 地质构造   矿井   煤矿开采  

摘要： 煤炭作为我国社会主义现代化经济建设的主要能源之一,在我国的经济建设与人民日常生活中都占据着十分重要的地位和作用.目前,我国对于煤炭资源的开采主要集中于山西、内蒙古、河南、黑龙江、辽宁等省份的部分城市,随着国家对于能源需求的逐年加大,我国现有煤炭资源储量已经接近枯竭.煤矿区是煤矿开采和运输的主要场所.因此,对于其地质结构的研究与勘查是十分有必要的.本文就地质因素的研究与煤矿开采工业的关系作以简要的评论和分析,希望对我国煤炭开采事业的安全、高效生产有所推动和促进.

关键词： Scrum   敏捷测试   软件测试   测试流程管理  

摘要： 信息与网络技术的高速发展,既促进了各行业及其领域的信息化进程,也加快了市场的变化;面对这些变化,整个软件产品的开发过程都需要与之相适应,这就要求软件产品除了能够在功能上充分适应市场变化,同时还要具有更为快捷的发布速度,以便在新的市场环境中占据更加有利的地位。测试是软件产品的整个开发流程中极其重要的组成部分,多变的市场环境又使测试工作面临着前所未有的挑战。测试覆盖率的充分性与时间压力间的种种矛盾都决定了开发并应用一种更为有效的测试方法的必要性。 敏捷方法是在一种全新的软件开发流程,其首先建立了高效的团队管理平台,并拥有相对应的测试及管理方法供团队选择,使开发团队能够迅速适应变化,并做出自我调整,从根本上解决目前面临的主要问题与困难。Scrum方法则是敏捷方法中的典型代表,在使用Scrum的开发过程中,通过对迭代、计划、评估等环节的运用,实现了对计划的即时调整。Scrum方法的特点是“以人为本”,即强调整个团队中成员间的交流。在本文中,首先对传统的测试方法进行了归纳与分析,其次结合基于Scrum敏捷测试方法的特性,以及软件测试理论和方法,提出了一个基于Scrum敏捷方法的全新软件测试模型,并对基于Scrum方法的管理流程及适用场景进行了全面分析与比较。

关键词： 软件测试   测试用例集约简   K中心点算法   错误检测率  

摘要： 软件行业的不断规范化,不断完善化也随之带动着软件测试行业的不断发展。软件测试工作也由原始的纯手工测试逐步演变为规范化,程序化也是必需化的工作。软件测试工作在软件生命周期中所占的比重也在日益地增大。软件开发过程中的迭代、演化,需要频繁地进行软件测试,测试用例集的规模也越来越大。由于测试用例的设计、执行、管理和维护的开销相当大,而测试资源往往有限,对测试用例集的规模缩减也就成为了一种必然。对原始测试用例集规模的缩减工作也将对软件测试工作带来了极大的便利,即利用尽可能少的测试用例检测出软件中尽可能多的错误,从而提高测试效率、降低软件测试成本是本文研究的重点内容。 测试用例集约简（Test Suite Reduction）的目的就是使用尽可能少的软件测试用例,充分测试给定的软件测试目标,从而提高测试效率、降低测试成本。为了求解该测试用例集约简问题,研究人员已提出了多种约简方法,主要包括启发式约简方法、整数规划约简方法、基于需求驱动的约简方法、基于遗传算法的约简方法等。但这些方法都相对存在着一些不足,已有研究表明,当约简用例集到一定程度时,约简后的用例集错误检测率会大大下降,从而影响软件的测试效率。 本文查阅了众多的国内外相关文献资料,并总结分析了测试用例集约简问题症结之所在。针对以上问题,本文提出了一种基于K中心点的测试用例集约简算法。该算法利用聚类分析的K中心点算法（K-medoids Algorithm）,首先通过该算法对原始的测试用例集进行聚类分析,选择抽样算法,根据测试需求集从得到的各聚类中选择测试用例,从而得到约简后的测试用例集。 最后,本文根据测试用例集约简问题利用K中心点算法进行了代码的实现,实验结果数据表明本文提出的基于聚类分析方法的K中心点算法能较快速地得到测试用例较少,错误检测率较高的测试用例集。此外,为验证该算法的有效性,本文利用原有的经典算法做了对比实验,实验结果数据表明,本文提出的算法是可行的并且是有效的。

关键词： 软件测试   测试用例自动生成   UML活动图  

摘要： 现在计算机已经应用到各行各业,虽说计算机技术给人们带来了各种方便和快捷,但同样存在着大量的问题,问题的根源产生于人们在对系统进行开发时候,或者由于业务需求分析的不均,或者因为底层系统架构实现的问题,在系统上线的时候会暴露出各种各样的问题,这就需要在我们正式的应用系统前,做好充分的测试准备,否则当系统上线,如果出现相应的问题,会给企业带了不可估量的损失 在软件的开发过程中,软件测试是保证软件质量和可靠性的关键。软件测试的目的就是纠错和调整,然而,在测试过程中,如何选择有代表性的输入数据（测试用例）来测试被测程序,使其更完全、更彻底地暴露软件所存在的错误,是软件测试人员最为关心的问题。鉴于测试人员在选择测试用例时带有很大的盲目性,开发一种自动生成测试用例的工具是十分必要的。 测试用例自动生成是软件测试自动化领域的难题之一,研究了基于活动图中活动说明的测试用例生成覆盖准则,并以此作为设计测试用例的基础。本文的研究内容属于基于规格说明的软件测试的范畴,这种生成测试用例的方法是一种新兴技术,它优于以前的基于结构代码生成测试用例的技术。 目前关于自动化测试的研究在国内外正在受到学者们的注重,我们本课题正好借助于进行深层次的研究。在对相关信息和技术进行了了解后,改进生成算法而进行提高应用。

关键词： 软件质量管理   银行   系统测试   软件开发   金融机构   软件工程   验收测试   软件测试   名义   质量  

摘要： 灾难源于轻测试有人片面地认为,开发过程才是决定软件质量的环节,测试并不十分重要。然而专业人士都知道,测试才是在软件质量管理中发挥关键作用的环节。如果没有高水平的专业化测试,或者根本不进行测试,甚至会导致灾难性的后果。1994年,美国迪斯尼公司发布了游戏软件——狮子王动画故事书,广受市场追捧。但产品销售后不久便接

关键词： 软件测试   测试用例集约简   蚁群算法   运行代价   GRE算法  

摘要： 近年来，随着软件规模的不断扩大、软件开发过程的日益复杂以及人主观认识能力的局限性，软件在生产过程中不可避免地出现错误和漏洞。而这些软件的缺陷和漏洞可能造成整个软件系统的失效，从而给用户带来经济上的巨大损失，如果该软件在一些关键领域运行，如核电领域，则会对人类的生命安全造成威胁。因此，软件测试作为保证软件质量和可靠性的重要手段，也就成了软件开发过程中非常重要的组成部分。在软件测试过程中，制定测试计划和设计测试用例是两个重要的环节，我们在进行软件测试工作时，必须重视这两个环节的设计。随着软件规模的扩大，软件的需求越来越多，相应的测试用例的数量也就越来越多，其中不乏大量的冗余测试用例。而整个测试用例集的规模及单独运行每个测试用例的代价直接对软件测试的效率和成本产生影响。因此，如何在保证充分测试和提高软件质量的前提下，使用最少的测试用例以最少的代价对软件进行测试，达到降低测试成本及提高测试效率的目的，是本论文研究的重点内容。 本文首先对已有的几种经典测试用例集约简算法进行介绍和分析，指出各算法的不足之处，然后创新地提出一种基于增强初始路径信息素的改进蚁群算法，并应用到测试用例集约简问题上。本文中提出的测试用例集优化方法充分考虑了测试用例之间的关系，从测试用例集约简的角度考虑测试用例集优化。首先采用GRE算法中的思想，选取原始测试用例集中的必不可少测试用例并进行保存，同时剔除冗余测试用例，通过循环使用必不可少策略和冗余策略将原始测试用例集合进行约简。对经过预处理后的测试用例集-测试需求集关系矩阵采用贪心算法，生成一个先验测试用例子集，然后增强该子集中所有节点的初始信息素，在此基础上运行蚁群算法求出最优解。先验集合中节点初始信息素的增强有助于降低蚂蚁搜索的随机性，使算法从一个较好的基础上进行衰减；另外通过算法迭代次数的自适应变化，相对于固定迭代次数缩短了算法的运行时间。改进后的蚁群算法能在收敛速度和所求最优解中求得一个平衡。本文在最后通过设计一个优化对比工具，将本文提出的算法与几种经典算法进行比较，并以可视化形式展示对比结果。实验结果表明，改进蚁群算法在寻找代价最少的测试用例子集和加快收敛过程方面的性能优于其他算法。

关键词： 自动取款系统   UML   OCL   测试用例   自动化测试  

摘要： 我国的软件测试研究起步非常晚,是随着软件工程的研究而慢慢发展起来的。随着对软件质量的要求越来越高,软件测试技术也渐渐整个为一个新兴的行业。随着软件行业的发展,金融行业IT相关业务也得到了长足的进步。而金融行业对于整个软件系统的要求是最高的,这样便变相导致了整个金融软件系统的集成度越来越高,规模越来越大,关联性越来越强。另一方面,金融行业IT技术相关业务也越来越多,需求变化也越来越频繁。而我国软件测试技术的研究起步较晚,如何通过软件测试来保证系统的质量,成为了整个软件行业的一个难题。本论文为作者在硕士期间参与的实习公司对于某银行整个自助银行系统的外包软件测试的研究。 本文重点讨论了银行自动取款系统的软件测试过程,主要研究工作如下： (1)研究整个银行取款系统需求说明,结合软件功能测试技术,包括测试模型、方法的选择,以及实际系统环境,参照V型测试模型组织从单元到模块到整体的测试。 (2)研究UML建模技术,从静态和动态两个方面对银行取款系统分析,结合整个银行取款系统的结构和功能,通过UML建模为例,通过类图、用例图、状态图、顺序图和协作图的设计,深入研究如何通过建模图形建立测试场景和生成测试数据,为测试工作提供理论依据。 (3)重点针对UML状态图,结合OCL约束语言,研究通过状态图转化有限状态机、协作图生成测试场景。以银行卡账户为例,研究设计通过提取建模图形信息而生成测试数据的自动化测试框架,结合手动测试,测试系统。 (4)研究整个系统测试结果,分析输出报告通过对整个系统测试的分析,组织大量有效的数据,同时提出观点和建议,为该系统今后拓展提供了有效的参考依据。 本文研究了银行自动取款系统的软件测试,各个模块均得到了较高覆盖率的测试,通过了验收测试,确保了整个系统在后期能够稳定运营,保障了系统质量。

关键词： 人工免疫网络算法   软件测试   缺陷预测   并行优化   分子动力学  

摘要： 软件缺陷预测对软件测试开发有着非常重要的指导意义。在本文的研究中,我们首先提出了一种新的软件缺陷预测框架,该框架融合测试和预测步骤,使用人工免疫网络算法(artificial immune network,aiNet)来提取和简化软件开发过程中获得的整个软件度量数据集的信息,然后通过层次聚类来生成多中心点,通过多中心点进行预测。同时该预测框架不断获取测试结果,并通过反馈学习动态调整框架内各个免疫网络以不断提高预测精度。由于高缺陷倾向模块差异相对较大,分布相对分散,多预测中心点可以更好的代表整个数据集,该预测框架可以获得更高的准确率并及早指导测试过程。其次,由于人工免疫网络算法是模拟生物体内细胞的相互作用,具有固有的并行性且串行算法运行效率较低。本文继续研究在NVIDIA的CUDA编程框架在图形处理单元(Graphic Processing Unit,GPU)上并行优化人工免疫网络算法。考虑到GPU硬件结构,本文详细设计了该算法在GPU上的数据结构,内存分配策略和算法流程等。具体而言,为了充分发挥该算法潜在的并行性。我们为网络中的每个细胞分配线程,并行执行该算法中计算亲和度计算、网络压缩,同时融合随机数生成算法和爬山算法并行选择前N个亲和度较好的细胞等。通过改进,aiNet的效率获得了有效的提升。类似GPU,英特尔的众核(Many Integrated Core,MIC)架构也将成为一种在高性能计算领域非常重要的运行环境。本文继续研究了众核体系架构,并在MIC上并行和优化了基于网格的分子动力学模拟(Molecular dynamics,MD)应用。为了充分发挥众核的性能和提升应用效率,我们使用OpenMP框架设计了。MD的多线程并行结构,并通过使用如数组C\C++语言扩展,Intrinsic函数等各种方法来实现向量化以获得更好的效率。由于集成多核心是CPU和高性能计算领域的一种发展趋势,使用MIC并行优化程序也逐渐成为高性能计算领域一种新的选择,本文的方法可以被类似的应用所借鉴。

关键词： 静态分析   软件安全   符号执行   语义网本体   缺陷检测   软件测试  

摘要： 静态分析作为一种成熟有效的缺陷检测技术一直是软件测试和安全领域究的重点课题,而符号执行技术作为一种有效的静态分析技术,在程序缺陷检测、程序的验证与正确性证明等方面有较好的应用前景。为减少静态分析中存在的误报较多的问题,本文论述了一种基于符号执行技术以及语义网本体技术的软件缺陷静态检测方法,并且通过路径选取与函数摘要等方法缓解了程序分析过程中循环结构和跨过程分析导致的路径爆炸问题。　　基于符号执行技术的缺陷检测方法是一种自动化的源代码静态分析方法。该方法主要分为六个步骤:首先,通过分析源程序建立抽象语法树(Abstract Syntax Tree,AST),AST树能够对源程序提供结构化、形式化的描述;随后,在AST树的基础之上建立符号执行过程所需的程序控制流图(Control Flow Graph,CFG)以及支撑跨过程分析所需的程序的调用图(Call Graph,CG);第三步,根据一定的路径选取策略,从CFG中抽取出程序可能的执行路径集,符号执行技术能够对这些可能的执行路径集进行分析,并且确定他们的可达性,从而确定AST树中各语句元素的可达性;第四步,建立缺陷分析所需要的本体知识库,包括各种语言元素的类型定义以及缺陷推理规则;第五步,再符号执行分析完毕之后,为AST中的必要元素生成对应的本体个体(Ontology Individuals)并且添加到本体知识库当中;第六步,使用推理机加载本体知识库并完成推理,检测出源代码中的各种缺陷。　　本文以Java为目标语言开发了一个原型系统SVD(Software Vulnerability Detector)以验证方法的有效性。本文用包含常见Java安全缺陷代码的源代码对SVD　　系统进行了若干实验,实验证明了该方法的有效性以及在实践中的可行性。

关键词： 地理信息系统软件测试   标准体系   依存主体   系统工程  

摘要： 本文旨在研究地理信息系统软件测试标准体系。 地理信息系统软件的测试工作贯穿其生命周期的各个阶段，测试标准对软件质量起到重要的保障作用，而作为软件测试与地理信息系统结合的产物，地理信息系统软件测试标准则为地理信息系统软件测试提供更加专业化的理论方法和技术指标。在国内外地理信息系统软件测试工作相继开展的十几年中，相关研究工作已取得了一定进展，然而在地理信息系统软件测试活动中尚没有针对性的标准体系对其工作进行规范指导。在此情况下，对地理信息系统软件测试工作进行标准化具有重要意义。 论文通过对软件测试的理论技术和地理信息系统软件的特点进行分析，结合地理信息系统软件测试的实际工作，对测试方法、流程和规范化的内容进行总结。根据对地理信息系统软件测试标准化体系依存主体的系统分析，指出了标准化对象;应用系统工程学的原理将地理信息系统软件测试活动进行系统化，按照标准化工作要求，明确了标准体系内容并提出了地理信息系统软件测试标准体系的构建框架，对标准体系内容做了初步约定，就当前的标准化工作提出了建议，为地理信息系统软件测试标准体系的建设提供参考。