检索结果-南通市图书馆

作者：张明时北京邮电大学

学位级别：硕士

近些年来，由于软件规模的不断增大，传统的手工测试已严重影响了软件的发展。它不但需要投入大量的人力、物力和时间，最终还是由于测试的工作量太大，而无法保证软件测试的充分性，从而无法有效保证软件的质量。正是由于上述原因，推... 详细信息

近些年来，由于软件规模的不断增大，传统的手工测试已严重影响了软件的发展。它不但需要投入大量的人力、物力和时间，最终还是由于测试的工作量太大，而无法保证软件测试的充分性，从而无法有效保证软件的质量。正是由于上述原因，推动了软件测试工具的发展。国内外大量的软件厂商，以及一些开源组织和个人，目前已经开发了成百上千各种各样的软件测试工具，广泛应用到软件产品的生产活动中。在软件测试中，单元测试只是其中的一种，但单元测试却是所有测试中非常重要的一种。XP依赖于单元测试，并且单元测试也是XP实践中的关键一项。因为XP全面拥抱需求变化，在没有完整的设计情况下就开始编码。为了应付开发过程中或者项目递交后客户对功能的改变，如果没有单元测试作铺垫，编码和后续维护中出现的BUG可以淹没整个项目组。对基于J2EE平台的应用程序进行单元测试是众所周知的难题。J2EE程序代码先要部署到服务器容器中，运行时代码在容器中由容器支持、控制和运行。程序代码不能脱离容器单独运行，运行结果必须由容器发给客户端才能得到。本论文正是基于上述出发点，对在软件测试过程中应用最多且最重要的单元测试进行研究，并结合目前开源自动化单元测试框架，给出了对J2EE应用项目进行单元测试的解决方案。本文最后将单元测试的解决方案结合各种测试策略，为一个基于Struts的J2EE应用项目编写单元测试用例，从而证明了用开源单元测试框架对J2EE应用进行单元测试的可行性和必要性。使用开源测试框架的组合来进行单元测试，不但能够成功运用在J2EE应用中，同样还可以运用到其它JAVA项目的测试中。

关键词：软件测试单元测试 J2EE JUnit Struts

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于符号执行与改进蚁群算法的单元测试研究

基于符号执行与改进蚁群算法的单元测试研究

作者：蔡少军南昌航空大学

学位级别：硕士

软件测试活动的各个阶段中针对软件的基本组成单元进行测试的阶段是单元测试,它是软件开发过程中要进行的最低级别的测试活动,也是软件测试的基础。单元测试在软件测试早期保证了基本组成单元的质量,为后续的集成测试活动及系统测试活... 详细信息

软件测试活动的各个阶段中针对软件的基本组成单元进行测试的阶段是单元测试,它是软件开发过程中要进行的最低级别的测试活动,也是软件测试的基础。单元测试在软件测试早期保证了基本组成单元的质量,为后续的集成测试活动及系统测试活动打下良好的基础。它能够防止在软件测试后期出现大量bug,从而造成大量返工工作以致使软件开发的成本和时间的失控。因此对单元测试的研究非常有实际价值。随之计算机科学技术的高速发展,软件的需求成指数增长,其单体的规模和结构也变庞大和复杂,传统手工测试已经不能满足测试活动的需要。当前涌现出许多单元测试自动化技术,但各种单元测试自动化技术的自身都存在一些缺陷。本文主要研究符号执行技术在单元测试领域出现不能有效对存在非线性关系的路径进行测试的问题。本文介绍了单元测试的研究背景、意义和国内外研究现状,以及单元测试的基本原理、常见单元测试用例生成方法、符号执行技术和蚁群算法等相关基本理论,并进一步阐述了符号执行的关键,即约束求解技术,同时分析了产生符号执行技术对存在非线性路径不能进行测试的具体原因。在此基础上,本文详细介绍一种通过改进蚁群算法来弥补符号执行技术在单元测试应用中存在着某类漏洞的方法,该漏洞是指无法对被测程序中含有非线性约束的分支的路径进行覆盖。该方法首先通过利用符号执行技术,将无法覆盖的路径上分支中约束关系进行收集,并与将其路径中分支上约束关系转化成多目标寻优问题(首先,利用符号执行技术,将无法覆盖的路径分支中的约束关系进行收集,并将这些约束关系转化成多目标寻优问题;);其次,通过蚁群算法具有多目标寻优的特性(基于蚁群算法的多目标寻优特性)对非线性方程组进行求解,进而获得最优解;然后,使用拟牛顿算法对求得的最优解进行优化,以提高最优解的精确度;最后,把含有非线性关系分支的路径对应测试用例和符号执行技术得到测试用例合在一起,得到测试用例集合。本文选用传统三角形问题和新三角形问题作为实验被测程序进行测试,并将得到的结果进行对比,以验证本文所提方法的可行性。

关键词：单元测试测试用例符号执行技术蚁群算法拟牛顿算法

自动化单元测试框架在企业级软件开发中的应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

自动化单元测试框架在企业级软件开发中的应用

作者：刘国庆浙江大学

学位级别：硕士

近年来,随着现代信息技术的迅速发展,计算机技术在金融、航天、通讯等各个行业的广泛应用,对软件系统性能和稳定性要求越来越高。同时,软件开发周期不断缩短,而软件系统却日益庞大。在此情况下,软件产品质量自然成了开发商关注的焦点。... 详细信息

近年来,随着现代信息技术的迅速发展,计算机技术在金融、航天、通讯等各个行业的广泛应用,对软件系统性能和稳定性要求越来越高。同时,软件开发周期不断缩短,而软件系统却日益庞大。在此情况下,软件产品质量自然成了开发商关注的焦点。软件测试是保障软件产品质量的重要手段。位于软件测试最底层的单元测试无疑是软件测试中最基础最重要的一步。如何进行快速有效的单元测试一直是困扰开发人员问题。自动化单元测试为解决这个问题提供了途径。采用自动化单元测试可以大大降低软件开发人员在单元测试所花费的时间,提高软件产品的质量,从而缩短整个软件开发的周期,降低成本。本文阐述了自动化单元测试相关概念和理论,分析了目前自动化单元测试相关软件,然后结合现代企业级软件开发的特点,根据自动化单元测试的设计原理和各种自动化单元测试的技术,构建企业级软件开发自动化单元测试框架,并把测试数据从测试用例分开,通过测试数据文件生成测试用例;最后以一个企业级信息管理发布平台为例证实此框架的适用性,解决了传统单元测试遇到的难题。

关键词：企业级软件自动化单元测试 Ant 测试用例测试数据分离

利用CppUnit的面向对象程序单元测试技术研究与应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

利用CppUnit的面向对象程序单元测试技术研究与应用

作者：张柯楠西安电子科技大学

学位级别：硕士

随着计算机技术的深入快速发展,软件已经在人们日常生活中得到广泛应用,而软件质量也已经成为人们所关注的焦点。软件测试作为软件质量的有力保证,其重要性已经日益显著。单元测试是在编码完成后对软件设计中的最小的单位检验正确性的... 详细信息

随着计算机技术的深入快速发展,软件已经在人们日常生活中得到广泛应用,而软件质量也已经成为人们所关注的焦点。软件测试作为软件质量的有力保证,其重要性已经日益显著。单元测试是在编码完成后对软件设计中的最小的单位检验正确性的测试工作,是能够显著提高软件质量的有效手段。本文将提出面向对象思想设计的程序的单元测试系统方案并加以实践。本文首先介绍了研究课题的现状和发展趋势,介绍了面向对象、软件测试、单元测试的相关技术方法、工具的特点及使用方法,详细介绍了面向对象自动测试框架CppUnit的实现机制以及使用方法,并结合实际项目《iTools智能监控平台单元测试》,对提出的面向对象程序单元测试方案进行实践验证,在以实际项目为例的方案实践中,考虑到测试用例的关键性,本文提出了利用白盒和黑盒测试相结合的策略来构造测试用例,保证了测试用例的充分性。并且总结了一套编写测试代码的通用步骤以及针对被测对象编写代码的优先顺序,最后的测试报告及测试结果证明了该单元测试系统方案是可行和有效的。本文融合了软件的测试理论技术知识以及笔者实践的经验,相信对于自动化单元测试的进一步研究以及推广CppUnit的应用都具有一定的意义和参考价值。

关键词：软件测试单元测试测试用例自动化测试

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

仪器仪表中嵌入式软件单元测试技术研究

仪器仪表中嵌入式软件单元测试技术研究

作者：洪波杭州电子科技大学

学位级别：硕士

随着仪器仪表行业的不断发展，其用户的需求不断提升，嵌入式系统在仪器仪表中也得到了广泛的应用，使得对于仪器仪表硬件和软件的复杂度越来越高。此外，由于仪器仪表应用的领域的特殊性，使得其对于嵌入式软件的质量的要求更加严格。... 详细信息

随着仪器仪表行业的不断发展，其用户的需求不断提升，嵌入式系统在仪器仪表中也得到了广泛的应用，使得对于仪器仪表硬件和软件的复杂度越来越高。此外，由于仪器仪表应用的领域的特殊性，使得其对于嵌入式软件的质量的要求更加严格。另外，日益激烈的市场竞争也要求开发周期尽可能的短。如何在短时间内完成产品的设计开发并保证质量，不能再仅仅依靠先进的检测技术和设计方案，还需要有一套系统而有效的的测试策略和测试技术的支持。嵌入式软件测试作为一种特殊的软件测试，与通用软件测试的目的和原则相同，都是以验证和确定设计实现或者可靠性是否达到需求要求，通过验证去发现系统缺陷。但是由于嵌入式软件自身的特点，使得它与通用的软件测试相比有着自身的特点。嵌入式软件是在特定的硬件环境下运行的，因此需要测试在特定硬件环境下的可靠性;由于嵌入式软件的工作环境的特殊性，还需要保证嵌入式软件的实时性;由于受到内存的限制，对于代码的冗余与内存的测试也是嵌入式软件测试的特点。目前，对于PC软件单元测试有着一套成熟的理论和工具支持，自动化程度高，而对于嵌入式软件单元测试来说，目前元测试的进行主要依赖与手工，静态测试主要靠代码走读;测试管理混乱等。面对复杂的嵌入式系统软硬件环境，未能有效的单元测试会给程序留下隐患。本文基于仪器仪表中嵌入式软件特点，对嵌入式软件单元测试进行研究，分析了软件测试的方法和思想，并结合传统的软件测试思想，将嵌入式软件测试方法运用到仪器仪表嵌入式软件测试中去。深入研究了单元测试的方法和过程。在软件开发过程中，出现了越来越多的自动化单元测试工具以及测试方法，其中的不少得到的广泛的应用。PC-Lint是一款用途较为广泛的单元测试工具，主要用于静态测试，它类似于一款更加严格的编译器，侧重于代码的逻辑分析，能够帮助测试人员发现一些潜在的问题，有效地保证软件代码质量。对于数组访问越界，内存泄露，未使用初始化值等存在严重隐患的问题，起着较好的预防作用。笔者对PC-Lint进行了一定分析研究，鉴于其在使用过程中是以命令行的形式，人机交互的界面性差，对于配置使用结果输出不够便捷，笔者利用VS开发工具，开发了一款基于PC-Lint的可视化Windows的测试工具，能够定制代码走读的规则。最后，笔者以聚光科技LC-MS项目为背景，参与整个项目的开发设计，负责部分嵌入式软件的开发测试任务，笔者结合项目的特点，利用开发的测试工具，对嵌入式软件进行单元测试，验证了软件的实用性。最大程度上面保证了软件的质量，提高了产品的可靠性。

关键词：嵌入式软件测试单元测试 PC-Lint

C++无线基站管理系统单元测试框架设计与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

C++无线基站管理系统单元测试框架设计与实现

作者：黄文电子科技大学

学位级别：硕士

在计算机编程中,软件单元测试是一种非常有效的方法,用以验证一段代码或是系统的一个模块是否能正常运作。许多的软件企业已经把这种方法当作软件发行更新的一个标准。单元测试不仅可以告诉开发人员被测单元成功或是失败,更能在某种程度... 详细信息

在计算机编程中,软件单元测试是一种非常有效的方法,用以验证一段代码或是系统的一个模块是否能正常运作。许多的软件企业已经把这种方法当作软件发行更新的一个标准。单元测试不仅可以告诉开发人员被测单元成功或是失败,更能在某种程度上,准确地锁定问题的源,从而帮助开发人员进行修改,进而改善软件的质量。对于软件测试,首先要搭建测试框架。虽然业界已经有很多成熟的单元测试框架,可以用于搭建基本的测试系统。但是,大部分现有的测试框架都与被测系统交互不便,缺乏扩展性,不易于维护。本论文的主要工作是设计统一的通信平台和全局桩模块。新的通信平台通过使用单例模式的核心类,在被测系统初始化时建立两个系统级别的注册表,一个静态表和一个动态表。静态表约定所有可能的子模块的唯一标识,动态表用于记录运行时的子模块实例和其内存地址。在每个子模块初始化时,都先往动态表中注册自己的信息。如此,所有的子模块都能通过这两个全局表来查询和访问任何其他的子模块实例。并且,这个通信过程封装后对所有子模块都是透明的。全局桩模块充分利用了C++回调函数的特性,把桩模块仅仅作为一个容器,而不是实现具体的交互代码。在这个机制下,桩模块保留与被测系统的通信能力,并维护一个反馈函数表。所有与被测系统的交互代码都将封装成函数,装载进函数表内,在正确的时候提取调用。论文中设计开发的测试框架,逻辑清晰,扩展性极强。测试用例易于编写,风格统一。

关键词：单元测试测试框架 C++测试设计模式

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

动态靶标伺服系统的单元测试

动态靶标伺服系统的单元测试

作者：杨赛中国科学院研究生院（长春光学精密机械与物理研究所）

学位级别：硕士

随着软件产业化的发展,人们对软件的质量、成本和进度提出了较高的要求。光电测量设备作为一种高精度检测设备,并且在其组成中引入了计算机系统,计算机软件已成为光电测量设备的重要组成部分,因此精确性和稳定性较其他产品更为重要。所... 详细信息

随着软件产业化的发展,人们对软件的质量、成本和进度提出了较高的要求。光电测量设备作为一种高精度检测设备,并且在其组成中引入了计算机系统,计算机软件已成为光电测量设备的重要组成部分,因此精确性和稳定性较其他产品更为重要。所以对光电测量设备的软件测试是其软件工程化中必不可少的一部分。本文主要介绍了软件测试的基本方法,并结合所在实验室的项目对动态精度靶标进行了软件测试,结合相应的测试工具重点对动态精度靶标软件源程序进行了代码规则检查,并对伺服控制系统软件进行了测试用例的设计和覆盖率的分析。将代码规则检查发现的错误反馈给程序开发人员,修改后的源程序增强了系统的稳定性,减少了运行程序所需时间。在设计测试用例方面,为了保证全面的测试,将程序按所实现的功能分为九个模块,结合Cantata++工具对各模块进行了单元测试,并达到了100%语句覆盖和100%分支覆盖。在此基础上改正了软件源程序的缺陷,验证了软件的正确性,增强了软件的稳定性,形成了相应的测试文档。本文是针对光电测量仪器通用的伺服系统软件进行的初步软件测试探索,具有工程应用方面的现实意义,能够为从事检测、伺服控制等专业的人员提供一种

关键词：动态精度靶标软件伺服系统软件单元测试语句覆盖分支覆盖

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于符号执行的C程序单元测试研究与实现

基于符号执行的C程序单元测试研究与实现

作者：翁子盛国防科学技术大学

学位级别：硕士

软件的安全性越来越受到业界的重视,本文从源代码的单元测试出发,研究如何通过单元测试来检测出代码中的潜在漏洞,提高代码的安全性。采用的是静态符号执行和约束求解的方法。在Phoenix的编译架构上,以Phoenix的IR为直接分析对象,实现... 详细信息

软件的安全性越来越受到业界的重视,本文从源代码的单元测试出发,研究如何通过单元测试来检测出代码中的潜在漏洞,提高代码的安全性。采用的是静态符号执行和约束求解的方法。在Phoenix的编译架构上,以Phoenix的IR为直接分析对象,实现了一个Phoenix IR的虚拟执行机,该虚拟执行机结合约束求解产生正常的单元测试例输入和触发潜在缺陷的测试例输入。符号执行是路径敏感的分析方法,分析精度高,但时间空间消耗较大,是作为单元测试的一种很好的方法。本文实现了对C语言的分析,能很好地对C语言中的指针、结构体、多维数组等复杂结构的代码进行符号执行建模分析。本文实现的工具CUTG支持程序的过程间分析,采用模拟Phoenix编译器C2后端的方法构建一个程序全局分析基础。使用符号表达式树作为符号执行时符号运算的存储结构。CUTG采用传统的深度优先路径遍历方法对被测代码的路径空间进行遍历。CUTG主要检测的漏洞类型为缓冲区溢出漏洞,缓冲区溢出是一种危害性很大、检测难度高的漏洞类型。同时本系统还能检测空指针解引用和除零错误这两种简单类型的缺陷。由于Phoenix的IR指令集规模很大,CUTG只实现了其中一部分的指令建模,因此CUTG的分析能力有待进一步完善。本文最后以一个典型的例子进行实验,能很好地检测出漏洞并产生测试输入。同时对wget的源代码进行实验分析,说明该工具能对万行级的代码进行分析,并能给出具有指导价值的分析结果。

关键词：单元测试符号执行 Phoenix 代码安全性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

C++程序的单元测试系统的研究与实现

C++程序的单元测试系统的研究与实现

作者：李岩沈阳工业大学

学位级别：硕士

随着计算机技术的迅速发展，计算机软件越来越深入地应用于国民经济和社会生活的各个方面，软件的质量也成为软件开发者和使用者关注的焦点。由于软件是人为产物，因此不可避免地存在着某些错误。软件测试是保证软件质量的重要手段，其... 详细信息

随着计算机技术的迅速发展，计算机软件越来越深入地应用于国民经济和社会生活的各个方面，软件的质量也成为软件开发者和使用者关注的焦点。由于软件是人为产物，因此不可避免地存在着某些错误。软件测试是保证软件质量的重要手段，其主要目的是为了尽早尽可能多地发现软件中存在的错误和缺陷，提高软件的质量。单元测试是对软件设计的最小单位进行正确性检验的测试工作，是其他级别测试工作展开的基础，在编码完成后必须进行单元测试。本文提出了C++程序的单元测试系统方案并加以实现。本文首先研究了课题的现状和发展趋势，介绍了软件测试的基础理论知识;其次提出了单元测试的四个步骤，并据此设计出了C++程序的单元测试系统的实现方案，建立了测试系统的模型图;再次，本文以具体的C++程序为例，从静态和动态两个方面对单元测试系统加以实现;最后给出了单元测试的报告。在静态方面，本文根据C++程序的词法和语法规则，在词法和语法方面实现了静态测试过程。在动态方面，考虑到设计测试用例是动态测试的关键，因此本文综合运用多种不同方法来构造测试用例，使得通过较少的测试用例达到较好的测试效果：等价类划分法保证既能进行完备的测试，同时又能避免冗余;边界值分析法用来发现程序的边界缺陷;正交试验设计法用于优化测试用例;基本路径测试方法用于保证程序中每一条基本路径都被测试过，从而使测试用例达到语句覆盖和路径覆盖准则。本文还重点剖析了面向对象自动测试框架Cppunit的编写规则和实现机制，并利用该框架执行测试用例，得出单元测试报告。本文对“求下一天”程序的测试过程和测试结果表明该系统是可行的和有效的。

关键词：软件工程软件测试单元测试

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

网管系统单元测试的研究和实现

网管系统单元测试的研究和实现

作者：林侃北京邮电大学

学位级别：硕士

传输网是整个电信网的基础，它为整个网络所承载的业务提供传输通道和传输平台。传输网网管系统又是保证传输网稳定、高效运行的重要因素。随着网络规模的不断扩大，网络设备种类以及网络业务的不断增加，运营商不仅对网管系统软件的功... 详细信息

传输网是整个电信网的基础，它为整个网络所承载的业务提供传输通道和传输平台。传输网网管系统又是保证传输网稳定、高效运行的重要因素。随着网络规模的不断扩大，网络设备种类以及网络业务的不断增加，运营商不仅对网管系统软件的功能要求日益提高，而且软件质量也越来越受关注，希望网管系统软件在运行和操作过程尽可能少的避免错误和崩溃，加强软件测试毫无疑问的成为人们提高软件质量的关键途径，而进行充分的单元测试是提高软件质量、降低开发成本的必由之路。因此，从理论和实践角度对传输网网管系统进行单元测试平台的设计和开发具有重大的意义。本文以中兴通讯ZXONM-E500网管系统为研究对象，选题于单元测试的研究，首先阐述该网管系统逻辑层次的设计思路，分析其分布式架构的特点;然后介绍论文思路结构以及研究生期间的主要工作;根据网管系统的特点结合软件测试模型的几种类型并进行比较分析，然后提出网管系统单元测试平台的总体设计;详细介绍该单元测试平台的设计思路并就测试平台中的数据驱动模块的逻辑结构设计和实现测试自动化进行详细说明。实际测试结果表明，此平台可有效的定位问题所在，并能够精确到问题对应的代码位置;最后提出软件测试中待研究的问题。

关键词：光传输网网管系统软件质量单元测试自动化