检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Linux平台的单元测试框架的研究

基于Linux平台的单元测试框架的研究

作者：金凯峰北京邮电大学

学位级别：硕士

单元测试是软件测试的最初阶段,做好充分有效的单元测试可以显著地降低软件测试成本,提高软件质量。代码测试系统(Code Testing System, CTS)是一个针对C语言的自动化测试系统,其核心功能之一是单元测试。CTS在Windows平台上只能测试简... 详细信息

单元测试是软件测试的最初阶段,做好充分有效的单元测试可以显著地降低软件测试成本,提高软件质量。代码测试系统(Code Testing System, CTS)是一个针对C语言的自动化测试系统,其核心功能之一是单元测试。CTS在Windows平台上只能测试简单的单个C程序,但是大多C语言工程都包含多个C文件,而且针对的是Linux平台。所以需要将CTS从Windows平台移植到Linux平台。 CTS从Windows平台移植到Linux平台,主要存在的问题有：1)在Linux平台上,由于实际C语言工程中源文件和头文件之间依赖关系复杂,CTS不能正确地对被测文件进行预处理,导致模块划分通过率较低,造成CTS无法测试。2)原有的测试用例执行模块无法在Linux平台上运行。本文对Linux平台自动化单元测试框架的搭建进行了深入研究,对上述问题,提出了解决方案：1)对Linux平台C语言工程中负责配置依赖关系的Makefile文件进行自动修改,使得CTS在利用Makefile文件编译整个工程时,能够保存编译过程中产生的预处理文件,解决了C语言工程中文件预处理的问题,提高了模块划分通过率;2)利用Linux平台C语言线程调用接口以及setjump和longjump函数完成了测试用例执行模块搭建,实现了在Linux平台对测试用例执行的控制,包括死循环捕获和异常处理。进一步的,本文改进了CTS的打桩模块：提出函数抽象内存模型和自适应打桩算法。在变量抽象内存模型的基础上,建立了函数抽象内存模型,并利用自适应打桩算法对路径进行分析,将分析结果保存在抽象内存模型中。利用分析结果,能够为路径上的函数自动生成满足路径约束条件的桩函数。实验结果表明本文提出的方法能够有效提升对实际工程模块划分通过率,保障测试过程顺利进行。实例分析说明面向路径的自适应打桩技术能为路径上的函数自动生成满足路径约束条件的桩函数。

关键词：单元测试 Linux平台抽象内存模型打桩

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于.NET的单元测试自动化方法研究

微计算机信息 2008年第19期24卷 280-281,312页

作者：高共革杨静贵州大学计算机科学与技术学院贵阳550025

本文在.NET的框架下,运用Reflection、CodeDom以及与Excel、XML相结合的应用技术,完成了自动生成测试数据、测试脚本,还运用程序切片技术快速找到缺陷部位,改进了单元测试。实现了单元测试的自动化。

关键词：软件测试自动化测试单元测试程序切片

基于激励机制的大学生知识晋级型单元测试模型

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

教育与职业 2014年第24期 166-168页

作者：李梅莲许昌学院计算机科学与技术学院

作者从青年学生喜爱电子游戏,爱闯关的个性受到启发,提出了一种新颖的符合大学生爱挑战心里特点的知识晋级型单元测试模型。文章简要地介绍了该模型的提出背景及学生老师在其中的主要活动,同时阐述了它的优势及使用时的注意事项。

关键词：知识晋级单元测试教育游戏

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

通讯系统嵌入式平台下的单元测试技术研究

通讯系统嵌入式平台下的单元测试技术研究

作者：肖波华东师范大学

学位级别：硕士

随着现代通讯技术的不断发展,通讯设备对系统实时性、硬件集成度的要求越来越高。嵌入式系统因此在通讯系统中被广泛使用,由于通讯设备对软件质量的要求往往很高,如何保证嵌入式系统软件质量是通讯系统软件项目中重点需要考虑的问题。 ... 详细信息

随着现代通讯技术的不断发展,通讯设备对系统实时性、硬件集成度的要求越来越高。嵌入式系统因此在通讯系统中被广泛使用,由于通讯设备对软件质量的要求往往很高,如何保证嵌入式系统软件质量是通讯系统软件项目中重点需要考虑的问题。根据错误越早发现,项目付出的代价就越少的原则,单元测试作为软件项目中最早介入的测试工作,该工作的好坏对于软件质量的保证起着非常关键的作用,如何进行有效的单元测试是目前的一个研究热点。论文主要对基于通讯系统嵌入式平台开发的软件单元的单元测试进行研究,并提出一种较为完整和可操作的单元测试解决方案。论文根据通讯系统嵌入式平台的特点重点研究在该平台下进行单元测试需要解决的一些问题,这些问题包括自动化程度低、测试驱动难以编写、测试程序难以管理、软件单元难以界定、运行时错误检测方案不够完整等。针对这些问题,论文提出了采用反向工程法界定和提取软件被测单元的策略和方法,并在此基础上采用代码运行分支自动覆盖技术、静态数据访问越界检测技术、堆栈数据访问越界检测技术以及程序死循环检测技术解决了上述需要解决的问题。再结合现有的单元测试技术,就可以构建出一种较为完整和可操作的单元测试解决方案。论文主要研究单元测试的框架,单元测试用例的编写不在论文的讨论范围之内。由于单元测试主要是针对软件代码的测试,它对软硬件系统的依赖较小,所以论文所进行的研究不仅仅适用于基于通讯系统嵌入式平台开发的软件单元,它还普遍适用于采用面向过程方法设计的软件单元,并且对于面向对象方法设计的软件单元测试也具有一定的借鉴作用。

关键词：单元测试通讯系统嵌入式面向过程

轻量级J2EE架构软件的单元测试策略和方法研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

轻量级J2EE架构软件的单元测试策略和方法研究

作者：全华国防科学技术大学

学位级别：硕士

随着世界新军事变革的不断推进和我军信息化建设的不断深入,军队信息技术水平也得到快速提高。各类信息软件系统在我军各部队得到广泛应用,尤其是轻量级J2EE Web架构的军用软件逐渐在作战指挥、教学训练、后勤保障等各个重要领域普及,... 详细信息

随着世界新军事变革的不断推进和我军信息化建设的不断深入,军队信息技术水平也得到快速提高。各类信息软件系统在我军各部队得到广泛应用,尤其是轻量级J2EE Web架构的军用软件逐渐在作战指挥、教学训练、后勤保障等各个重要领域普及,使之成为我军信息系统的关键组成部分之一。软件测试是保障软件质量的重要手段,如何对此类软件系统进行便捷有效的单元测试日益成为迫切需要解决的新课题。目前针对面向对象单元测试的工具、技术和方法很多,但没有统一的规范和标准,在工程实际开发过程中难以操作和实施,更没有一套比较完善的轻量级J2EE Web架构软件系统单元测试的策略和方法。针对这一问题,本文根据对软件质量保证、软件测试和单元测试等基本理论的研究和对轻量级J2EE架构特点的分析,结合武器存贮信息系统单元测试的实践,探讨了基于轻量级J2EE Web架构的军用软件的单元测试应采取的策略和方法。通过对三种单元测试的基本方法进行可行性分析,选择了使用开源测试框架进行测试的方法;对Maven和Ant两种主流项目构建工具进行对比,选择了使用Maven进行单元测试的构建工具;对JUnit独立对J2EE单元测试的困难和不足进行分析,得出应在使用JUnit基础框架的同时,结合其它能有效测试各层组件和代码的开源框架共同进行J2EE的单元测试的方法。对武器存贮信息系统的单元测试进行具体分析,确定了需要测试的代码。对武器存贮信息系统进行单元测试的实践,使用JUnit框架,并且在表示层结合Canoo和Spring Mock,在业务逻辑层结合jMock,在持久层结合DbUnit编写单元测试用例,然后自动化运行了所有单元测试用例。最后,对轻量级J2EE Web架构应用系统的单元测试进行总结,形成了单元测试的策略和方法、测试的步骤等结论,对其此类军用软件系统的单元测试具有一定的借鉴意义。

关键词：单元测试轻量级J2EE 构建工具测试框架

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

核电软件单元测试用例集约简研究

核电软件单元测试用例集约简研究

作者：朱玲莉南华大学

学位级别：硕士

核电作为一种新型的能源工业，在我国已得到了广泛应用，我国的核电软件在借鉴国外先进技术的基础上正向自主化迈进，由于核电软件的特殊性，其对软件的安全性与质量提出了非常高的要求，因此在开发过程中，对核电软件进行测试是必不可... 详细信息

核电作为一种新型的能源工业，在我国已得到了广泛应用，我国的核电软件在借鉴国外先进技术的基础上正向自主化迈进，由于核电软件的特殊性，其对软件的安全性与质量提出了非常高的要求，因此在开发过程中，对核电软件进行测试是必不可少的。软件测试的过程可以分为：静态测试、单元测试、集成测试、功能测试、性能测试等，分别从不同方面对软件进行测试，从而保证软件的质量。目前软件测试的自动化运用非常广泛，然而其自动化生成的测试用例往往存在大量冗余，如果能自动进行约简那么将大大提高工具的自动化水平，提高测试效率。本文针对核电软件测试过程中所用到的自动化测试工具C++Test产生的随机测试用例集存在冗余的问题，提出了利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量来约简测试用例集，提出了基于似然不变量的测试用集约简简易算法，并利用基于故障模式的变异测试原理来评估不变量约简测试用例集是否符合约简的标准，通过实验表明，采用不变量约简原理能有效删除冗余测试用例，且约简后并未导致其测试充分性下降。然后本文根据蒸汽发生器排污计算软件的特点及测试需求，提出了适应于该核电测试流程的单元测试方法策略，采取了自动化与人工相结合的测试方法，在人工分析的过程中采用基本路径覆盖的方法，对该软件进行了完整的单元测试包括静态单元测试和动态单元测试，同时利用Daikon对单元测试过程中产生的冗余测试用例集进行了约简，通过测试表明利用Daikon约简后的测试用例集其覆盖率与检错率均未下降，由此说明运用该工具能有效减少资源浪费，提高测试的自动化水平及测试效率。

关键词：核电软件单元测试 C++Test 测试用例集约简 Daikon

CTCS-3级车载列车控制系统单元测试研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

CTCS-3级车载列车控制系统单元测试研究

作者：付宏力北京交通大学

学位级别：硕士

为了保证列车的安全高效运行,验证车载列车控制系统是否满足软件需求规范,必须对其进行一系列测试。单元测试作为针对代码级的测试,是整个开发与测试过程中最为基本的测试工作,它的作用是测试程序代码的执行情况,只有先完成单元测试,保... 详细信息

为了保证列车的安全高效运行,验证车载列车控制系统是否满足软件需求规范,必须对其进行一系列测试。单元测试作为针对代码级的测试,是整个开发与测试过程中最为基本的测试工作,它的作用是测试程序代码的执行情况,只有先完成单元测试,保证系统代码能够完全执行并达到软件安全标准,才可以进行接下来的开发及测试工作,对保障开发软件质量具有重要意义。在这样的背景下,本文针对CTCS-3级车载列车控制系统的单元测试进行研究。主要研究内容如下：(1)针对车载列车控制系统进行形式化建模。利用UML形式化建模语言对车载列车控制系统进行活动图建模,从而分析车载列车控制系统的9个重要系统功能,以避免因使用其他方法描述而产生的不确定性。通过对列车控制系统的主要系统功能进行形式化建模分析,可以将所有功能模块包含进该模型中,避免遗漏某个功能模块,同时通过该模型可以更直观的了解系统的功能结构,为保障单元测试达到安全测试标准奠定了重要的基础。(2)针对车载列车控制系统设计测试案例。分别对通信消息包和列车制动模块进行分析,把这两个车载功能作为例子来研究测试案例的生成方法。通过UML形式化建模语言对这两个模块建立用例图和活动图,提取出该单元模块的系统特征,设计测试案例。随后采用组合覆盖法对测试案例中被测代码的输入变量取值进行分析,找出合适的测试输入变量,再进行单元测试。通过生成的测试案例可以用于指导单元测试的进行,以达到软件安全标准,同时为每个测试过程都建立一个追踪体系,便于发现问题后快速查找。(3)利用单元测试工具对测试案例进行测试。通过使用单元测试工具对地到车信息包模块和列车制动模块编写测试驱动函数和桩函数,利用编写的函数对被测函数进行单元测试,从而生成测试语句覆盖率图表。查看图表中显示出的语句覆盖率统计,对比铁路应用标准EN50128中的要求,对未达到标准的进行人工检查,将语句覆盖率提升到100%,从而保障代码的质量,并验证了此单元测试方法的有效性。

关键词：列车控制系统 CTCS-3 UML 形式化建模单元测试组合测试

大学英语网络教学中单元测试分界分数的设定——初探新理念大学英语网络教学系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

现代教育技术 2010年第9期20卷 76-79页

作者：叶进深圳大学外国语学院广东深圳518060

该研究运用经典的安哥夫标准设定法为新理念大学英语网络教学系统的单元测试设定分界分数,从北京、上海、深圳、重庆四地挑选了40位专家参与研究。在标准设定过程中采取一系列措施把误差控制到最低。通过对专家们得出数据的计算和分析,... 详细信息

该研究运用经典的安哥夫标准设定法为新理念大学英语网络教学系统的单元测试设定分界分数,从北京、上海、深圳、重庆四地挑选了40位专家参与研究。在标准设定过程中采取一系列措施把误差控制到最低。通过对专家们得出数据的计算和分析,该研究确定了单元测试的分界标准。

关键词：新理念大学英语网络教学系统单元测试分界分数安哥夫标准设定法

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

IMA操作系统软件单元测试研究与应用

IMA操作系统软件单元测试研究与应用

作者：霍涛西安电子科技大学

学位级别：硕士

由于航空电子系统的发展对计算机软件技术的依赖性，在综合模块化航空电子（Integrated Modular Avionics，IMA）结构的开发方面，我国大力开展了相关软件的研发工作。IMA系统中软件的安全性要求比较特殊，质量标准要求很高，给软件测... 详细信息

由于航空电子系统的发展对计算机软件技术的依赖性，在综合模块化航空电子（Integrated Modular Avionics，IMA）结构的开发方面，我国大力开展了相关软件的研发工作。IMA系统中软件的安全性要求比较特殊，质量标准要求很高，给软件测试和质量保证带来难度。在软件测试的过程中，单元测试是首先需要执行的，并且对软件的质量起到举足轻重的作用。进行高效的单元测试是IMA系统测试需要考虑的首要问题。本文来源于实际的工程项目。论文在阐述了IMA系统软件测试的相关技术以及软件单元测试的基本概念、原理和方法的基础上，分析了单元测试过程的需求，对具体测试流程进行了建模，基于LDRATestbed软件设计了不同单元模块的多类测试用例，实现了一套完整可操作的单元测试方案，为以后的测试工作积累了一定的经验。IMA操作系统软件单元测试的过程表明，方案的执行能够发现大量软件的问题和缺陷，帮助开发人员提高了代码质量，规范的测试流程有效提高了软件测试的效率，达到了预期的目标。论文主要研究了IMA下的软件单元测试技术，由于单元测试的对象是软件的源代码单元，因此论文中的方法不仅仅适用于基于IMA系统平台开发的软件单元，它还普遍地可以被应用于面向过程方法设计出的软件单元，进而也可以被应用于面向过程的嵌入式系统的软件单元测试。

关键词： IMA 单元测试 LDRATestbed