教学课程资源库 更多>>

关键词： 视频监控系统   异常事件检测算法   目标提取   软件测试  

摘要： 随着科学技术的不断发展，在日常生活中视频监控系统的应用也越来越广泛。然而，现有的视频监控系统对于异常事件发现的智能化程度还不能够满足当今社会人们对安全性的需求，尤其对于某些要求安全敏感性较高的区域，如银行、军事基地、机场、化工厂、高压电区等场合，出于管理和安全的要求，需要对这些场合的关键区域或危险区域进行智能监控。\n 本文主要对视频监控中针对敏感区域所发生的指向接近、区域入侵、遗留物体和移走物体异常事件的检测算法进行了研究。首先，研究了如何在视频中提取出感兴趣的前景目标，对常用的目标检测算法进行了简要地分析和介绍，最终在系统实现中采用了背景减除法中的VIBE算法和混合高斯算法来分别检测运动前景区域和静态前景区域，并且提出了一种多框融合的算法对前景检测的结果进行改进，以提取出更加完整的目标。其次，本文研究了运动目标的跟踪算法，主要是对简单的模板匹配跟踪算法、压缩感知跟踪算法和兴趣点匹配跟踪算法这三种算法进行了比较和分析。在系统的实现部分搭建了一个多目标跟踪的框架，并在该框架的基础上加入了兴趣点匹配对目标位置的预测，保证了目标跟踪的鲁棒性和稳定性。\n 在上述研究的基础上，加入具有人机交互的敏感区域设置模块，并结合本文提出的异常事件检测算法，实现了一个针对视频监控中敏感区域的异常事件检测系统。最后，在厦大视频库上进行了测试实验，结果表明在特定的场景下，本文方法能够比较有效地对敏感区域内所发生的指向接近、区域入侵、遗留物体和移走物体事件发出相应的警报，与云计算技术结合进一步完善了课题组智能视频监控系统的事件发现功能。

关键词： 软件测试   运行时验证   形式化规约   层次哈希森林   有限状态自动机  

摘要： 随着软件规模的不断增大，如何保证软件可靠性和安全性成为学术界和工业界越来越关注的问题。目前，软件测试、静态分析和模型检测是保证软件质量的常用方法，但它们都存在一定缺陷。静态分析容易产生对错误的漏报和误报，且很难处理指针和复杂数据结构。模型检测则可能导致状态空间爆炸问题。而软件测试需要手动生成测试用例，且无法验证形式化规约。\n 运行时验证是一种新型的程序自动验证技术，它是一种在程序运行过程中验证系统是否满足或违背给定性质的方法。在运行时验证中，使用监控器来对系统进行验证。监控器从给定性质中产生。在程序执行时，监控器通过不断检测程序的执行情况来判断它是否满足给定的性质。C语言是一种重要的编程语言，使用C语言编写的程序具有执行效率高、可移植性强等优点。当前针对C程序的运行时验证工具较少。JavaMOP(Monitoring-Oriented Programming)是一个针对Java程序的运行时验证工具，但它无法对C程序进行验证。\n 本文设计了一种针对C程序的监控器规约语言，用于描述针对C程序的形式化规约。该语言借鉴了面对方面编程的思想，可以支持基于有限状态自动机、正则表达式和线性时序逻辑的参数化运行时验证。本文设计了支持该语言的参数化运行时验证方法。为了对运行时产生的大量监控器进行索引，我们提出并实现了一种层次哈希森林的数据结构。在此基础上，本文利用C++语言和开源工具flex、bison实现了原型工具MOVEC(MOnitoring,VErification and Control)。与JavaMOP进行性能对比实验。实验结果证明MOVEC是可行且高效的。

关键词： 探索式测试   探索式思维过程   探索章程  

摘要： 本文将从探索式软件测试的定义、思维模式和特点上进行阐述,论述如何制定优质的探索章程以及探索式软件测试的应用和未来前景。

关键词： 软件测试   并行系统   迹等价化简工具   形式化建模语言  

摘要： 随着软件产业迅速发展，并行软件系统已经成为主流的软件系统，在人们的生产生活中发挥着十分重要的作用。软件测试是软件生命周期中一项非常重要的工作，对于保证软件产品的质量具有极其重要的意义。然而由于并行软件中存在的并行行为，导致并行软件状态空间规模非常大，甚至呈指数级增长，从而影响软件产品测试工作的顺利进行。\n 当前，工业界和学术界使用的一些测试方法也因为并行软件的状态空间规模过大而无法有效地进行测试工作。本文认为可以使用形式化建模语言CP-nets(Coloured Petri nets)对待测的并行软件系统进行建模，CP-nets适合于描述并行行为，而且引入了数据操作和数据类型的概念，使得模型更加直观清晰、易于理解。基于待测并行软件系统的CP-nets模型及其状态空间进行测试是非常有效的方法。\n 然而，并行软件系统的CP-nets模型仍然具有较大的状态空间，导致测试效果和效率都非常差。因此，本文设计并实现一套CP-nets模型迹等价化简工具，以待测软件系统的CP-nets模型文件作为输入，自动完成符合迹等价化简条件的化简工作，包括有向弧重定向、弧表达式重写等，并自动输出化简后的CP-nets模型。在并行系统模型中化简符合条件的模型元素，其并行特点决定了模型的状态空间规模会大幅下降。迹等价指的是输入输出行为等价，软件功能测试只关注系统输入输出行为而不关注内部不可观察行为。因此，基于化简后的系统模型进行测试，不但不会影响测试工作的正确性，还会因其状态空间规模的下降而提升测试的效果和效率。\n 最后，通过化简实例分析与论证，说明本文所实现的CP-nets模型迹等价化简工具能够对符合迹等价化简条件的CP-nets模型进行有效地化简，从而减少系统模型的状态空间规模，提升测试效果和效率，提高软件产品开发质量。

关键词： 软件测试   遗传算法   测试数据生成   依赖性分析   分支覆盖  

摘要： 为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使约简后的分支子集能够包含程序中所有需要覆盖的分支。对目标分支进行依赖性分析,获得到达该分支的路径约束。将多路径约束转化为适应度函数,采用遗传算法生成测试用例。实验结果表明,该方法在覆盖率和进化代数方面均具有优越性。

关键词： 软件缺陷   管理系统   软件测试   功能模块  

摘要： 近十年来，各行各业都在大力推进信息化建设，软件的规模也在不断地扩大，同时复杂度也随之增加。软件开发的模式也由独立开发、小组开发逐渐转变为大型团队开发。随之带来的问题是项目组成员之间、项目组与最终用户之间沟通成本的增加，以及软件缺陷数量的增多。进而延长了软件的开发周期，并且降低了软件的质量。为了满足软件质量的要求，提早并持续进行软件测试，是一个有效的方法。软件测试是通过执行各种测试案例，对软件的功能性、正确性进行分析的过程。对测试发现的软件缺陷实行跟踪、管理，保证每个提交的缺陷都能及时解决是软件测试的核心内容之一。\n 本文基于对缺陷管理系统需求的整理和分析，设计并实现了一套轻量的、便于使用与维护的缺陷管理系统。该系统主要包括用户管理、项目管理、案例管理、缺陷管理四个功能模块。用户管理模块对使用本系统的用户进行统一的登记、维护，并作为其他模块的数据基础;项目管理模块对每个软件项目进行定义，并配置每个用户在项目中的访问和操作权限;案例管理模块提供测试案例的录入、执行、关联缺陷等功能;缺陷管理模块用于跟踪软件缺陷的生命周期，保证每个缺陷都能得到解决。本文依次对该系统涉及的基础理论、需求分析、总体设计进行了详细说明，并对系统进行了实现。

关键词： 软件测试   数据生成   可执行路径   遗传算法  

摘要： 软件测试的一个重要课题是测试数据生成问题，它的目的是在这些数据的基础上发现软件过程中可能存在的各种问题和风险，然后使用软件方法来纠正这些错误以此来提高软件质量。传统人为的生成测试数据的方法工作量庞大而且伴有很大的盲目性，而且因为人为的介入避免不了发生错误，严重影响了测试的效率和准确性，但是测试数据的自动生成能很好的改善这一问题。\n 测试数据生成就是基于搜索的软件工程解决的实际问题，利用启发式搜索算法可以解决测试数据自动生成的问题，采取遗传算法进行测试数据自动生成。算法的编码过程会生成种群，根据分支函数和插桩理论选取适应度函数，利用将可执行路径上的所有分支函数进行叠加的方式来构建适应度函数。然后进行交叉变异来完成遗传算法寻得目标解。对遗传算法的优化过程主要根据实际应用环境围绕分支函数的选取和插桩理论，优化了分支函数的构造和插桩过程，改进了适应度函数的选取方式；根据程序的实际情况对遗传算子策略进行了优化改进，主要是为了使算法的运行效率和算法收敛速度更高更好。\n 通过测试数据生成的整体设计模型，选取了一些比较典型的程序作为待测程序，以随机算法的实验结果作为对比参考，将传统的遗传算法和加以改进后的遗传算法进行实验结果对比。实验主要涉及算法的效率和准确度的对比，随机算法几乎无法得到适合的测试数据，而改进后的遗传算法较之传统遗传算法在算法效率上提高了10%~25%，在算法成功率方面提高了33%。

关键词： Android应用   软件测试   图形用户界面   运行流畅度  

摘要： Android是一个开放开源的平台，近年来它发展迅速，被广泛应用于手机、平板和其他设备。目前应用市场上已经存在了不计其数的Android应用，就Android的应用数量及开发人数而言，Android已经取得了成功。Android快速发展的同时出现了许多问题，比如应用质量参差不齐、碎片化问题等等，这些问题增加了开发测试的难度，影响应用的性能，降低了开发者的收入。在应用的性能问题中应用运行是否流畅将直接影响用户体验。然而，对应用的GUI运行流畅度及其度量指标相关的研究很少，几乎没人对帧率及帧绘制情况进行研究和分析。而现有的工具都不能获取和记录系统及多个应用的流畅度信息，无法满足对大量应用进行自动化测试的需求。因此，本文从用户和开发测试者的角度出发，对Android应用的GUI运行流畅度进行研究和分析，介绍和分析了应用不流畅情形及用于呈现GUI的Android图形系统，并设计开发了不用修改应用的源代码就可以用于获取系统及多应用帧率及帧绘制时间信息的工具ARFluency。然后使用ARFluency对从Google Play上下载的5个免费最受用户欢迎的应用和AnTuTuBenchmark应用进行测试并对实验结果进行分析，发现所有运行成功的应用均有帧绘制问题并对绘制问题进行分析，及使用帧率可以定性地反映但不能准确地量化应用的GUI运行流畅度。

关键词： 软件测试   测试用例   手工功能测试   自动化测试   性能测试  

摘要： 随着政府审批服务工作的推进和信息化程度的提高,行政审批系统的运用将简化审批流程、缩短审批时间、提高政府的服务水平。行政审批系统主要由事项系统、网上办事大厅系统以及内部审批系统这三部分组成。在BPM流程组件和表单设计组件的支撑下,在事项系统中新建事项、管理事项并发布事项,网上办事大厅获取到已发布的事项后可以采用全程网办模式提交业务数据到内部审批系统,内部审批系统根据设置的办理环节以及办理人员对业务进行受理并把受理结果返回网上办事大厅供用户查询,实现了企业和个人办事的网络化、流程化以及透明化。网上进行的行政审批涉及的业务面广且复杂,涉及到的流程控制严格,业务数据安全性要求高,所以行政审批系统需要进行严格的质量控制和质量管理。为提高行政审批系统质量,在系统交付前需要开展严格的测试工作,确保提交给客户一个高质量的软件,降低维护成本。而如何提高软件测试的覆盖度,如何尽量多地发现系统中隐藏的缺陷以保障软件的质量,需要进一步的分析解决。本文的主要工作是以本人所参与的行政审批系统为背景,以测试行政审批中电子政务基础服务平台和网上办事大厅这两个子系统为主线,分析了行政审批系统的开发背景以及业务功能测试需求,描述了软件测试的现状以及行政审批系统测试应用背景。重点介绍了软件测试过程中的以下几个阶段：系统的测试需求分析、设计测试计划、设计测试用例、管理跟踪缺、手工和自动化功能测试、性能测试以及测试报告。通过对软件测试过程的严格管理,规范了测试工作的开展,使测试工作有计划有组织,提高了行政审批系统的质量。本文解决的主要问题有以下几点：第一,通过编写测试计划使得整个测试有计划有组织,并在测试计划中定义测试范围、测试进度以及测试任务。第二,通过使用多种设计测试用例的方法,提高测试用例的质量,提高测试的覆盖度,最大限度地防止漏测。同时通过编写完善的公共测试用例,使常用的功能测试更加规范化,细致化。通过共用复用公共测试用例,减少编写测试用例的时间,提高测试效率。第三,通过设计自动化测试脚本对于常用且稳定的业务流程进行重复的测试,并通过自动化测试发现因功能改动或者缺陷修复引起的问题,节省人力成本,提高测试效率。并通过编写性能测试脚本、执行性能测试确保系统满足用户对系统的性能需求。第四,使用缺陷管理工具JIRA对缺陷进行管理和跟踪,并通过分析缺陷、定位缺陷原因给研发人员修复缺陷提供帮助。通过编写测试报告,总结行政审批系统的测试情况并提出建议。

关键词： CDIO   软件测试课程   教学改革  

摘要： CDIO是新时期产生的一种新型教育模式,提倡在"做中学习,在项目中教育和学习",CDIO教育模式在培养个人能力、理论知识体系、人际交往能力等方面有很大的优势,对于当前的高职《软件测试》课程教育,其最大弊端就是实践教学不强,从CDIO的角度开展高职软件测试课程教学改革,能全面促进高职软件测试课程教学质量的提高。