检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

对AOP程序进行单元测试的研究

对AOP程序进行单元测试的研究

作者：张艳上海交通大学

学位级别：硕士

面向方面编程AOP（Aspect-Oriented Programs）是一种全新的软件开发技术,它解决了在面向对象编程OOP（Object-Oriented Programming）中由横切关注点（crosscutting concern）所引起的代码分散（code scatter）和代码纠缠（code tangling）问题。迄今为止,对面向方面软件开发的研究都主要集中在需求分析、设计和实现上,而很少关注对它进行测试,尽管测试是软件开发过程中一个非常重要的环节,也是保证软件质量的重要手段。因为AOP程序引入了一些新的特性,如切入点（pointcut）,通知（advice）,类型间声明（intertype）等,使得对其进行测试具有一定的特殊性,所以用传统的一些测试方法来测试AOP程序是不合适的,急切需要提出新的测试方法。而单元测试是软件开发过程中进行的最基本的测试,能在开发过程中尽早发现错误,因此,在本篇论文中,主要研究针对AOP程序的单元测试。对AOP程序进行单元测试的理论研究和开发自动化测试工具都对AOP领域的研究具有极为重要的意义。在本文中,为AOP程序定义了三类单元测试模块,分别是Normal-method, Method-advice和Advice-method,并执行两个层次的

关键词： AOP 控制流图单元测试自动测试数据产生 DFS 迭代松弛算法

基于静态分析的Java单元测试教学反馈系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于静态分析的Java单元测试教学反馈系统

作者：卢依宁南京大学

学位级别：硕士

软件测试是软件开发周期中的一个重要过程,而白盒测试是软件测试教育中的一个重要课题,通常使用逻辑覆盖作为衡量白盒测试或单元测试的标准。但目前软件测试教学中,针对覆盖的单元测试难以组织练习和考试,难以评估测试用例,需要耗费大... 详细信息

软件测试是软件开发周期中的一个重要过程,而白盒测试是软件测试教育中的一个重要课题,通常使用逻辑覆盖作为衡量白盒测试或单元测试的标准。但目前软件测试教学中,针对覆盖的单元测试难以组织练习和考试,难以评估测试用例,需要耗费大量的助教人力。为了解决该问题,本文实现了一个基于静态分析的Java单元测试教学反馈系统。本系统包含：Web端的管理平台,用于组织班级和考试;Eclipse考试插件,用于在Eclipse客户端中下载考题并编写测试用例;程序分析和自动化评估模块,用于实现对测试用例的自动化评估,将覆盖率结果显示在Eclipse控制台中,并对所有学生的测试用例结果进行汇总统计,最终将量化结果展现在Web端。本文利用程序控制流分析和代码插桩技术,依托Soot框架,完成了对源程序的静态分析并收集测试用例的执行路径。利用程序控制流图生成各覆盖指标的测试需求路径,再通过与测试用例执行路径的比较,计算得出各指标的覆盖率,从而实现了对测试用例的自动化评估。本文实现的教学反馈系统经历了一年的使用,被证明是合理的有效的。学生能够方便地进行覆盖测试的练习,根据反馈结果不断提高编写测试用例的能力。教师能够轻松地组织考试,根据反馈结果比较班级和考题的差异,并做针对性的课堂讲解。同时,本系统节省了大量助教人力,是更高效的Java单元测试练习和考试的解决方案。

关键词：静态分析控制流分析程序插桩单元测试教学反馈

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

飞行控制软件单元测试的实施

飞行控制软件单元测试的实施

作者：刘媛媛北京邮电大学

学位级别：硕士

飞行控制软件是一个系统复杂、高安全性要求的嵌入式系统软件。单元测试处在软件测试前期,它是提高软件质量的焦点。单元测试是对程序代码设计中的最小单元进行正确性检验的测试工作。飞行控制软件的单元测试是从软件生命周期最早期开始... 详细信息

飞行控制软件是一个系统复杂、高安全性要求的嵌入式系统软件。单元测试处在软件测试前期,它是提高软件质量的焦点。单元测试是对程序代码设计中的最小单元进行正确性检验的测试工作。飞行控制软件的单元测试是从软件生命周期最早期开始,保证软件质量,是第一个环节,也是最重要的环节。本文针对航天嵌入式软件的特点,为保证其高可靠性,作者根据测试理论和飞行控制计算机的特点提出了如何实施单元测试。首先对当前软件单元测试现状进行分析,了解单元测试实施的现状和存在的问题。接着,了解软件测试的基本理论和和单元测试相关的测试方法。在这些方法的基础上,提出单元测试过程和单元测试用例设计方法,单元测试的过程是建立单元测试测试模型的基础,也是测试策略的表现。测试用例设计方法是工程实践的基础。本文对于单元测试用例设计的方法主要描述基于需求的测试用例设计方法和基于覆盖率的用例设计方法。在单元测试过程研究和单元测试设计用例设计方法的基础上,以一个型号测试项目为实例,建立测试模型,描述单元测试活动开展情况,解决单元测试中可能出现的问题,通过单元测试的实施,深入分析单元测试的结果。单元测试的结果表明,这种单元测试过程设计是合理的,用例设计方法是充分的。以此所设计的单元测试模型是满足飞行控制计算机软件评测工作的特殊性要求。这种单元测试实施方法,是充分的、可追溯的、效率较的测试方法。在本文最后,对全文进行了总结,并对下一步工作提出了展望。

关键词：嵌入式系统单元测试测试用例设计逻辑覆盖测试技术

基于切面织入技术的单元测试有效性检测系统的设计与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于切面织入技术的单元测试有效性检测系统的设计与实现

作者：郭帅华中科技大学

学位级别：硕士

随着测试驱动开发思想的推广和软件规模的日益增大，结构愈趋复杂，单元测试在软件开发过程中所占的比重越来越大，单元测试有效性成为制约软件质量的重要因素。传统单元测试有效性检测系统采用传统编程范式，无法有效解决软件设计中的... 详细信息

随着测试驱动开发思想的推广和软件规模的日益增大，结构愈趋复杂，单元测试在软件开发过程中所占的比重越来越大，单元测试有效性成为制约软件质量的重要因素。传统单元测试有效性检测系统采用传统编程范式，无法有效解决软件设计中的横切问题，如何有效地将横切问题模块化是急待解决的问题。通过分析传统单元测试有效性检测系统的优缺点，提出了基于面向方面编程的单元测试有效性检测系统。研究了面向方面语言的相关体系架构、技术和单元测试运行机制，结合单元测试自身特点和未来发展趋势，设计并实现了基于切面织入技术的自动化单元测试用例检查系统。该系统基于AspectJ和Java语言，使用面向方面技术织入目标运行代码和单元测试代码来运行，有效地解决了传统的面向对象语言难以解决的若干难题，使用该系统可以对Java语言开发的单元测试代码进行有效性检查。实验结果表明该系统确实能够检测出单元测试代码所存在的问题，有效提升单元测试的有效性。虽然目前该系统还不支持其他语言，但是使用切面织入技术解决传统语言难以解决的问题的思路具有一定的借鉴意义。

关键词：单元测试测试驱动开发面向方面编程切面织入

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

小学六年级英语单元测试游戏软件的设计研究

小学六年级英语单元测试游戏软件的设计研究

作者：马南南河北科技师范学院

学位级别：硕士

随着“寓教于乐”理念的盛行以及信息技术与学科教学的融合,在2011版小学英语课程标准的要求下,英语教材的编写不断趋向信息化,各种配套游戏软件不断涌现于英语教学中。通过课堂观察及查阅文献,小学英语单元测试中存在缺乏情境性、及时... 详细信息

随着“寓教于乐”理念的盛行以及信息技术与学科教学的融合,在2011版小学英语课程标准的要求下,英语教材的编写不断趋向信息化,各种配套游戏软件不断涌现于英语教学中。通过课堂观察及查阅文献,小学英语单元测试中存在缺乏情境性、及时反馈性不足及协作学习性匮乏等问题,而教师在利用游戏软件制作单元测试中,也出现无法自主制作与修改情况。作为不断趋于简单化的教学辅助资源,新型游戏软件可以有效解决以上问题。通过游戏软件在小学六年级单元测试中的应用,可以实现英语教材单元中的情境可持续性,也可实现测试结果的及时性,更为重要的是,可以通过游戏软件的情境引导,促进学生的合作学习。本文主要研究的是英语单元测试中游戏软件的设计方案。笔者在遵循小学六年级课程标准、小学英语教材编写以及测评改革的原则下,分析了英语单元测试的问题、测试内容、测试目标等;在此基础上,根据游戏设计理论及原则等,在单元测试中以Scratch游戏软件作为设计平台,进行了游戏软件的具体功能设计,包括界面、结构、互动、评价和模块等的设计;结合英语教材某单元设计出游戏软件,应用于实践并对游戏软件进行修改与完善;最后,形成了具有指导意义的小学六年级英语单元测试游戏软件的应用模式。本研究提出了英语单元测试中游戏软件的设计方案,构建了小学六年级单元测试游戏软件的应用模式。一方面,达到了学生在英语单元检测中的情境化与合作化学习,在乐中检测,乐中巩固,乐中学习,提高学生的学习积极性和学习成绩;另一方面,为教师提供了可参考的应用方案。

关键词：游戏软件设计小学英语课堂单元测试游戏软件

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Java平台的单元测试技术研究

基于Java平台的单元测试技术研究

作者：余波湖南大学

学位级别：硕士

目前,随着Java技术日益普及并受到广泛重视,如何提高Java应用程序的可信性是一个不容忽略的重要问题。Java应用程序的单元测试是保证软件质量、提高软件可靠性的关键。人工完成单元测试既费时又繁琐,自动化的单元测试已经成为节省软件... 详细信息

目前,随着Java技术日益普及并受到广泛重视,如何提高Java应用程序的可信性是一个不容忽略的重要问题。Java应用程序的单元测试是保证软件质量、提高软件可靠性的关键。人工完成单元测试既费时又繁琐,自动化的单元测试已经成为节省软件开发成本、提高软件可信性的重要手段。因此,本文针对Java应用程序单元测试中的自动生成测试数据和提高单元测试自动化程度这两个问题展开研究。本文首先分析子类型行为和类行为兼容性的关系,利用一个由子类型行为描述变换到类行为兼容性实现的映射,可以获得正确的类不变式、方法前置条件和后置条件。准确的类不变式和方法后置条件可以作为测试神谕,而类不变式和方法前置条件可以作为划分等价类和分析边界值的输入。接着,针对需要人工计算期望值的单元测试给出两个生成测试数据方法:考察生产和实验中经常使用的统计方法:正交实验设计法和均匀设计法生成测试数据,与枚举法和对均匀设计法进行了改进的均匀设计补充法生成的测试数据相比,发现均匀设计补充法生成的测试数据在测试成本和测试效果间具有较好的性价比;提出基于改进的遗传算法自动生成Java类的测试数据的方法,该方法采用对整数、字符和字节使用二进制编码和浮点型数据使用浮点数编码的混合编码方式,对字节码形式表示的Java类添加装置,随机生成一组测试数据作为初始种群,通过测试覆盖分析器监控被测试程序的执行过程,以获取的覆盖率作为适应度值,执行遗传操作,实验结果表明:改进后的遗传算法能有效地自动生成Java类的测试数据。然后对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit自动生成测试案例模板的工具。最后,本文基于Junit测试框架和上述研究结果,实现一个Java平台单元测试的工具原型。以此工具为平台,程序员可以自动生成测试数据和测试用例模板,在编写测试案例时,只需在自动生成的测试案例模板中添加期望值就可获得完整的测试案例,可以提高程序员的开发效率和被测试软件单元的可信性。

关键词：单元测试类测试遗传算法均匀设计法测试数据