教学课程资源库 更多>>

关键词： 粒子群算法   路径测试   测试数据生成   多路径测试   软件测试  

摘要： 随着计算机技术的快速发展，软件测试在确保软件质量和可靠性方面发挥着重要的作用。由于软件的规模越来越大，软件测试在整个软件的开发周期中所占的比例越来越高。自动化测试可以有效地提高软件测试的效率、降低软件开发的成本，而其中的关键是软件测试数据的生成。面向路径的测试数据生成是软件测试数据生成的一个研究热点，粒子群算法在面向路径的测试数据生成上具有很好的应用前景。目前关于粒子群算法及其相关改进的研究仍有很多的不足，限制了其在路径测试数据生成上的应用。 本文首先介绍了软件测试中的基本概念和软件测试技术的分类，然后介绍了测试数据的生成方法。详细介绍了在测试数据生成中常用的几种智能搜索算法，并对其优缺点进行了分析。 为了提高吸引排斥粒子群算法的效率，本文对其进行了深入的研究。通过对吸引排斥粒子群算法优缺点的分析，提出了一种改进的吸引排斥粒子群算法（RARPSO），使用了新的种群多样性指标计算公式和个体位置向量更新公式，并通过多个性能测试函数验证了其效率。 将改进的吸引排斥粒子群算法应用到单路径测试数据生成中，提出了一种基于RARPSO算法的单路径测试数据生成方法，并通过多个基准测试程序验证了其具有较高的单路径测试数据生成效率。 研究了多路径测试数据生成的问题和小生境技术的相关应用，提出了一种新的小生境粒子群算法（多生境粒子群算法，MNPSO），并将其应用到了多路径测试数据生成上。接着提出了一种基于MNPSO算法的多路径测试数据生成方法，并通过多个基准测试程序验证了其具有较高的多路径测试数据生成效率。

摘要： We introduce a methodology and research tools for visual exploratory software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements specifications into a live quick-feedback cycle, without recompilation or restart of the system under test. This supports discovery and verification of software dynamic behavior, software comprehension, testing, and locating the defect origin. At its core, VERDICTS allows dynamic evolution and testing of hypotheses about requirements and behavior, by using contracts as automated component verifiers. We introduce Semantic Mutation Testing as an approach to evaluate concordance of automated verifiers and the functional specifications they represent with respect to existing implementation. Mutation testing has promise, but also has many known issues. In our tests, both black-box and white-box variants of our Semantic Mutation Testing approach performed better than traditional mutation testing as a measure of quality of automated verifiers.

关键词： 软件测试   禁忌搜索   字符串   测试数据生成  

摘要： 随着软件规模的不断扩大，用户对软件质量要求的提高，软件测试在整个软件开发过程中变得尤为重要。作为提高软件测试效率、降低测试成本的重要手段，测试数据自动生成技术受到软件工业界的广泛关注。目前，关于布尔型和整数型测试数据自动生成研究已经取得丰富的成果，但对于字符串型测试数据自动生成的相关研究仍较少。 基于启发式搜索算法的测试数据自动生成，其核心是将测试数据生成问题转换为优化搜索问题。近年来，在启发式搜索算法的选择上大多数集中在遗传算法上。禁忌搜索算法是一种模拟人类思维过程的启发式搜索算法，是对局部搜索算法的一种扩展。探讨如何将禁忌搜索应用于字符串型测试数据自动生成中具有一定讨论意义和实际应用价值。 针对以上问题，本文提出了一种基于禁忌搜索的字符串型测试数据生成方法，该方法针对字符串数据的特点，设计了相应的4种邻域函数，将字符串编辑距离和字符距离相结合作为适应度函数；并编程实现了一个字符串测试数据生成原型系统。实验结果表明，基于禁忌搜索的字符串测试数据生成方法能够成功地实现字符串测试数据自动生成；并且在同等条件下，其测试生成效率相对于遗传算法有较大提高。

关键词： 软件测试   面向对象软件   集成测试   切片技术  

摘要： 随着计算机科学技术的不断发展,软件产业已经逐步深入到社会发展、人类生活的各个方面,软件正以一种惊人的力量影响着人们的生活。正因如此,软件产品的质量也受到了越来越多的关注。作为软件质量保证的重要手段,软件测试的重要性逐渐凸显出来。 面向对象技术的诞生,使得软件工程人员开始从一个全新的角度思考软件的设计和解决方案,由传统的面向过程开发转变为面向对象开发,使软件工程步入了一个新的发展阶段。然而,面向对象技术的三大特点封装、继承和多态使得传统的集成测试方法不再适用于面向对象软件的集成测试。这些特点对面向对象软件测试工作提出了更高的要求,为软件测试领域带来了新的挑战。 本文从传统软件的测试策略出发,结合面向对象软件自身的特点,提出了一种基于切片技术的面向对象软件集成测试策略。该策略以传统单元测试中的程序切片技术为核心,将程序切片的理念应用到面向对象的集成测试中,用对有向图的切片替代了对程序代码的切片,使得对整体的测试转化为对若干个体的测试,从而降低测试的复杂度。本文主要阐述了基于切片技术的面向对象软件集成测试策略的具体实施方案,详细描述了策略中包含的各种权值计算方法和优先级算法。最后结合实际项目,采用本策略对一个实时计算系统进行了集成测试,结合测试数据对策略进行了验证,并和已有的集成测试策略进行了比较,证明了其有效性。

关键词： 高精度   局部重力场   软件集成   软件测试   计算平台  

摘要： 本文的主要内容是高精度局部重力场计算平台的集成与开发。 目前，针对大地测量，尤其重力数据处理方面的软件虽然并不算少，但是很少见到功能全面的系统性大型软件。为了改善这一状况，课题组研发了高精度局部重力场计算平台。 高精度局部重力场计算平台是一套适用于重力场数据处理、局部重力场逼近和大地水准面精化等方面研究和工程计算工作的软件平台。平台采用面向对象的模块构架，使用Visual C++6.0和Visual Fortran95混合编程开发，功能体系相对独立，用户在使用软件的过程中不需要借助其他工具。 高精度局部重力场计算平台的开发，其意义在于改善科研工作人员的工作效率与方法，提高重力场数据处理的软件水平，填补系统性计算平台软件稀缺的这一空白。平台包含了多项理论技术创新，对传统局部重力场技术和算法进行了大量的改进，能够更加适应厘米级大地水准面精化和高精度局部重力场逼近的新技术要求。 软件是在利用模拟数据基础上开发的，本文重点介绍了集成后的软件功能实现，并通过实测数据对软件进行测试，增强软件的实用性，以期满足工程化应用需求。本文最后总结出软件本身存在的问题与今后再开发可能遇到的问题，并对部分问题提出了解决方案。 课题组自2008年以来，逐渐发展并完善了该软件1.0版本。应技术革新要求，现需要将平台软件结构重新规划后集成开发，并对其功能以及部分接口重新设计。然后对系统整体进行详细的测试，并分析其结果。本论文主要对该软件的集成开发及整合进行介绍。本课题的研究内容为更新软件框架，以及数据接口和人机交互界面，整合归并算法后重新集成计算平台。集成后，由于对软件系统进行了改动，因此需要测试确定其可靠性以及稳定性。本课题中，我们将使用实际数据，设计整套计算流程，熟悉软件操作并进行软件测试。 测试结果经分析，软件的重新集成后，可靠性和稳定性均能够达到要求水平，能够满足科研与工程任务需要。

关键词： 复用   测试用例   相似度   软件测试   软件需求  

摘要： 软件复用在软件开发中已得到了很好的应用。实践证明，软件复用可以缩短软件研发周期，提高软件质量。软件测试用例是软件测试的关键和难点，决定了软件测试的效率和质量。将软件复用的思想引入软件测试中，通过复用已有软件测试用例，不仅能够缩短软件测试用例设计的时间，减少软件测试用例设计的工作量，而且能提高软件测试效率，保证软件的测试质量，从而进一步地保证软件质量。 本文主要研究了软件测试用例的复用技术和基于交互有限状态自动机的可复用测试用例生成技术。首先，分析了基于需求的软件测试用例复用技术研究的背景和意义，综述了软件测试用例复用技术的研究现状，阐述了与软件测试用例复用的相关理论。其次，对测试用例、用XML描述软件测试用例的方法、CBR方法进行研究。在此基础上，建立面向复用的软件测试模型，为建立软件测试用例复用方法奠定基础。第三，研究了基于交互有限状态自动机的可复用测试用例生成技术，建立了形式流程图和交互有限状态自动机的形式语义，设计了基于形式流程图生成交互有限状态自动机和基于交互有限状态自动机生成可复用测试用例的算法。最后，设计并实现了基于复用的软件测试用例自动生成系统。

关键词： 软件测试   用户界面测试   SilkTest工具   控件识别   XML存储   节点编码  

摘要： 用户界面（User Interface，UI）是现代软件的重要组成部分。软件的功能主要是通过调用UI实现，所以UI测试是现代软件测试中的一个重要环节。UI的逐渐复杂给相应的测试带来了极大的困难和挑战。目前的UI自动化测试工具普遍采用捕捉/回放机制，但由于现在软件多版本多语言的特点，传统的测试方法已经无法满足需求，因此有必要开发相适应的UI自动化测试工具。本文以实现UI测试工具为研究目标，主要作了以下三个方面的工作： （1）针对软件多版本多语言的特点，本文设计了一个通用的自动化测试总体架构，其中重点阐述了UI信息抽取和UI信息存储两方面。 （2）在UI信息抽取方面，由于控件识别是UI信息抽取的关键，所以针对句柄识别UI缺乏稳定性和通用性，通过引入XML，提出了一种基于XML对UI控件识别并抽取信息的方法。该方法结合自动化测试工具Silk Test，通过改写UI的tag标识，解析对应的dll文件，将UI信息抽取为XML。实验结果表明，改进后的方法能够缩短控件的识别时间，减少测试脚本的冗余量，并且能够提高测试脚本的通用性和UI识别的稳定性。 （3）在UI信息存储方面，采用XML存储方式，提出了基于混合内联的改进存储策略。该方法在混合内联的基础上，继续划分子图和添加节点编码，以存储XML节点关系和结构信息。实验结果表明改进的存储策略能够减少DTD映射时间和关系表的数量，能够减少存储开销，提高整个存储策略的性能。

关键词： 移动娱乐设备   软件测试   测试用例   车载影音系统   Android  

摘要： 近些年,信息通信技术取得了飞速发展,消费类电子产品发生了很大的变化,正在朝着互联、互控和互通的方向发展,人们的生活迈入全新的智能时代。智能手机、平板电脑、汽车电子设备等之间的界限也逐渐模糊化,多媒体娱乐性、应用智能性、多个设备互联性等已成为消费类电子产品研究的主要内容,智能化的生活图景慢慢展现在人们眼前。 移动娱乐设备作为一种新的消费类智能电子产品也慢慢地融入人们的生活,如何保证此类消费类电子产品的软件质量以满足人们的需求,这就对该类产品的软件测试提出了要求。作为移动娱乐设备的软件部分,离不开软件测试的共性,针对移动娱乐设备的特点,结合多媒体技术的特点,在软件质量维护和软件测试的基础上,开展了对移动娱乐设备软件测试技术的研究,提出了一套适合当前此类智能电子产品软件测试的解决方案,并将此应用到车载影音娱乐设备的测试过程中。 本文从多媒体技术基础入手,分析了主流的多媒体技术应用现状,结合了软件测试基础,为移动娱乐设备软件测试做好了铺垫。接着分析了测试需求,良好清晰的测试需求分析才能让后续的软件开发和测试工作顺利进行。针对测试需求分析,展开关键的测试用例设计工作,在文中研究了测试用例的生成技术、测试技术的优化与调整,以及测试充分性评估和缺陷追踪技术。分析了移动娱乐设备测试的测试环境,对比了常用的测试模拟工具,同时给出了各种测试结果的记录统计方法,方便了软件测试人员与研发人员交流软件缺陷问题以及对应的改进措施。最后,根据车载影音系统的软件测试为案例,从该电子产品的多媒体播放功能、信号通讯性能、界面友好性等方面,根据测试需求设计测试用例,并实施测试过程,分析和总结测试报告,找出软件产品缺陷以及测试实施的不足,同时提出了今后的工作研究方向。

关键词： OSEK/VDX操作系统   软件测试   流框图测试分析方法   自动化测试  

摘要： 随着汽车工业和信息技术的迅猛发展,现代汽车集成了越来越多的复杂电子元器件。为满足管理日益增多的电子控制单元的需求,实现应用软件间的可移植性以及不同厂商所生产的控制模块的兼容性,迫切需要一种统一的系统管理平台。OSEK/VDX操作系统规范为车用嵌入式操作系统及其相关服务定义了一系列的抽象标准接口,该系统独立于应用软件和硬件平台,获得了广泛的应用。 本实验室在国家核高基项目的支持下,开发了适用于8位单片机的符合OSEK/VDX规范的FDOSEK操作系统,实现了OSEK/VDX规范定义的内核要求。该系统具有资源消耗小,实时性优良,运行稳定等特点。 软件测试是软件开发的重要一环,是系统质量的保证和软件使用的前提。针对本实验室开发的FDOSEK操作系统,本人对功能测试进行了大量的研究和试验,主要在两个方面进行了深入的研究和探索：1.针对现有测试理论和方法的不足,提出了流框图测试分析法,能够充分覆盖测试路径,减少测试用例的冗余性。它可以为各个一致类提供独立的测试用例,充分利用系统一致类间的关系,提高测试效率。 2.开发了自动化的测试工具。自动化测试软件的使用不仅能够提高工作效率,为人工测试的几十倍,也避免了人工操作的失误,同时更加灵活的应对各种测试用例的变化。 本文详细的阐述了OSEK/VDX操作系统的测试理论和实践。首先全面介绍了OSEK/VDX操作系统的研究背景和本实验室开发的FDOSEK操作系统。然后着重阐述了流框图测试分析理论和方法。最后在详细介绍自动化测试原理和机制的基础上,对如何开发和使用自动化测试工具做了深入的讲解。实验结果表明,自动化测试理论有助于完成系统的功能测试,同时自动化测试工具的使用大大提高了测试的工作效率,达到了预期的效果。

关键词： Software testing  

摘要： The CDIO (Conceive - Design - Implement - Operate) model was adopted for the teaching of software testing as part of engineering education. This new method combines classroom teaching with practical teaching by the use of projects. The application of this method allowed to improve the quality of training offered in software testing. Practice has shown that this teaching mode can arouse the enthusiasm of the students and, results indicate that it can advance their abilities in theory and practice. © 2013 WIETE.