教学课程资源库 更多>>

关键词： 职业院校   软件测试   教学改革  

摘要： 软件测试是保证软件产品质量的重要手段,是职业院校软件技术专业的一门专业基础课。目前,职业院校在软件测试人才培养中存在很多问题。本文从职业院校软件测试课程教学现状入手,分析了在教学中存在的问题,指出了职业院校软件测试课程教学改革措施,对接就业需求,适应社会发展,重在提高学生动手实践和适应岗位需求的能力。

关键词： 软件测试   形式化建模   验证工具   可行性分析  

摘要： 伴随网络环境的动态、多元、开放，互联网、大数据和云计算等新兴计算机行业的蓬勃发展。软件系统的可行性引起国内外学术研究的关注。特别是对于一些与国家经济或者国防等相关的软件系统，它们的可行性则是至关重要。软件开发的方法与过程、软件产品的测试与验证是实现软件可行性的两个主要方面。但是在大多数工程中，软件产品的设计与开发还是缺乏坚实的科学基础和成熟的理论，所以软件产品的质量需要测试和模拟等方式保障。对于在中国盛行的电子商务系统中，B2C模式是大多数购物网站所采用，所以对电子商务的B2C系统模式进行形式化建模与验证具有切实意义。　　本文针对电子商务的B2C模式，依据形式化方法的三个方面对其进行详细的建模，然后对所建模型属性进行详细描述，最后采用专业的验证工具对所建立的模型进行验证。　　首先，介绍形式化方法中的时态逻辑和模型检测理论的发展历程和研究现状，分析电子商务的B2C模式的发展现状和模式特点。　　其次，从软件形式化方法的三个方面：系统建模、形式规约以及形式验证来描述电子商务的B2C模式。先根据Kripke结构为B2C模式的状态转移构造一套完整的迁移系统，然后通过分支时态逻辑特征描述所建模型的属性特点，最后在理论上采用分支时态逻辑和符号模型算法来验证模型属性，详细阐述系统属性的验证过程。　　最后，在上述建模验证的基础上，采用符号模型检测工具NuSMV模拟检测模型的属性。对检测结果提供的反例进行详细分析，结果表明采用时序逻辑的形式规约能及时发现系统模型的不足和缺陷，以便提出合理的解决方法。

关键词： 需求模型   模型驱动开发   软件测试   测试自动化   航天型号软件  

摘要： 为了解决由“航天型号软件规模及复杂度日益增长”、“航天型号软件研制周期逐渐缩短”等导致的软件开发效率不足的问题,航天领域引入了新的软件开发方法——模型驱动的软件开发方法,模型驱动的软件开发方法通过“开发人员建立图形化模型,由模型自动生成代码”的模式,能够提高软件的开发效率,并且形式化验证功能能够确保代码与模型的一致性。但模型驱动的软件开发方法在提升航天型号软件开发效率的同时,也为传统的软件测试方法带来了挑战。虽然目前航天领域已经有了较为完善的测试方法体系,并且部分测试工作可以自动化进行,但由于这些传统测试方法是基于需求文档的测试,所以无法适用于模型驱动开发的软件。如何对模型驱动开发的航天型号软件进行高效的测试成为亟待解决的问题。由于代码生成器可以保证代码本身的正确性,所以测试工作的重点应该放在“验证代码是否符合软件需求”之上。根据完整的模型驱动的软件开发生命周期中的要求,应当使用需求模型代替文档需求规格说明来进行软件需求的传递,而模型驱动开发的设计实现模型可以看作是需求模型的精化,因此需求模型与设计实现模型之间具有很强的相关性及可追溯性。又因为程序代码是由设计实现模型自动生成的,格式相对固定,所以需求模型与程序代码之间同样有着很强的关联,这就使得利用需求模型对被测程序进行自动化测试成为可能。本文通过研究模型驱动开发的航天型号软件的特点,提出了一种基于需求模型的测试自动化方法:通过提取需求模型中所包含的测试相关信息,针对不同类型的需求模型,设计相应的测试用例、测试脚本生成算法,实现了基于需求模型的测试用例自动生成,并可以进一步地将测试用例转化为可以在测试平台执行的测试脚本,完成测试的自动化流程。通过进行实验验证,本文提出的基于需求模型的测试自动化方法以及针对不同模型设计的测试用例、测试脚本生成算法均具有可行性。整体测试自动化方法能够很好地契合模型驱动开发的航天型号软件的特点,有效地提高了测试工作的自动化程度及可靠性。

关键词： 软件测试   软件质量   管理工作  

摘要： 为了保证软件产品符合设计要求和设计质量,软件测试人员要对软件的功能、性能等各方面进行测试,所以软件测试是软件质量管理中的重要环节.但是在一些软件开发单位中,质量管理人员的管理职责疏忽,不重视软件测试工作;一些软件开发单位对软件测试的管理力度不强,从而导致了测试的效果不理想.因此,软件开发单位应当加强软件测试工作,使其逐渐向着正规化方向发展.

关键词： 互联网+   软件测试   人才需求  

摘要： 随着互联网+信息时代高速发展,我国软件产业的蓬勃发展以及各软件公司对软件质量的重视,软件测试人才紧缺刻不容缓。本文针对软件测试人才紧缺性进行描述,并且分析软件测试人才需求从传统的软件测试正在向自动化测试,性能测试,用户体验测试,云测试方面发展。

关键词： 能谱测量   能谱分析   三层架构   模块化   软件测试  

摘要： 针对突发核事故,救援人员需要对事故地点周边人员快速进行核辐射内污染筛查和评估,及时甄别内污染人员,使其得到及时救治。现有的辐射测量软件一般都需要繁杂而专业的操作,而核应急救援人员并不一定都具备核辐射测量专业知识。那么对测量操作进行简化,降低测量对操作人员的依赖则具有非常重要的现实意义。因此,本文通过算法研究、逻辑优化、功能聚合、自动化分析设计,开发了肺部放射性内污染检测软件,以降低测量对操作人员的依赖。本文主要工作如下:1)调研了商用广泛的通用型γ能谱测量软件的测量流程,以及全身计数器或者肺计数器配套等同类软件的测量流程,确定了肺部放射性内污染能谱测量软件开发的必要性。2)对能谱分析相关算法进行调研,并进行了相应测试。针对性的设计了最小二乘五点平滑、对称零面积高斯函数卷积寻峰、SNIP本底扣除、核素识别等能谱分析。3)依据同类软件的测量流程,对软件的功能和性能进行需求分析,设计了软件的三层架构,明确了软件的功能模块。4)基于C#语言和ACCESS数据库,实现了软件的通用模块,数据层模块,逻辑层模块和表现层模块,建立了相应的动态链接库,并将其集成到主程序中,形成了肺部放射性内污染能谱检测软件。5)对软件进行了测试,主要针对软件能谱测量和分析算法进行的功能测试。也对软件功能的响应时间,以及软件在静态和动态条件下的性能进行了测试。

关键词： 软件测试   万有引力搜索算法   多路径测试   组合测试   适应度函数  

摘要： 测试用例的生成是软件测试研究的一个重要分支。运用智能搜索算法进行测试用例的生成是测试用例生成研究的热点之一。目前,大部分研究是对遗传算法、粒子群算法、模拟退火算法等进行改进并应用到测试用例生成中,但是这些算法都有其自身的缺陷。例如遗传算法易早熟,局部搜索能力弱,搜索后期收敛速度慢;粒子群算法易早熟和陷入局部最优;模拟退火算法结构较复杂,寻优耗时相对较长。这些缺点在应用中都影响着测试用例生成的质量和效率。另外,目前将智能搜索算法应用到多路径测试用例生成和组合测试用例生成中,对评价粒子质量的关键指标——适应度函数的改进还不够理想。为此,本文对万有引力搜索算法(GSA)进行改进提出了基于改进的Tent混沌万有引力搜索算法(ITC-GSA),并将其运用到多路径测试用例生成和组合测试用例生成中,主要的研究工作和内容归纳如下:(1)在分析GSA算法优缺点的基础上提出了ITC-GSA算法。改进Tent混沌映射来初始化种群;引入引力常数G的动态调整策略提高算法的收敛速度和收敛精度,设计成熟度指标判断种群成熟度并使用Tent混沌搜索有效抑制算法早熟收敛帮助种群跳出局部最优。(2)提出基于ITC-GSA算法的多路径测试用例生成。针对多路径测试用例生成的特点,在分析分支距离法和层接近度法的基础上,提出了一种新的适应度计算方法,其根据新生成的测试用例设计自适应权重来动态调整适应度函数值,提高多路径测试用例生成的质量和效率。(3)提出基于ITC-GSA算法的组合测试用例生成。根据组合测试的特点,结合平均海明距离和覆盖强度,将已生成的测试用例集中测试用例的影响考虑进来引导新的测试用例的生成,设计一种新的适应度函数计算方法。为验证本文所提算法在多路径测试用例生成和组合测试用例生成上应用和设计的相应适应度函数的有效性,本文分别设计了一系列实验进行验证。实验结果表明:ITC-GSA算法相较于GSA算法,收敛速度快、寻优精度高、能有效跳出局部最优、具有明显优势;对于多路径测试用例生成问题,所提算法及适应度函数的改进比遗传算法、粒子群算法、GSA算法迭代次数更少、运行时间更短、平均成功率更高;对于组合测试用例生成问题,所提算法及适应度函数的改进比遗传算法、粒子群算法、GSA算法在测试用例生成的规模和时间上都有很大的提升。

关键词： 软件测试   自动化测试   Selenium   调度平台   测试平台  

摘要： 随着互联网时代的发展,Web应用正以前所未有的速度发展,软件发展的规模不断增大,软件迭代研发周期短,测试压力大是当前软件测试行业发展的现状。基于当前测试环境的现状,各个公司都在努力探索测试发展的新方向。自动化测试被很多公司发掘来代替手工测试在迭代测试和回归测试方面的工作。自动化测试不能完全代替手工测试因为自动化测试有其适合的领域,当测试的项目是产品测试的时候,产品的界面变动不频繁,产品持续开发,迭代发布,每次发布前都需要对产品整体进行回归测试,这时候就比较适合开展自动化测试,我所在的测试中心下面对应整个集团所有项目组产品的测试,有适合开展自动化测试的条件,我们首先要搭建自动化测试平台,来让测试人员能够快速的开发测试脚本,然后我们要搭建自动化调度平台让项目组可以把开发好的测试用例上传到测试环境中,然后设定运行条件,自动化调度平台来运行测试用例,并且反馈测试结果。本文首先描述了自动化测试平台和自动化调度平台相关的技术基础,重点介绍了自动化测试开发用到的Selenium工具、TestNG单元测试工具、Ant测试调度工具、MQ消息队列等,然后依次介绍了自动化测试平台的设计和实现,自动化调度平台的设计和实现。自动化测试平台部分有自动化测试平台的实现原理、功能性需求、非功能性需求,测试平台的分层设计和工具类设计,功能模块的实现中介绍了页面对象模块的实现、公共方法模块的实现、测试脚本模块的实现、测试工具类模块的实现、自动化测试用例配置实现;在自动化调度平台的概述和需求分析,介绍了功能模块说明和实现,实现的功能模块有分布式集群管理模块、日志和异常管理模块、邮件通知管理模块、测试结果管理模块、定时任务模块以及数据库的设计和实现。通过项目测试人员实际使用和测试,本平台能够满足用户对自动化测试用例编写的效率和可维护、可扩展性的要求,调度平台在运行中能够满足多项目运行自动化测试用例的要求,一直处于平稳运行状态。

关键词： 航空电子   软件功能化   机载大规模   测试模型  

摘要： 针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,软件测试迎来了新的的困难和挑战。从测试环境和测试流程方面,针对机电管理系统测试,重点说明了测试环境组成、运转过程、测试的输入输出数据、测试模型的开发等,为机载大规模复杂软件测试验证提供了解决方案,提高软件的可靠性。

关键词： 项目投资管理   B/S   UML   Oracle   软件测试  

摘要： 随着计算机信息处理技术的发展,计算机信息处理技术已经应用于各行各业当中,随着广播电视台产业多元化的发展,某广播电视台开展的项目投资业务日益增多,通过对某广播电视台现有的项目投资流程进行总结和分析,准备对项目投资管理工作开始进行数字化、信息化的管理,从而能够适应广播电视台新时代发展的要求。管理人员在对项目投资的日常管理工作中发现,现有的项目投资管理模式比较沉旧,很难做的到对项目投资中的每一个环节进行实时督查。在以往投资项目较少、规模小的情况下,还能勉强对项目投资的进行简单的信息化管理,但是在如今投资项目多且信息量庞大的情形下,现有的管理模式已经很难满足当前项目投资管理的需求,极易出现管理差错,造成不可挽回的损失,这些问题势必会影响到单位的项目投资管理水平。某广播电视台相关部门负责人已经发现,要想对当前的项目投资信息进行髙效的管理,借助先进的信息化管理模式来对项目投资管理已经成为趋势。本系统是在对某电视台现有的项目投资管理模式进行探讨,结合系统化应用软件工程相关理论和技术,开发出一款能够适用于某电视台项目投资的信息管理系统,该系统用户主要分为系统管理员、项目申报人员、项目审核人员、项目投资人员、项目进度人员、督查人员六种类型的用户。不同用户权限不同,通过使用系统能够完成从一个项目申报、项目投资、进度管理、督查管理和系统信息管理等工作。系统主要分为以下几个模块,分别是新闻公告管理模块、项目管理模块、项目投资管理模块、项目进度管理模块、项目督查管理模块和系统管理模块等。不同功能模块之间协调工作实现项目投资的有效管理。本系统中主要使用Java语言进行编写,使用B/S结构,通过Oracle数据库对电视台项目投资管理系统的基本信息进行存储,并采用了Hibernate进行数据库的访问工作。在本系统中主要借助Struts框架技术实现对Oracle数据库的数据访问。在系统完成之后,分别对系统的功能、安全和性能进行了测试,通过该系统,管理人员可以对每个项目的全过程进行监管,从而可以提高项目投资管理的质量和降低项目风险的发生。