教学课程资源库 更多>>

关键词： 可信软件测试过程   软件测试   目标可信度   软硬件结合  

摘要： 现代社会,无论各行各业,都离不开软件应用的支持。软件测试作为软件开发过程中必不可少的质量保障手段,将其视为伴随软件开发的一个过程,而不是软件开发后期的一个环节,这种思想已成为工业界的主导思想。同时,不同软件有其独特的需求和资源,如何能够根据每个软件的特点,进行更有针对性的测试过程管理,在保证软件可信度的同时提升软件测试的效率成为人们关注的焦点。本文针对软件的多样性和复杂性,提出了一种基于目标软件可信度的软件测试过程框架。通过对软件进行目标可信度建模,根据该模型指导后续的测试工作。结合形式化测试需求分析等方法,解决了软件测试过程中资源浪费和测试不精确的问题,达到合理利用测试资源,提升测试效率的目的。在可信软件测试过程框架的基础上,本文针对GRVM编译器的软硬件结合的特征,给出了软硬件协同测试以支持软件开发工作的管理方案。通过对目标硬件进行测试和通用算法分析,总结其架构的优缺点和不同算法应用在硬件结构上的映射,为软件开发工作起指导作用,提升了软件的质量。本文完成了对编译器验证平台的测试工作,在此基础上,提供了自动化的测试方法用以对编译器的功能进行测试。基于这些方法的测试结果表明,采用可信软件测试过程方法进行软件测试能够有效的提升测试的精确性和效率。与原有的采用V方法进行测试的REmusII编译器开发过程相比较,效率提升了26.5%。

关键词： 鞍山师范学院   科研项目管理系统   软件测试  

摘要： 随着科技的日益发展,高校的科研活动和科研能力已成为评价高校综合实力的重要指标,这使得高校的科研管理工作日趋重要。科研项目管理工作在鞍山师范学院日常管理工作中是至关重要的一环,是整个高校管理中的首道关卡。科研项目管理系统的设计过程中,以项目管理为重点项,同时对科研管理和项目管理进行调研。作为鞍山师范学院中的重要功能,目前科研项目管理已经被普遍使用。本文主要面向鞍山师范学院的科研项目管理工作,首先对鞍山师范学院科研项目管理工作的业务流程做了简要的了解和分析,从中筛选出本系统着力需要解决的一系列问题。随后以解决这些问题为目标,借助高速发展的数据库技术和计算机网络技术来完成鞍山师范学院科研项目管理系统。本文在对鞍山师范学院科研项目业务进行需求调研的基础上,利用软件工程的思想对系统进行了详细分析和设计。基于系统设计,采用Visual studio 2008为系统开发平台,SQL Server 2008作为后台数据支撑,利用客户端/浏览器架构对系统进行开发。在开发过程中,充分利用业界成熟的公用类库作为开发基础进行二次开发,从最根本层面来实现代码复用,再用辅以工程化思想作为指导,保证系统鲁棒性的前提下实现敏捷开发。首先快速建立系统应用原型,然后基于原型系统进行需求迭代,不断增强系统功能,直到形成用户满意的可行系统。

关键词： 安卓   移动互联   省电   软件测试  

摘要： 目前,随着智能手机的用户与日俱增,智能手机的功能也愈加丰富。但是这些丰富的功能却消耗了手机大量的电能,使得手机的续航时间急剧下降。功能手机的待机时间基本上在四天左右,相比较而言,绝大部分的智能手机只可以待机一到两天,在经过几次低电量提醒之后,其优点也不再能发挥。所以智能手机续航时间短这个问题令人越来越头疼,成为所有移动终端制造商都十分希望解决的一个瓶颈。由上所述可见本课题研究的智能省电应用对实际生活有着很大的帮助。本文首先介绍了课题的研究背景和任务,之后简单介绍了与功耗联系紧密的LTE技术和安卓系统的历史、架构等内容以及软件测试相关的知识。接下来讲述了该智能省电应用的主要功能,比如省电模式、耗电统计列表、保护应用列表、全面耗电检测等等。最后结合若干测试用例分析了该智能省电系统的功能与性能,通过大量的测试工作来保证系统的可用性与稳定性。目前该系统的测试结论是各项功能满足需求并且具备很好的性能,但是也存在一些问题。比如印尼语和阿拉伯语的适配存在界面失真的问题,部分界面显示不全且打点显示。该应用的主要创新点是在省电模式设置等基础功能之上增加了全面耗电检测和电池充电管理等功能,并且支持多达17种语言,下载量和用户满意度都非常高。

关键词： Genetic algorithms  

摘要： Testing is the one of the crucial phase that is performed during software development. It is done to validate the quality of the software testing using minimal cost, efforts and to generate high quality test cases. It is impossible to test software with all the possible inputs. Hence there is a need to select and reduce test cases that will find as many faults as possible. This paper will describe a method for optimizing software testing Using hybrid meta-heuristics that is by the combination of particle Swarm optimization technique and genetic algorithm, an algorithm has been proposed to find faults in software with reduced number of test cases in minimum time. © 2015 SERSC

关键词： 公安机关   犯罪调查   银行数据查控系统   模块化设计   软件测试  

摘要： 通讯诈骗犯罪对国家和社会的危害日益加大，在公安机关针对通讯诈骗犯罪取证调查的过程当中，需要经常性地到银行查询调查对象的账户情况及其相关信息。然而在这一过程的实际操作中，需要纯人为地进行，效率堪称低下，并且由于地域的局限性，查询结果也不理想。　　基于上述背景分析，本文以公安机关银行数据查控系统建设为研究对象，通过对公安机关到银行进行数据查询的现状进行分析，总结出影响公安机关在银行数据查询这一过程工作效率低下的主要原因和瓶颈，得出需要设计一套高效、便捷并且安全的系统来进行这一工作的论点，通过借助现代信息技术，建立集中、统一的平台对公安机关向银行进行数据查询的工作进行审批、监管，提高公安机关数据查询工作的成效。　　论文的主要内容包括:　　1、在确立系统目标、应用领域、用户范围的前提下，通过进一步的分析，得出公安查控系统的用户需求、业务流程、数据流程等信息，确立了系统开发的基本思路。　　2、按照信息系统开发流程，在需求分析的基础上，以软件开发的生命周期为依据，在需求分析的基础上，对系统进行总体设计。　　3、使用系统论的方法研究，将一个集成的系统分为多个不同功能的模块来进行编码实现，协调好系统与模块以及模块与模块间的关系。根据需求，依次对系统的各个模块进行编码实现。　　4、最后通过系统运行测试，分析测试结果，从而找出系统设计的优缺点，是否达到预期目标和需求。　　通过公安机关银行数据查控系统的应用，可以有效地解决在当前的模式下，公安机关对于犯罪嫌疑人银行账户等经济情况的调查过程的瓶颈，显著提高公安的工作效率。同时又能对流程进行规范化管理，保证了银行数据的安全性。

关键词： 轮式起重机   参数化   总体设计   吊臂伸缩机构   VC开发   Word文档处理   UG二次开发   软件测试  

摘要： 计算机技术的飞速发展推动了机械行业设计方法的变革。以参数化设计为代表的现代化设计方法改善了传统设计方法工作量大、重复性高、效率低下的缺陷，使设计人员从复杂繁重的重复性工作中解脱出来，去从事更多创造性的工作，提高了工作效率。起重机行业正是这一变革的受益者，国内外起重机制造商很早就关注起重机设计方法的现代化，关于起重机的参数化设计也进行了大量的研究并取得了相当的成果，这些研究和成果对起重机行业起到了非常积极正面的影响，极大地推动了起重机行业的发展。 本文首先介绍了国内外轮式起重机的发展现状以及本文涉及的关键技术。国内起重机行业起步较晚但发展迅速，目前距国际先进水平还有一定差距，但发展前景光明。本文主要介绍轮式起重机设计计算软件总体及其吊臂伸缩机构模块开发，主要涉及面向对象的编程开发技术、文档处理技术及UG二次开发技术。 其次，介绍了软件系统总体设计。在需求分析的基础上，进行了系统总体框架设计，制定了总体技术方案。针对各个子模块，列出了总体设计需求，作为设计的依据和指导。 再次，针对起重机吊臂伸缩机构设计计算方法的整理做了详细的阐述。根据某公司的具体情况，主要有油缸+绳排式和油缸+插销式两种形式的吊臂伸缩机构。分别对两种形式的吊臂伸缩机构进行受力分析，计算钢丝绳和油缸的受力，并进行钢丝绳选型计算和销轴设计校核，总结和整理出了以上计算的通用化公式。 然后，介绍了吊臂伸缩机构设计计算模块的开发。详细地介绍了软件系统设计、模块设计、界面设计，就编程开发中的重点和难点也做了详细描述。关于Word文档处理功能的开发，介绍了其实现原理和方法；关于UG二次开发技术，介绍了菜单设计、入口函数编写、编译和连接等关键技术。 最后，介绍了基于黑盒理论的软件测试方案，详细给出了软件测试用例和测试结果。测试结果满足预期结果，得出结论，软件模块满足设计要求和使用要求。

关键词： 软件漏洞   静态分析   软件测试   形式化描述  

摘要： 随着信息化的不断发展和广泛的软件应用,软件的安全性越来越受到人们的重视。软件安全问题大多是由软件漏洞引起。面向源码的软件漏洞静态分析是信息安全领域的一个重点研究方向,在软件测试、漏洞挖掘和漏洞分析等领域具有重大的理论研究意义和实际应用价值。如何描述和判别漏洞是漏洞静态分析的核心问题。基于此,提出一个用于描述和判定漏洞的软件漏洞静态检测模型并设计了一个静态检测框架。首先从漏洞产生原因、机理、导致后果和检测方法几个方面对多种常见软件漏洞进行研究分析,总结归纳各种软件漏洞的特征;其次,用谓词对漏洞的特征属性进行统一的形式化定义,用各种依赖关系来描述漏洞的判定规则;然后用一个五元组来描述和判别软件漏洞,从漏洞初始节点集、程序状态空间、漏洞语法规则集、漏洞前置判定条件和后置判定条件五个方面对多种常见软件漏洞及其判定规则进行统一形式化描述;针对传统路径分析中可能存在的状态空间爆炸问题,提出一个新的程序中间表示——漏洞可执行路径集,代替传统的完整路径分析以压缩程序状态空间,提高检测效率;最后设计了一个基于漏洞可执行路径集的软件漏洞静态检测框架,利用定义的漏洞语法规则推导求解漏洞可执行路径集上仅与漏洞相关的漏洞相关节点集,利用漏洞判定规则对漏洞相关节点集进行判别,得出漏洞报告。通过对6个开源项目的测试,验证了形式化描述的软件漏洞静态检测模型以及软件漏洞的静态检测框架的正确性和可行性。该静态检测模型可作为漏洞研究的理论基础,提出的漏洞可执行路径集可作为测试程序的中间表示,减少路径分析数量,为软件测试和漏洞挖掘的研究提供很好的理论基础和实际应用价值。

关键词： 嵌入式软件   软件测试   软件质量  

摘要： 随着信息技术的发展和数字化电子产品的普及,相关产品的功能日趋复杂,其质量问题也较多凸显出来。如今嵌入式软件产品已在人们的日常生活中发挥越来越重要的作用,人们对嵌入式软件产品的质量要求也越来越高,对嵌入式软件产品的品质提升也有较多期待。嵌入式软件测试质量的提升对于提高嵌入式软件产品的品质至关重要。因此为了提高嵌入式软件测试的质量,针对嵌入式软件测试方法进行研究有着极其重要的意义。以传统模型“V”模型为代表的开发模型对嵌入式软件产品开发过程进行了严格的划分,导致软件开发不够灵活,效率较低。软件产品的敏捷开发方法为高度迭代式开发。每个迭代完成软件产品部分功能的开发,在开发过程中编写数量较少但内容充分的文档,注重与客户的沟通,重视软件产品的频繁交付,重视用户满意度。软件产品的敏捷开发模式能有效解决传统软件产品开发方法所面临的问题。随着嵌入式软件敏捷开发方法的发展,适用传统软件开发方法的测试模型已无法适应其开发模式。本文首先分析了嵌入式软件特点和传统嵌入式软件测试模型的应用局限性,然后结合传统嵌入式软件测试模型的特点,融合嵌入式软件敏捷开发方法中的“测试驱动开发”思想,提出了一种适用于嵌入式软件敏捷开发模式的测试模型——“Y”测试模型。Y测试模型增加了测试用例的评审流程,评审测试用例可以提高测试用例的覆盖度,提升测试用例的质量；融入“测试驱动开发”思想可以有效提升软件产品单元测试的质量,可以在软件产品开发项目早期及时发现较多存于单元模块中的缺陷；嵌入式软件产品在向客户提交之前进行嵌入式产品的回归测试可以有效保证开发的嵌入式软件产品的验收质量,提升客户满意度。最后通过将Y测试模型应用于车载导航的系统测试项目,通过将实施Y模型的测试结果与实施传统测试的测试结果相比较,证明在嵌入式软件敏捷开发模式中应用Y测试模型进行测试的优势。

关键词： 地球站   软件测试   目标层次树   接口充分性  

摘要： 近年来,科技的进步使得软件应用更加广泛,软件质量的重要性被关注与日俱增。一方面因软件缺陷造成的事故不断发生,另一方面关于软件测试的研究也在不断深入。软件测试的方法应用和理论研究一直伴随着时代的进步不断得以深入。其中,航空航天类类软件关于软件质量的要求更加突出,决定质量的软件测试在整个项目建设过程中占据着更加重要的地位。论文以导航地球站监视控制软件为背景,介绍了软件开发过程和相关软件测试方法,描述了监视控制软件的结构特点和功能概况,结合软件与众多工作单元、设备及软件之间存在的交互和操作等特征,从测试需求、功能、接口和性能四个方面展开分析和研究,具体工作和结果如下:(1)监视控制软件测试需求分析。通过讨论和比较相关功能测试需求分析方法,结合监视控制软件功能特征,选择了基于目标与场景相结合的分析法,并应用此方法建立了监视控制软件测试需求目标统计表。在该目标统计表的基础上,针对表中目标间的关系体现不足的问题,对功能需求作了时序图分析。然后结合目标统计表和时序图分析,通过AND/OR图的描述方法建立了测试需求层次树,以此明确了每一个功能测试目标需求。同时,根据监视控制软件接口特性,提出了接口测试正确性、容错性和充分性测试需求,并阐述了各自需求下的详细测试内容。(2)监视控制软件功能测试。根据需求分析建立的测试目标层次树,制定了监视控制软件功能测试策略。在该策略基础上,应用等价类划分、边界值分析和错误推测三种软件测试方法对测试需求进行测试用例设计。根据设计的测试用例,应用界面输入操作和代码事件流方法,分别针对软件界面功能和非界面功能进行执行验证,对执行情况和遇到的缺陷问题作相应的分析和处理。(3)监视控制软件接口测试。从需求分析得出的正确性、容错性和充分性测试需求目标出发,划分监视控制软件不同接口下的传输数据类型,以数据包头和数据体的方式分别设计各类需求目标下的测试用例。鉴于接口报文参数在传输过程中的可能产生的组合爆炸问题,以关系划分方法的方式来解决软件各类接口数据类型的测试用例的测试充分性问题。最后在监视控制软件接口中验证和统计接口测试用例关于正确性、容错性和充分性执行情况及结果,并总结遇到的问题。(4)监视控制软件性能测试。根据需求规格说明中对软件的质量要求,通过对软件运行场景分析,确定可控节点数量和监控实时性能指标,结合软件运行环境,执行各个指标。统计和分析监视控制软件在各个指标下的运行情况和结果。

关键词： 软件   测试   控制论   方法  

摘要： 随着信息建设的快速发展,软件的高质量和高性能成为当今社会共同关注的热点之一,同时为了更好地保证软件的安全可靠性,控制论方法在软件测试中的应用对于软件故障检测有着一定的积极作用作用,本文研究,将软件随机测试方法远远不及自适应的软件测试方法在某种程度上明显指出,同时自适应的软件测试方法在一定程度上能够有效的降低软件测试的代价。