教学课程资源库 更多>>

关键词： 信息安全   可信计算   可信软件   软件测试  

摘要： 随着计算机的广泛应用尤其是网络应用的不断普及,信息安全问题一直以来都是科研人员和广大用户所关注的核心问题。计算机病毒、恶意代码、黑客攻击等层出不穷,信息窃取与身份假冒等现象不断发生。研究和实践表明：这些安全事故的根本原因之一是PC平台软、硬件结构的简化。为了减少计算机和网络上的不安全因素,达到从根本上提高其可靠性,必须从芯片、硬件结构和操作系统等方面采取综合措施。由此产生了可信计算的基本思想,其目的是在计算和通信系统中广泛使用基于硬件安全模块支撑下的可信计算平台,以提高整体的安全性。可信计算现在已经成为了计算机安全领域的主要发展趋势之一。我国的可信计算技术与产业正处于蓬勃发展的阶段,随着可信计算产品的逐渐成熟,可信计算平台的应用将会越来越广泛。采用可信计算平台能够极大地增强信息系统的安全性,这样就需要对可信计算系列产品中的高可信软件进行测评,从而提高信息系统的安全。 软件质量问题一直是工业界和学术界共同关注的问题,软件测试是软件质量保障中的一项关键技术,其目的是为了尽可能的发现并纠正软件中的错误。本文主要从可信软件分析、测试用例约简生成、非功能属性的分析与评估等方面对可信软件进行分析与测试。 本文第一个方面是可信软件分析。针对可信软件的高等级安全需求,在安全性测试过程中所遇到的常见问题,提出改进的指向分析方法,该方法基于改进的静态单赋值方法,能够有效地提高指针变量在解引用过程中的指向精度,减少指向集合的大小,为路径选择和测试用例生成提供依据。在程序的路径选择方面,提出一种改进的数据流分析方法,通过引入变量的定义-使用函数,提高变量在分支路径中取值的精度,可以有针对性地设计测试用例,减少后期维护的难度。 本文第二个方面是可信软件测试用例约简生成。主要针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。仿真实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。 本文第三个方面是可信软件的非功能属性分析和检验。可信软件具有非功能属性非常多,它们往往是对功能属性的一种约束,从可信软件可靠性的角度提出一种可测性和可靠性之间关系的形式化描述方法,可以帮助对非功能属性间接地进行测试。为了对非功能属性进行评估,以可靠性为研究点,提出一种可信软件模型可靠性评估方法,从较小粒度上对各个组件进行评估,进而获得整个软件系统的可靠性,同时得出可行软件的可靠性与各个组件的可靠性以及重要程度紧密相关的结论,并以实验的形式证实了该结论。

关键词： 可信计算   可信计算支撑软件   软件分析   软件测试  

摘要： 二十一世纪开启了一个全新的信息时代。随着计算机应用的普及和网络技术的飞速发展,人们享受便捷的信息化生活。同时计算机病毒、恶意代码和信息窃取也层出不穷,这给信息安全带来了极大的挑战。信息安全问题的根本原因是终端平台的安全性得不到保障。要解决终端的安全问题,必须从计算机硬件和软件多方面采取安全措施。当前可信计算成为了计算机安全领域内发展热点之一,可信计算平台得到日益广泛的使用,这将极大地增强信息系统的安全性。同时,必须对可信计算平台进行测评,否则就不能保证可信计算产品的质量,也就不能确保信息系统的安全。 可信计算支撑软件在可信计算平台中为应用程序提供访问可信平台模块(Trusted Platform Module,TPM)的接口,是可信计算平台体系中必不可少的组成部分。对可信计算支撑软件开展分析与测试工作是可信平台测评工作中重要的组成部分,本文着重研究了如何确定可信计算支撑软件的安全功能需求,并分析与安全功能需求相关安全功能函数间的调用关系是否符合可信计算规范,通过完整路径遍历的测试方法对可信计算支撑软件进行功能一致性测试,最后提出一种新的可信计算支撑软件的实现方案。本文的研究大致分为以下四个方面： 本文第一部分的工作是关于可信计算支撑软件安全功能需求的研究。对可信计算支撑软件进行分析和测试,需要有一个参照的标准,现有的可信计算规范更多的是定义了功能接口,对可信计算支撑软件要达到的安全需求没有明确描述。针对此问题,本文借鉴通用准则的思想,分析了可信计算支撑软件的安全功能需求,并对安全功能进行了划分,为后续的分析与测试提供依据。 第二部分的工作是对可信计算支撑软件的静态分析。基于模型检测理论提出了一种可信计算支撑软件的分析方法,使用计算树逻辑对可信计算支撑软件的函数调用进行抽象描述。通过模型检测方法验证可信计算支撑软件函数的接口调用是否符合规范,从而确定平台中可信计算支撑软件在接口调用层面的正确性。分析结果表明,部分可信计算支撑软件的接口调用不完全符合TCG(Trusted Computing Group)的规范要求。 第三部分的工作是对可信计算支撑软件的功能一致性测试工作。提出了面向路径测试的完整路径遍历算法,利用递归的方法从源节点到汇节点进行遍历,直到遍历生成程序的所有完整路径。通过运用反射机制实现测试用例的动态执行。实验结果表明：部分可信计算支撑软件的功能函数并不能完全符合可信规范的要求,并且若干功能函数中存在一些安全漏洞。 第四部分工作是,在分析现有的可信计算规范基础上,并根据安全功能划分,结合实际应用需求抽取基本安全功能集,提出一种可信计算支撑软件的设计方案,并实现可信计算支撑软件的子集原型,该软件可以为最新的TPM2.0提供相关的调用支持,能够对我国的国密算法SM4提供调用支持。

关键词： 软件测试   指挥信息系统   软件生命周期模型   测试模型  

摘要： 通过对经典测试模型的研究，分析了指挥信息系统软件开发生命周期模型，给出了瀑布、原型、构件和增量迭代4种开发模型的测试模型及其应用说明，阐述了不同测试级别、不同测试活动与软件开发之间的关系，对软件开发过程开展测试活动、尽早发现和解决软件缺陷、降低软件开发风险与代价以及保证软件质量具有指导作用。

关键词： 无线传感器网络   软件测试   上位机   测试用例   测试工具  

摘要： 伴随着传感器、计算机、无线通信等技术的发展与融合而产生的无线传感器网络由于具有功耗低、成本低、自组织等特点已经被广泛用于人类生活的方方面面。无线传感器网络上位机软件承载着对采集数据的获取、解析、存储和显示等任务，其功能和性能的好坏对整个无线传感器网络取到重要的作用。因此，无线传感器网络上位机软件测试具有重要的理论和应用价值。 软件测试是保证软件质量的重要方法和手段。本文首先对软件测试方法和一些测试工具进行简单的介绍，为上位机软件测试提供理论指导。其次，通过软件测试方法和测试工具对无线传感器网络的数据获取、解析、存储和显示等模块编写相应的测试用例，并进行单元测试和集成测试；编写相应的基于TCP/IP协议的客户端软件，模拟节点管理器与上位机软件进行数据交互的功能来完成系统测试的任务。最后，依据测试结果对上位机软件存在的问题进行分析和修正。修正后进行相应的回归测试，确保上位机软件错误和未实现的功能得到修改和完善，性能指标达到要求。 通过软件测试和修改之后的无线传感器网络应用层软件实现了项目要求的所有功能：通信模块能够保证数据传输过程的实时性、可靠性；数据解析、存储模块能够正确解析、存储实时数据，修改后的软件同时具备了容错处理能力；显示模块能及时、有效、清晰的显示实时数据信息；查询模块可以准确的查询和显示用户关心的历史数据；上位机应用层软件在经过长时间、大数据量数据通信后能够稳定的运行，达到上位机软件设计指标。

关键词： 项目化改革   软件测试   课程考核  

摘要： 项目化教学将学习活动、工作过程、岗位能力与学生的个性发展联系起来,可使培养出来的学生能适应企业的岗位需求。对软件测试的项目化改革正是顺应了这种潮流,课程的考核方式作为课程改革的一个重要部分,为了更好地对学生的职业知识、职业素质、职业能力进行评价,利用多元化的综合评价方式,从职业岗位的角度去综合考量学生的学习成果就显得尤为迫切。

关键词： 运营商   渠道集中系统   软件测试   测试工具   功能测试  

摘要： 随着通信产业的竞争不断加强,渠道的重要性越发的凸显出来。一个良好的渠道集中系统是运营商竞争力里十分重要的一环。而为了保证渠道集中系统的质量,在系统上线前必须对进行完善的功能测试。 针对这一情况,本文从软件测试的关键技术入手,详细介绍了软件测试的定义、分类,然后分别针对测试的不同阶段介绍了对应的测试工具,进而总结了功能测试的相关故障模型。文章核心部分介绍了渠道集中系统的总体设计方案,包括系统的定义、业务流程、建设目标、建设原则以及系统环境,还有功能测试的目的、范围以及功能点和测试流程。接着第四章注重对测试用例进行了剖析,包括总体的设计原则和系统各个模块的设计原则,然后对实际测试的用例数目进行了统计,并且实际拿出了一个标准的测试用例详细说明了测试用例的相关元素。从用例的实现再到执行最后是结果统计与分析都进行了相关论述,其中在用例的执行部分着重描写了功能测试执行时的几个工作重点和测试技巧。 最后,对全文进行了一个总结,提出了本次测试的一些不足和可以改进的地方,并对软件测试的前景做了一些分析。

关键词： 软件测试   白盒测试  

摘要： 随着社会的不断进步和计算机科学技术的飞速发展,计算机和软件在国民经济和社会生活等方面的应用越来越广泛和深入。作为计算机的灵魂,软件在其中起着举足轻重的作用。软件测试在整个软件过程中的地位也越来越重要，作为软件产品的质量保证，白盒测试作为不可或缺的测试环境也逐步的受到重视。 本论文主要是我通过对软件工程的学习，对软件测试理论知识的理解，平时工作中掌握的白盒测试理论知识和测试方法，研究、分析白盒测试在项目中的运用和未来发展，本次选择了klocwork工具作为实践工具进行软件项目开发的实际测试研究。 论文主要分为五个部分： 第一部分为绪论。主要阐述论文的研究课题背景和研究方法 第二部分主要阐述软件测试的理论知识研究，从软件测试的基本理论，软件测试的分类，软件测试的过程模型等。 第三部分主要研究白盒测试的理论知识，测试原则，实施步骤。 第四部分主要研究目前业界使用比较普遍的白盒测试工具，并进行对比研究。 第五部分主要将以上研究的白盒测试理论运用到实践，通过运用klocwork工具实践研究河南移动项目。从而将研究结果运用到实践中。 第六部分主要展望白盒测试的发展前景。

关键词： 软件测试   测试用例   遗传算法  

摘要： 本文在分析软件测试和遗传算法基本概念的基础上,提出了基于遗传算法的测试用例生成的内含,是应用遗传算法来求解一组优化的测试用例,其框架包括了测试环境构造、遗传算法及测试运行环境三部分,论文给出了基于遗传算法的测试用例生成的模型,并以三角形分类程序为例应用遗传算法进行测试用例生成的模拟,结果显示应用遗传算法进行测试用例生成可行。

关键词： 软件产品线测试   面向对象的软件测试   自动化工具支持  

摘要： 分析了基于框架的软件产品线测试方法、当前的状况以及相关的自动化测试工具，为确保软件产品线的可靠性以及促使软件生产在时间、成本和质量方面获得显著的改善提供了有力支持。

关键词： 坡度图系统   坡度计算   Arcgis9.2软件开发   软件测试  

摘要： 国土资源信息化是国土资源管理的现代化和科学化的前提，而耕地的变化又是国土资源关注的重点内容。伴随着经济的快速发展，大量的农村耕地被工厂和其他建筑物占用，耕地的面积不断变化，传统的手工测量耕地的变化已经满足不了当前国土资源的需求。通过制作坡度图软件，导入相应的参数就可以便捷的获得坡度的分级并提高坡度数据的精度。因此，开发一个具有上述功能的坡度软件具有较高的应用价值。 本文详细了介绍了坡度图制作系统的研究意义和设计过程。结合坡度图制作软件的整体需求，针对行政区坡度计算，琐碎图斑处理与综合和坡度成果统计与分析这三个方面需求进行了深入的研究，综合考虑软件设计平台和软件开发技术，设计了坡度图制作系统。 该坡度图制作系统利用了当前GIS软件开发平台，具有较好的通用性和兼容性。具有坡度计算及分级，分幅处理，县级坡度数据处理，地级坡度数据制作这四个大的功能。通过对软件进行系统测试和测试结果分析，可以得出坡度图软件能够很好代替人工进行琐碎且复杂的坡度计算，极大的提高了坡度数据的准确度和精度。坡度图软件较好的满足了国土资源管理对坡度量测计算相关方面的要求，为其以后的工作带来了很大的便利。