教学课程资源库 更多>>

关键词： 金税三期   需求分析   软件测试   金税三期辅助查询系统  

摘要： 随着金税三期的推广,问题随之而来,因为与以前的旧系统截然不同,导致原因一:网络及硬件配备条件差,横向联网和信息共享程度低;原因二:应用软件“孤岛”现象严重,软件众多,应用平台不一;原因三:征管基础数据采集不准确,垃圾数据多。再加上金税三期系统本身的不稳定,导致纳税人来办事消耗的时间大幅度提升,致使纳税人怨声载道,为了更好的为纳税人服务,有必要开发出一个辅助软件来提高金三的运行速度,从而让税管员提高系统的应用能力,提升办事效率。通过对税收流程的分析,查询功能是用到最多的,所以重庆市地税局特地开发了这款“金税三期辅助查询系统”。充分考虑到市局计算机配置情况以及现有空闲服务器配置情况,我们决定采用B/S模式,以SQL Server 2005数据库服务器为数据中心,将数据处理分配到了客户端计算机上。系统的开发环境为微软公司出品的功能强大的集成开发环境Visual Studio 2008,以C#为编程语言,实现了纳税人信息的统一存储,多层管理和多层共享。系统主要提供纳税人信息资料一户式查询管理,完善硬件设施,确保数据大集中的运行环境,不论是网络建设、硬件配备、数据标准还是软件的开发和应用,都按照网络、设备、软件、平台、数据标准一体化的要求,进行统一规划,整体推进,简化程序,从而让税管员提高系统的应用能力,提升办事效率。项目分析了现有金三系统的种种问题,对需要开发的新的软件进行需求分析、可行性研究和软件测试,通过调整应用系统间的数据共享策略、强化服务化设计理念等措施,让数据框架、工作流、服务体系和关键技术等得到明显优化。通过优化配置、比对选择和技术测试等手段,使系统更符合全市通用要求和业务操作实际。最终成功开发出软件,并取得了良好的效果。

关键词： 软件测试   主题探究   负载测试  

摘要： 本文提出在软件测试教学中引入主题探究模式的思路。并且以负载测试主题为例分析了主题探究教学的具体实施过程。最后在课程教学中取得了良好的教学效果。

关键词： 两轮自平衡小车   微控制器   硬件设计   软件测试  

摘要： 两轮自平衡小车是在轮式机器人的基础上发展的，其具有硬件结构简单，体积小，运动灵活的特点。可以在有限的工作空间快速、稳定的完成任务，在军事、科研、民用等领域有着广泛的应用前景。　　本设计选用意法半导体公司生产的基于ARM(Advanced RISC Machines) Cortex-M3内核的STM32F103ZET6作为微控制器，在对陀螺仪和加速度计原理以及硬件平台学习和研究的基础上，设计制作一辆能够自己保持平衡的两轮直立小车，并且能够进行运动行走。完成了硬件平台的搭建和软件的测试，包括驱动电路模块、无线数据传输模块、传感器模块、电源降压模块、主控芯片最小系统测试以及电机性能检测等等。　　两轮直立小车是通过对车身实时倾斜角度进行控制来保持直立。单独使用陀螺仪测量角度会使测量转换得到的角度因为温度漂移而产生误差;单独使用加速度计会造成动态角度测量不准确。本设计采用姿态传感器MPU6050内置3轴陀螺仪和3轴加速度计对小车进行姿态解析。利用MPU6050内部数字运动处理器直接将6轴数据转换为四元数，在主控芯片中将四元数进行量化后转换成对应的欧拉角，避免了复杂的滤波算法设计和繁琐的静态参数调节。　　通过对倒立摆模型以及直立小车数学模型分析得到小车自平衡稳定的条件。然后对车身角度和角速度进行比例微分（PD）控制。通过大量的实际测量和波形分析整定合适的比例微分控制参数，保证小车能够稳定直立。然后对速度、位移量和给定速度量进行比例积分（PI）控制。最后将转弯量、PD控制量和PI控制量叠加作为电机的输出控制量。通过控制参数的整定，对电机转速进行有效的调节来实现两轮小车稳定直立运行。　　在完成直立小车自平衡的基础上设计无线运动控制器。运动控制器通过计算获得自身姿态变化，根据自身角度变化自动发送相应的命令给直立平衡小车，使其能够按照命令执行相应的动作。

关键词： 软件测试   Eclipse RCP   测试管理   软件缺陷   扩展接口自动机  

摘要： 随着软件规模的复杂化、软件生产过程的敏捷化和软件可靠性要求的严格化,软件测试在整个软件生产活动中占据越来越重要的地位。软件测试不仅要保证被测系统单个组件的正确性,还需要确保组件间组合和交互的正确性。因此,针对单个组件的单元测试工具已经不能满足需求。目前,已经有一些语言和工具可以对组件间的组合和交互进行建模并测试,但这些基于模型的测试工具往往只关注组件间的交互行为,缺乏对整个测试生命周期的管理功能。因此,本文的目标是选择一个工业上普遍适用的建模工具来描述被测系统,根据软件模型完成对被测系统组件间组合和交互行为正确性的验证,并为被测系统生成满足一定覆盖率标准的测试用例,对整个测试过程进行管理,从而实现一个基于模型的测试管理工具。首先,本文采用具有强大的动态建模功能的Matlab Simulink为建模工具,由于Matlab Simulink模型在组件间组合验证上缺乏理论指导,本文借助扩展接口自动机模型作为中间模型,从理论上验证了组件间组合和交互的正确性,并实现了从Simulink模型到扩展接口自动机模型(EIA)的转换。采用GEF图形编辑框架可视化展示EIA,方便测试人员查看验证中间模型。其次,本文实现了根据EIA模型生成测试用例并对模型进行仿真的功能,仿真输出结果是对被测系统行为的预言。整个模型测试管理工具采用Eclipse RCP架构,基于插件的开发模式大幅度提高了系统的可扩展性。整个系统由项目管理、模型展示、仿真结果管理等模块构成,覆盖了软件测试生命周期的各个方面,极大的提高了测试工作的效率,减轻了测试人员的负担。最后,本文通过一个具体的软件模型,使用本工具生成测试用例并进行仿真运行,从测试用例的覆盖率和仿真结果两个方面对整个工具的可用性进行验证评估,验证了本文所提工具的有效性。

关键词： 软件测试   静态测试   软件缺陷   缺陷模式  

摘要： 基于代码缺陷模式的软件测试技术具有定位准确、检测效率高、自动化程度高等特点,逐渐受到人们的关注。目前国际上已经出现了Klocwork、 Logiscope、FindBugs等一批优秀的缺陷检测工具,而DTS作为一款国内自主研发的基于代码缺陷模式的静态检测工具,与国外商业开发并广泛应用的静态测试工具相比,还存在改进的余地。本文从不同角度对DTS进行了测试,并对发现的问题进行了分析。 本文分别从用户界面、处理过程、分析结果三个方面对DTS进行测试。对于用户界面,通过14组测试用例测试了7个功能模块,发现3处基本功能缺失问题和3处界面布局不规范问题。对于处理过程,对前端语法、底层架构、缺陷模式三个阶段进行测试,从44个C工程中发现关键字不识别、语法格式不支持、空指针异常、无法创建状态机等问题。对于分析结果,从误报和漏报两方面进行测试,使用DTS与K9对5个C工程进行分析对比,统计出DTS的误报率为21.2%,其中7种缺陷模式存在误报情况,相对漏报率为2.5%,其中3种缺陷模式存在漏报情况。分析表明,区间运算不准确、复杂数据结构未考虑、语义提取不足、函数摘要缺失会导致DTS分析不准确。

关键词： 人力资源管理   软件测试   办公资源  

摘要： 信息技术的发展,引发了人力资源管理的思维方式和管理模式的一系列变革,人力资源是人类社会不断向前发展的重要组成部分,而人力资源管理就成为企业不断进步和发展的必要前提。能够设计出一个满足并适合现代企业发展的人力资源管理系统,成为当前现代企业管理重要需求。中冶北方人力资源管理系统是中冶北方工程技术公司为更好地开展人力管理工作要求而开发的。通过对现有人力资源管理系统相关知识的研究,利用维护方便、复用性强、可靠性高的成熟组件技术和数据库技术开发功能模块。经过需求分析,确定系统包含的功能,完成系统纵向和横向层次的划分。使用UML视图的方法设计出系统的三层体系结构模型,根据不同视图模型,对系统中的组件进行识别和抽取,完成对系统中实体组件和过程组件的划分。再根据组件功能的描述,完成各组件接口的实现。系统实现使用C#语言,利用ASP. NET将组件对应的功能在后台实现。系统实现后对系统实现的功能和预设的性能以黑盒的方式进行了测试,各项功能指标能够满足用户需求,系统性能经过并发测试和长时间测试都十分稳定,表明人力资源输出系统各项性能指标达到了设计要求。系统的运行基本满足了用户的需求,实现了中冶北方工程技术公司的功能需求,提高了中冶北方的管理水平、提高了办公效率,为人力管理的实行增加了方便,降低了人力主管的劳动强度,减少了办公资源的消耗。还具有良好的界面设计规范,提升了中冶北方的形象。

关键词： 安全性测试   数据库系统   软件测试  

摘要： 在测试软件中,对数据库系统进行的安全性测试是其中一个不可忽视的领域。通常情况下,旧有的测试数据库系统,是对数据库功能的测试,难以将深处的安全问题发现。文中借助探究数据库系统的安全机制,和应用数据库的软件特点相结合,指出了对管理数据库系统进行安全性测试的办法,其中,将数据的健壮性、完整性、恢复备份、防范攻击性、控制访问安全性包括在内。立足工程项目的领域,对应用测试数据库安全的办法进行了具体阐述。借助测试方法行之有效的运用,验证了数据库系统是安全合理的,以使有关数据库系统的软件提升了质量。

关键词： 软件  

ISBN: (数字)9787517022817 ISBN: (纸本)9787517022817

摘要： 《现代软件测试技术与管理研究》共10章，以软件测试技术和管理为主要研究对象，介绍了软件测试的相关技术和策略，包括黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试，以及面向对象测试、软件自动化测试、国际化测试和本地化测试、测试计划、测试文档、缺陷测试、测试评估，并对软件测试管理、软件质量保证与过程改进等知识点也进行了相关阐述。 　　《现代软件测试技术与管理研究》内容丰富、取材先进、文字表述简单扼要，是一本比较适合软件测试爱好者的实用性强的学术著作类图书，对相关领域的研究人员也是一本颇为有益的参考书。

关键词： 分支覆盖率   测试技术   中国航天科技集团公司   测试工具   软件评测   嵌入式软件   北京   软件测试   代码   有限公司   航天   飞行   信息技术  

摘要： 公司简介中国航天科技集团公司北京轩宇信息技术有限公司是北京控制工程研究所下属的全资子公司,是一家集型号软件测试、测试技术研究、测试环境和工具研发以及软件工程技术研究和服务为一体的多元化信息技术机构。公司长期承担国家众多宇航/军工型号关键软件及FPGA的第三方评测任务,具有专业的评测资质、完善的第三方评测体系,高素质的人才队伍,先进的测试技术和测试工具,可为客户提供定制化的软件测试及FPGA验证解决方案。公司自主

关键词： 软件测试   测试计划   自动化测试   数理分析   数据库  

摘要： 软件测试是软件质量的重要保证,通过软件测试工作对软件质量做出判断、尽早发现问题,在程序自身与用户需求之间寻找平衡点,解放程序员,解放售后服务人员,从而推动软件工程的发展。测试过程的质量决定测试工作的成败,而软件测试计划的生成,又在整个测试过程中处于重要的环节,它要求测试管理者对整个测试需求和测试目标有非常明确的认识,通过对测试方案进行策略优化,提出一种基于测试重要度的测试设计决策分析的方案。该方法依据测试有效性原则,采用层次分析理论,通过定量和定性相结合的方法,解决软件测试过程中测试重要度比较和分析问题,完成对软件测试设计工作的重点或优先级的决策分析,优化测试设计策略,进而合理地分配测试资源,有效发现软件存在的缺陷,提高软件测试的效率。根据公司的实际情况和测试特点,利用计算机软件系统生成测试计划,实现电子化办公,使测试管理更加自动化和完善,走向规范化。基于对软件测试计划生成子系统的研究,本文阐述了测试计划生成子系统的生成原理和基本概念,介绍了测试计划生成系统的相关技术和相关理论；通过分析软件测试计划系统的生成步骤,功能和性能需求,使用框架模型对系统的数据和过程进行设计；设计出整体模块功能和不同模块功能的实现方法,并对性能和功能进行了分析和测试；实现了软件测试计划子系统。目前,本软件测试计划子系统功能已基本实现,可以稳定有效的运行,在公司能够生成符合测试部门要求的测试计划,极大提高了测试计划的生成效率。