教学课程资源库 更多>>

关键词： 云安全   恶意网页   恶意软件   软件测试   敏捷测试  

摘要： 随着互联网技术的快速发展,B/S架构使用越来越广泛,人们越来越依赖浏览器。因此在信息安全领域,对网页中的恶意代码进行分析和检测变的更加重要。目前,微博、社交网络、网络游戏、网上购物等平台每天都有很多的用户在线上活跃,黑客们一直盯着用户的个人隐私和网上银行,使用各种手段对其进行破坏或者从中谋取经济利益。时不时的出现社交网站被攻击,网游用户账户被盗,网上银行中的钱莫名减少等事件。 本文将介绍一种基于云安全技术的恶意URL动态扫描引擎,给出了它的设计方案,并对该动态扫描引擎的测试工作进行了详细描述。该系统可以即时分析互联网用户正在访问的HTTP请求报文中的URL,通过对这些URL进行检测分析,判断是否存在恶意行为,并且提供反馈结果给业务监控网关。目前,该系统主要部署在运营商处,当用户使用浏览器访问网页时,用户访问的流量就会经过运营商中部署的业务监控网关,此时,业务监控网关根据动态扫描引擎提供的检测结果,对恶意的URL进行阻断,这样用户就不能访问到恶意URL对应的网页,从源头上掐断了恶意网页和恶意程序对用户的危害。 在本文中,主要进行了以下几个方面的工作： 1.描述了国内外互联网信息安全现状。从云安全技术的概念、特点以及发展现状三个方面对云安全进行初步介绍。 2.讨论了恶意网页的相关技术,主要从网页挂马和网页恶意代码两个方面进行介绍,涉及内容包括：网页挂马的方式和流程、网页恶意代码的常见方法以及这两种恶意网页的防御等。 3.对目前比较流行和实用的恶意网页检测技术进行了研究,例如：传统特征匹配技术、启发式扫描技术、沙盒和蜜罐系统。基于这些理论,深刻剖析了动态扫描引擎中将传统特征码匹配技术和启发式扫描技术结合使用的优势。 4.研究了恶意软件的特点、分类以及发展趋势。对目前使用率比较高的杀毒软件采用的技术进行了简单介绍,如：卡巴斯基、诺顿、小红伞和avast等。另外从技术的角度对动态扫描引擎中使用的检测方法进行讨论。 5.给出了动态扫描引擎系统的设计方案、设计思路、总体结构以及对外接口定义。结合敏捷测试方法,遵循敏捷宣言,按照项目中的测试流程,对动态扫描引擎进行测试。

关键词： Android   智能手机   软件测试   Eclipse  

摘要： 随着信息科技特别是无线通讯设备的发展,智能手机已成了人们办公、交流、娱乐的工具,伴随而来的就是大量手机软件的出现。用户在选择这些手机软件时并不能确切知道这款软件的性能如何,有没有致命错误,会不会损害智能手机系统乃至手机硬件本身,因此使用软件自动化测试可以迅速确定软件性能,发现软件缺陷,分析改善软件质量的方法。本文针对这一问题,提出基于Android操作系统的智能手机软件自动化测试工具方案,并设计开发,针对软件本身进行优化。该工具用于观测被检测的手机软件,得出具体数据提供给专业的人员进行分析。而在多样的智能手机操作系统中,Android是Google近几年才推出的手持设备操作系统,却在较短的时间内迅速发展,可以预见到未来的Android软件市场的繁荣,因此基于Android系统的智能手机软件自动化测试将会有着非常广阔的应用前景。 论文作者主要进行和完成了如下工作： 1.通过对市面上智能手机操作系统的种类及其不同特点的调研,集中学习目前最具发展前景的Android操作系统,相关的应用软件的开发方法和制作流程,以及Java开发语言,进而针对Android应用软件的性能测试,提出一种自动化测试工具方案。为此,本文分析了影响Android应用软件操作性能的主要参数,即CPU使用率、内存、流量、电量等参数的具体数据,并将这些数据的获取方法分析、展示并以代码的形式编写出来。 2.根据自动化测试工具的方案,需要实现软件数据展示、待测软件选择、后台监控记录、悬浮工具扩展、文件操作、以及测试日志阅读功能,为此,本文设计了对应的软件界面,主要由首页信息、程序、文件、设置以及阅读界面,编写了资源描述文件、整合了数据与界面交互的功能代码,并完成自动化测试工具本身的界面测试以及更新。 3.本文设计的Android手机自动化测试工具已安装在各种Android手机中试用,实际的结果显示该工具对具体软件进行测试的数据结果真实有效,能够为专业的测试人员提供良好的参数数据,并使用户了解待测应用软件的性能,较好的达到原方案的设计要求。 4.本文设计的自动化测试工具的进一步改进和研发,主要将放在手机用电量数据的精确化处理,软件应用代码优化,日志分析表格化处理,以及与自动化测试脚本的结合,以达到完善自动化测试工具的目的。

关键词： 恶意代码   检测   软件测试   分布式  

摘要： 伴随着互联网和计算机的飞速发展,无论是工作还是日常生活方面,人们越来越离不开网络。恶意代码有各种各样的形式,例如木马、恶意URL、病毒和钓鱼网站等等。恶意代码已被认为是目前威胁网络安全的重要因素之一。目前,如何鉴别并有效防范这些恶意代码就成为研究网络安全的重点,国内外有很多关于恶意代码检测技术的研究,大体上有两类：宏观上对网络进行监控从而掌握恶意代码的发展趋势；微观上是对恶意代码的行为特征进行分析以判断恶意代码的种类。 本文提出了一种分布式的恶意代码检测系统的设计方案,并详细描述了在实际工作中如何对该系统进行测试。经过测试证明该系统可以在实际网络环境中实时有效的检测出URL是否存在恶意代码。 本文主要工作体现在以下几方面： (1)讨论了互联网的安全现状,概述国内外关于恶意代码检测的主流研究技术。包括基于代码特征检测技术、基于特征函数的检测方法、启发式检测技术和基于异常行为的检测技术等,分别讲述了这几种技术的优缺点； (2)给出系统的概要设计方案。简单介绍了系统的设计思路和整体架构,以及各个模块的功能。各个模块部署在不同的服务器上,运用病毒特征库同URL的分析结果进行对比,判断URL是否存在恶意特征,从而保护用户避免访问这些URL,起到了维护网络安全的作用； (3)概述软件测试理论。本文结合软件测试相关理论对该系统进行测试,并详细介绍了测试过程,包括测试环境的准备、测试计划的制定、测试用例的编写和执行以及对测试结果的总结等等。

关键词： 人力资源管理   Web服务   ***   业务提醒   软件测试  

摘要： 当前,计算机软硬件技术发展迅速,在数据信息管理上,数据库技术发展也上了新的台阶,数据库系统在计算机领域中的应用越来越广泛,数据库系统本身也越来越完善。数据库是与应用彼此独立、以一定的组织方式存储在一起、彼此互相关联、具有较少冗余、能被多个用户共享的数据集合。随着市场经济繁荣发展,越来越多的人们逐渐认识到用数据库技术对信息进行门类管理,方便数据信息的共享和访问。其中应用较多的是企业的人事档案的计算机管理。随着网络技术的发展,如何利用计算机技术和网络技术来整合企业信息系统的数据资料,以提高信息数据资源管理的水平和效率。数据库系统的应用,可以使管理工作的效率得到了很大的提高,特别是人员管理、工资管理、报表统计等方面。单位管理人员可以通过数据库对数据进行每日的更新和维护。 本课题主要是通过对宝坻物流城人事管理的流程的进行全面分析,对企业的安排的岗位进行全面管理；建立员工基本信息库,以便于记录所有员工的基本信息,可查看员工在单位工作期间的所有信息,方便的导出和打印查询信息；可以记录职工从入职到离职全过程的历史记录,包括薪资变动、职位变动、奖惩情况等；为能快速方便地从众多数据中找出某一员工,提供灵活便捷的定位查询功能；统计每位员工的月出勤结果并提供给薪资系统进行计算；制定评估计划,对员工进行周期性考核、评估,选择评估对象与评估规则；记录员工在工作中的业绩评估的情况,分析员工业绩的改进的情况；建立员工定期培训管理,建立培训计划并定期组织培训；可以制定出详细的人才引进计划,在人才引进中采用了较为严格的招聘流程,首先投递简历,进行简历筛选并通知面试,通过面试才可以进行复试,这样严格的流程是为了招聘的公平和公正。 根据人事管理系统的需求和单位的现状分析,从软件体系架构角度采用了B/S三层架构模式架构,并且搭建出所需要的硬件、软件环境选型。系统开发技术方面选择了微软的系统开发平台：NET Framework3.5下的***技术,系统的开发语言采用C#。数据库访问技术在NET Framework3.5下的***访问数据,使用ActiveX控件对UI界面的开发工作,页面上的特效代码采用JS脚本来实现,使用CSS对页面布局统一控制。 为了保证人事信息管理系统的能够正常使用,验证是否达到了需求分析的预期目标,在开发的过程中进行了单元测试和系统测试以确保系统正确性和可靠性。在单元测试时依据详细设计和需求分析说明书设计大量的测试用例对主要的代码进行了充分的测试；另外对于系统测试,主要依据需求分析报告设计测试用例,对人事管理系统中的每个模块进行了详尽的测试,在测试过程中也出现了不少的瑕疵,经过修改完善,加之更改之后的回归测试,最后系统能够按照需求规格说明书的要求正常运行。

关键词： 安全关键软件   软件测试   测试覆盖   缺陷预测   测试策略  

摘要： 在航空、航天及军事等安全关键系统中，软件发挥着至关重要的作用。软件一旦失效将导致系统处于危险状态、严重事故甚至灾难，这类软件被称为安全关键软件。高可靠性是对安全关键软件的基本要求。 软件测试作为保证软件质量和可靠性的重要手段已经备受关注。虽然目前在测试方法、测试过程组织和管理等方面的软件测试理论日趋成熟，但是关于“如何在时间、资源有限的条件下，对软件进行充分地测试”这个关键问题仍然没有解决。近年来，安全关键软件作为一个独立的分支被广泛地研究。由于安全关键软件具有时间紧、任务重和可靠性要求高的特点，所以软件测试亟待解决的关键问题在安全关键软件的测试中变得更为突出。 软件测试覆盖率可以有效地度量测试充分性和测试效率，其与软件缺陷、软件可靠性之间有着密切的关系。本文在分析国内外安全关键软件测试领域的研究现状基础上，对现有的软件测试理论、软件可靠性测试的研究成果以及安全关键软件的特点进行了系统全面的分析，提出了基于测试覆盖的安全关键软件测试策略，运用该测试策略指导安全关键软件的测试活动，能够提高测试效率，而且能够发现更多的软件缺陷。 本文主要贡献和研究成果如下： 一、制定了基于测试覆盖的安全关键软件测试策略。该策略的主要思想是依据测试覆盖率增长函数，选择出对测试覆盖率增长有贡献的测试用例；利用测试覆盖率信息和已经发现的缺陷数据预测出软件中残留的缺陷；通过软件缺陷分析，发现测试薄弱点，测试人员有针对性地补充测试用例，可以发现更多的软件缺陷。运用该测试策略能够有效地提高安全关键软件的测试效率和测试的充分性。 二、在研究使用测试覆盖率数据指导软件测试时，提出了测试用例对测试覆盖率贡献度的概念，并用数学方法推算出软件测试覆盖率增长函数的通用形式，提出了增强的Inflection-S型测试覆盖率函数。使用NASA公布出的测试数据对提出的函数进行验证，结果表明：本文提出的增强Inflection-S型测试覆盖率函数与已有的测试覆盖率函数相比具有更好的拟合精度，更符合实际测试工作中测试覆盖率增长的情况。 三、研究测试覆盖率与软件缺陷之间的关系。为了充分利用测试覆盖信息，本文在深入研究基于时间分布的软件缺陷预测模型基础上，建立了基于测试覆盖的软件缺陷预测模型，该模型能够克服饱和效应对缺陷预测的影响。使用NASA和ESA的共9组测试覆盖率数据和软件缺陷数据对模型进行验证，结果表明：本文提出的基于增强Inflection-S型测试覆盖率函数的缺陷预测模型与已有的软件缺陷预测模型相比，具有预测结果稳定性好、与实际缺陷的吻合度高的优点。 四、本文结合航天某型号软件的测试任务进行实验验证。通过详细地分析测试策略的适用条件和指导测试的方法，建立起理论研究与工程实践的桥梁。运用该测试策略对航天某型号软件的测试过程进行指导，实验结果表明：运用本文提出的基于测试覆盖的安全关键软件测试策略指导测试，不仅提高了测试效率，而且能够发现出更多的软件缺陷，保证有效且高效地完成了安全关键软件的测试任务。 “如何在时间、资源有限的条件下，对软件进行充分地测试”一直是软件测试领域的难题之一，本文提出的基于测试覆盖的安全关键软件测试策略在解决该难题方面进行了有益的探索，并取得了一定的进展，为相关领域的研究提供了思路。

关键词： 缺陷   教学   软件测试   系统   管理  

摘要： 缺陷是软件开发过程中发现的错误，一般需要返工才能更正这个错误。该错误往往会带来很严重的后果。目前市场上出现了很多缺陷管理工具，目的是通过对缺陷的有效管理提高软件质量。我所在的单位是一所高职院校，开设了软件测试专业。为了给学生创造一个良好的学习环境，提高我们的教学质量，我们有意成立软件测试实验室，那么必然要进行缺陷管理。所以本文的主要工作是设计并实现一款缺陷管理教学系统。该系统的引入首先可以提高学生开发软件的质量和重视软件测试的意识；其次，学生可以掌握缺陷管理的流程和方法；第三有了在校期间该系统灵活运用的经验，那么学生毕业后会更快的适应工作岗位的需要。论文主要工作如下： （1）提出了一个缺陷管理教学系统的架构。首先选择B/S模式，即所谓的“瘦客户机”，只要装上操作系统、网络协议软件以及浏览器即可。这样不仅降低了系统成本，减少了维护工作量，而且便于系统今后的扩展；其次采用MVC架构。表示层由JSP实现采集和处理数据和用户的请求。用户接收请求后，用JavaBean实现处理业务逻辑，控制数据流向，即功能层。数据层主要完成用户对数据库的操作。主要由Java和SQL语句实现数据的增、删、改、查等操作。 （2）设计并实现了一个缺陷管理教学系统。以JSP为前台开发语言，HSQL为数据库管理系统开发的缺陷管理教学系统主要实现三个模块，分别为任务模块、设置模块和报表模块。每一个缺陷标识为一个任务。所以任务模块在整个系统当中是使用最频繁的，它用于跟踪、管理测试过程中发现的缺陷。主要功能包括登记任务、修改任务、查找任务和更改任务的状态等；设置模块分为项目设置，系统设置和个人设置；报表模块负责向系统管理员提供测试项目的缺陷统计分析信息。 本文通过研究什么是软件缺陷以及缺陷的分类、缺陷产生的原因和特征、缺陷管理的目标和流程、典型缺陷管理工具的特点分析设计并实现了一款缺陷管理教学系统。该系统准备在内蒙古电子信息职业技术学院软件工程系软件技术专业，尤其是软件测试方向的教学中应用，以验证其管理效果。

关键词： 软件测试   静态分析   程序分析   缺陷检测   缺陷模式   抽象解释   抽象域   路径敏感   上下文敏感  

摘要： 软件代码中的缺陷是导致软件故障和漏洞问题的主要原因。基于缺陷的软件测试技术可以分为动态检测技术和静态检测技术。静态检测技术不运行被测程序,通过应用各种静态分析技术来发现程序中的缺陷。从可计算性理论的角度来看,静态缺陷检测是一个不可判定问题。提高精度是静态缺陷检测的核心问题,提高精度包括两个方面：减少误报和减少漏报。大量的误报会使人对分析工具失去信心,而漏报会造成程序具有较高质量的假象。 本文在国家“863”计划“软件的故障模型与面向故障的软件测试系统”、“软件的安全性缺陷模型及基于安全性缺陷的测试技术”及“863”重点项目“支持软件可信性分析和评估的生产线”的支持下,以提高静态缺陷检测精度为核心研究内容,着重从抽象域设计、路径敏感和上下文敏感角度讨论了提高缺陷检测精度的方法,论文的主要工作包括以下内容： (1)如何更好地近似表示和计算程序变量的取值信息是提高静态分析精度的关键。本文基于抽象解释理论提出一种考虑变量相关性的变量取值抽象表示和计算方法。首先,为了能精确表示两个分离区间的并,将经典的单区间抽象域扩展为区间集抽象域；其次,为了处理由赋值引入的变量关联关系,引入符号表达式抽象域,符号表达式抽象域是对变量关系的抽象。将符号表达式抽象与单区间抽象或区间集抽象结合可以进一步精化后者的抽象结果；最后,给出一个统一的程序中变量抽象取值计算算法,该算法并不依赖于具体的抽象域。 (2)基于有限状态机的缺陷检测可以化为一个传统的数据流问题。数据流问题典型的解有三个：理想解(IDEAL)、全路径聚合解(Meet Over all Paths, MOP)和最大／小不动点解(Maximal/Minimal Fixed Point, MFP)。传统求MFP解的迭代算法是一种流敏感但路径不敏感的方法。本文在传统数据流迭代算法的基础上,提出一种多项式复杂度的路径敏感缺陷检测算法,该方法采用变量的抽象取值来表示缺陷状态条件,通过缺陷状态条件中的变量抽象取值为空来判断不可达路径,并在所有控制流汇合节点上合并相同缺陷状态的状态条件从而避免完整路径的组合爆炸问题,实际测试结果表明该方法能够减少误报。 (3)对于基于有限状态机的缺陷检测来说,过程间分析有其特点：当遇到一个函数调用时,它关心的是该函数的执行是否会引起当前缺陷状态机实例的状态发生变化,不同缺陷检测关心的信息各不相同。针对这一特点,本文提出一种基于函数摘要的过程间缺陷检测方法：首先,定义了面向缺陷检测的函数摘要,其内容包括前置约束信息集合、后置副作用信息集合和状态特征信息集合,函数摘要可以看作是以函数为单位对程序实际语义的抽象。函数摘要的生成过程伴随过程内分析进行,其中前置约束信息生成是一个逆向可能数据流问题,后置副作用信息生成和状态特征信息生成是两个正向可能数据流问题。其次,为实现上下文敏感分析,引入了摘要条件的概念,摘要条件采用变量的抽象取值表示,代表在函数调用点处应用相应摘要信息时需满足的上下文条件。最后,给出一个基于函数摘要的过程间缺陷检测迭代算法,实验表明该方法能降低误报和漏报。 综上所述,本文针对提高缺陷检测精度的几个关键性问题进行了探索,取得了一定的理论研究成果。上述关键技术已应用于软件缺陷检测工具DTS,初步应用结果表明上述关键技术也具有良好的工业应用价值。

关键词： 网格软件   软件测试   持续交付  

摘要： 为缩短SCE(Super Computing Environment)软件的交付周期,尽快满足用户的需求,在SCE整个开发周期中引入自动化测试及自动化部署。自动化测试能够完成对SCE软件的功能测试、性能测试;自动化部署能够将整个部署环节简化,快速完成软件的部署及升级。很大程度上缩短了软件的交付周期,初步实现适合SCE软件的持续交付,很好的推动了SCE的后续开发。

关键词： 智能卡   移动支付   软件测试  

摘要： 智能卡以其安全、方便、多功能等诸多优点,在金融、交通、医疗等领域被广泛应用。 在我国,由于智能卡移动支付产业起步较晚,存在研发力度不够、技术水平不高的问题,尤其在智能卡软件测试系统方面,没有形成比较全面、系统的测试方法。而智能卡应用层软件具有结构复杂,可变性强,功能特性多的特点,软件测试方案的好坏和测试的效率,直接影响着智能卡类应用软件的质量。 本文结合移动支付项目测试,以智能卡移动支付测试技术为研究对象,通过理论分析和工程实践,现主要对以下三个方面进行了分析： 1.I/O通信模块的测试。创新性利用MP300TC3接触式读卡仪编写了测试脚本,论文着重对测试脚本与实际测试结果进行分析,提高了测试效率。根据7816规范研究了电气特性测试、字符重发重收测试、指令测试、ATR时序测试、PPS时序测试、字符间隔兼容性测试、PPS时序补充测试、字符间隔兼容性补充测试、低功耗测试。 2.基础平台模块的测试。对SIM卡、USIM卡的协议一致性测试内容和方法进行了研究,并介绍其压力测试与算法测试,依据规范对所需测试环境展开分析。本人总结既有基础平台测试脚本,对其基本测试点归类分析。 3.移动支付平台(电子钱包)的测试。介绍金融交易的交易流程,着重分析了智能卡移动支付圈存交易流程。本文着重研究了移动支付钱包的测试脚本及测试用例,包括：钱包透支测试、PBOC应用测试、参数及管理指令协议一致性测试、文件系统测试、系统安全测试。本人在既有测试脚本上增加实际测试中出现测试问题后的测试点,完善了测试脚本的编写。 论文中智能卡移动支付平台测试脚本已通过评审,符合行业规范,达到了测试标准,现广泛应用于实际测试平台。

关键词： 基于构件软件系统   软件测试   软件可靠性   粒子群优化   反向传播神经网络  

摘要： 随着软件技术的发展，软件在规模和复杂度两个方面均增长快速，软件系统的设计思想也逐渐由完全自足型转向社会协作型。社会协作型的软件设计思想要求软件功能构件化、标准化，并产生了基于构件的软件设计与重用这一重要软件开发方法。如何对基于构件的软件系统进行有效测试和可靠性评估成为软件工程研究中的新热点。 由于基于构件的软件系统中构件众多、功能独立、来源广泛、可更新可替换性强，因此对该类软件系统进行整体性测试和可靠性评估实现比较困难。本文针对基于构件软件系统存在的复杂度高、低耦合性特征，提出基于粒子群优化（Particle Swarm Optimization，PSO）的软件Z路径覆盖测试方法和基于反向传播神经网络可靠性评估模型，研究中取得如下创新性成果： 1.针对PSO测试用例生成算法因集簇特性引发早熟，导致测试用例生成效率降低的问题，提出了PSO集簇自适应惯性权重测试用例生成算法。该算法对测试用例种群的集簇度进行量化和监督，并基于集簇度监督，动态地调整测试用例惯性权重，增加搜索空间中测试用例的多样性，降低PSO算法早熟度，提高测试用例生成效率。 2.针对软件结构性测试中PSO多路径覆盖中存在的计算资源优化不足和缺乏测试路径间信息交换的问题，提出多路径PSO自动测试用例生成算法。该算法使测试用例可以在覆盖测试路径的过程中充分交换信息、优化计算资源，提高了测试用例对多路径的有效覆盖。 3.针对软件结构复杂度较高的情况下，现有大部分基于构件的软件可靠性模型的评估复杂度大，计算成本高等问题，提出一种低复杂度、基于构件的前馈神经网络可靠性模型。该模型通过构件的可靠性历史数据，结合人工神经网络和构件可靠性敏感度分析，对软件系统的可靠性评估进行动态优化。该模型的评估复杂度具有随软件系统构件数量线性递增的特性，优于基于状态和基于路径的可靠性评估模型，并对软件系统结构具有鲁棒性。 4．基于构件的Web系统可靠性评估，提出基于构件的Web系统可靠性分层评估模型。该模型按可靠性分析的需要，将基于构件的Web系统评估分为Web系统工作层、日志生成层、可靠性提取层、可靠性汇聚层和可靠性评估层。可靠性评估层将Web系统中各构件的可靠性作为前馈神经网络的输入，对Web系统整体可靠性进行评估。该模型可以满足基于构件Web系统的异构性、分布性、松耦合性等需求，并可在较低评估复杂度的基础上实现对Web系统整体可靠性的有效评估。