教学课程资源库 更多>>

关键词： 产业基地   产业园   任城区   济宁   山东   联动发展   企业孵化   惠普公司   科技信息服务   演示中心   信息产业发展   智慧城市   软件测试   济宁高新区   IT  

摘要： 构建"一核多园",形成集聚发展。"一核"就是把高新区、任城区打造成全市信息产业的核心区。"多园"是在"一核"的辐射带动下,重点培育任城智慧城市和信息服务产业园、济宁经开区电子材料产业园、曲阜物联网产业园、兖州电子元器件产业园、邹城智能制造装备产业园、微山光伏产业园六大专业园区。

关键词： 软件测试   程序分析   符号执行   漏洞挖掘  

摘要： 现代化社会，计算机与日常工作生活密不可分。然而伴随着社会的快速发展，计算机的安全问题日趋严重，一个威胁计算机安全的重要因素就是软件中存在漏洞。 COTS即Commercial-Off-the-Shelf，COTS软件则是指通过采购得到的具有开放式标准定义的接口的软件产品。这类产品一般具有软件功能结构复杂、不开放源代码、与操作系统关联紧密等特点。 本文首先研究了现有的漏洞挖掘技术或工具在面向COTS软件时存在的若干问题，例如路径爆炸、约束困顿、复杂环境交互、漏洞建模等。在对这些问题的研究基础上，本文提出了一种基于全系统的动态符号执行技术方案，并且根据此方案实现了一套面向COTS软件的智能漏洞挖掘系统COTSFuzzer。 COTSFuzzer的创新点可以总结为以下四点：1）把全系统的动态符号执行技术应用于软件漏洞挖掘领域；2）引入包括二进制指数路径修剪算法在内的多种性能优化策略，有效抑制了符号执行导致的路径爆炸问题；3）实现了细粒度的用户态异常监控机制，完成了Windows用户态COTS软件的异常监控和崩溃文件生成工作；4）针对Windows软件漏洞挖掘做优化，使其适用于针对ActiveX控件、驱动程序、文件处理型COTS软件的漏洞挖掘任务。 实验表明，COTSFuzzer可以有效应用于Windows平台下COTS软件的漏洞挖掘任务。相较于传统的软件测试，该系统可以有效提高目标软件的测试覆盖率，继而挖掘出软件潜在漏洞。

关键词： 软件测试   Petri网   程序正确性   PPPA理论  

摘要： 随着计算机技术的不断发展，软件系统在人们生活中变得不可或缺，为了满足人们需求的功能，软件系统对功能的开发越来越多，系统也变得非常庞大。但是软件系统在开发之后总是存在各种各样的缺陷和漏洞，造成系统在使用的过程中产生各种故障和错误，最终带给用户非常巨大的损失。为保证软件系统的质量，软件功能的逻辑性错误和程序的不确定性成为了软件测试的重点。　　Petri网是一种形式化的语言，基于Petri网的模型不仅直观，而且很容易被开发人员理解。Petri网衍生出来的一些组合简化特性可以正确的将一个大型软件系统中的各种功能函数进行简化，这样可以让复杂的函数代码逻辑变的易于测试，从而减轻测试的复杂性。因此，基于Petri网的软件程序测试可以使得用户轻易的参与到测试过程中。　　本文的主要研究内容和创新成果如下：　　首先，本文针对软件程序测试问题提出了基于Petri网的解决方案，能够在软件系统源代码测试的过程中找出更多的漏洞和缺陷，使得软件系统更加安全可靠。传统的软件测试工具大多是采用静态的分析方法找出程序中存在的并发，死锁问题，但是这些工具分析的过程不直接执行代码，而且误报率较高。本课题提出的基于Petri网的软件程序测试方案，可以动态的分析，更容易的判断出程序中存在的并发，死锁等问题，为软件程序测试提出了一个新的方法。　　鉴于直接对程序功能函数进行Petri网建模，非常的繁琐且易于出错。本文设计并开发出了一个解析工具，该工具可以将目标系统中的功能函数自动转换成一种容易理解的逻辑结果，然后再将生成的结果转换成相应的Petri网模型。从而完成对软件测试程序的Petri网建模。本文采用CPN Tools对Petri网模型进行分析，得出这些功能函数的分析报告，通过分析报告中的有界性，活性，公平性可以准确判断这些功能函数的正确性。　　本文通过研究PPPA(Property-preserving Petri Net Process Algebra)理论，提出了对程序代码的Petri网模型的组合简化规则。本课题利用组合简化规则把软件系统中的功能函数进行组合和简化，不仅可以保证用基于Petri网的程序测试的方法是正确的，而且可以完成整个软件系统的程序代码部分的测试。对大型软件系统测试提供了可行性保障和方案。　　本文利用论文中开发的工具和基于Petri网的软件程序测试方案，对两个具体的实例进行了全面的分析和模拟仿真，并找出了问题所在。最终论证了基于Petri网程序测试的可行性和实用性。　　总之，传统的软件程序测试方法在实际的应用中仍然存在许多问题，还需要继续改进。本文提出的基于Petri网的软件程序测试方案，有一定的创新性，可以更好的对程序进行测试。

ISBN: (纸本)9787302370314

关键词： 维修管理信息系统   软件测试  

摘要： 本文主要针对汽车维修管理信息系统的辅助性测试做了简要的分析。在篇首对软件测试的含义以及相关的测试方式做了简要的介绍。如果软件设计完毕，随后要对系统模块进行逐一测试，以此验证是否与我们的预计一致、最后对整体体制做测试，保证各个环节的衔接没有问题。本文对测验的部分步骤予以描述。

关键词： 用户数据采集   宽带码分多址网络   高速下行分组接入   软件测试   系统测试  

摘要： 本文主要从设计测试方案的角度出发,来研究如何对WCDMA网络中某用户数据采集和压缩系统的功能进行评估。无线网络带宽的提升使得很多曾植根于传统以太网的业务应用在无线通信网络中大行其道,如语音聊天、云存储、网络游戏、多媒体视频点播等。这些各式各样应用无一例外地依托于包交换来实现。“新”业务的出现更加催生了大家对无线通信服务质量(QoS),突发性处理以及更高传输速率的要求。尽管通过扩容的方式来提升用户体验是一种不错的解决方案,但是扩容对运营商来说就意味着大量基础设施建设以及资本的投入。为了可以在不增设传输线路的前提下提升用户体验,参照以太网的经验,数据压缩和深度包检测技术是不错的选择,而这两者的前提都是数据采集。本文首先介绍了WCDMA网络中某用户数据采集与压缩系统的集成平台,系统架构以及其在网络中的运行拓扑。为了对系统进行功能验证,本文提到在研发初期实验室中使用某商用软件编写的无线会话虚拟流程对系统测试。在此场景下,一旦会话被建立,虚拟用户终端发送的ftp包就被系统所解析和压缩,压缩率甚至达到百分之六七十。可是在真实网络的实际演示过程中,压缩率却达不到百分之五。究其原因为之前对系统的评估手段不够准确。考虑到可能是由于系统无法正确处理真实网络中的某些特定会话流程或实时网络中出现的突发状况导致的问题,本文参照以太网中的测试手段,设计了一套wcdma无线网络适用的真实数据测试方案。在阐述了如何在实际运营商网络中采集用以测试的网络实时数据(即pcap包)后,文章提出了基于此的实验室拓扑模拟,并通过协议消息段分析大致概括了wcdma网络和td-cdma网络在进行用户数据采集上的不同,最终结合被测用户数据采集与压缩系统的系统结构,提出利用pcap包在实验室环境的重放,从数据平面和控制平面两方面来对系统进行评估。数据平面的测试侧重于验证系统的宏观表现情况。本文在选取常规样本点统计吞吐率,压缩率及监测到的高速下行链路通信数量的同时,更结合各层协议从审视会话流程的角度向系统开发人员提出了测试样本点方案。该方案能够对具体一些消息处理的成功与否做出判断。依托数据平面的测试,项目管理和开发人员可以通过对比从这些关键信息样本点上获取对某版本系统性能好坏的直观评价。控制平面的测试侧重于验证系统对每一个会话乃至消息的处理情况,这是一个处理海量信息的过程。因此在分析3g协议并提炼出系统所关心的高速下行分组接入会话的流程各阶段关键信息后,本文据此对照系统对pcap包的控制平面日志输出,总结出日志记录的规律,并通过编写自动化脚本将这些关键样本点对应的信息录入至数据库中。另一方面,网络测试辅助工具将同样的pcap包解析成了可读的文本文件,通过脚本抽象成与日志数据库对应的样本空间。至此,本文进一步地论述了如何从这些公共的样本点中提取出可以作为对比的索引信息,最终将繁琐的大数据量对比简化为数据库查询对比工作实现了控制平面的测试。本文的最后列举了一个实际的测试案例,展示了依据本文的测试方案如何以高速下行分组接入端口号的丢失为切入点,系统日志的端口删除原因为辅助,反向推导出系统日志信息与PCAP包实际内容在会话流程上的冲突,并最终定位系统漏洞,使得研发能够由此修复问题,为系统的完善提供了支持。

关键词： 企业管理系统   销售业务   模块设计   软件测试  

摘要： 随着现代化管理和信息化集成在企业发展中扮演越来越重要的角色，ERP系统成为了将计算机、通信技术和信息管理技术相结合的典型应用。依托扁平化的信息平台，ERP帮助企业在生产、销售等诸多方面实现效率的提升和成本的压缩，合理科学的完成组织管理任务。　　本文通过对JT公司的销售管理目标和思想进行调研，设计出了一整套适合JT公司销售管理的企业业务流程，并根据企业的业务流程设计使用德国SAP套装ERP产品进行定制式系统配置，将企业的销售管理业务流程集成在SAP ERP系统中。本文使用了软件设计的思路和方法，重点论述了需求整理分析、系统配置及实施和测试的SAP套装软件系统实施上线的思路和方法。通过对企业销售管理业务流程的梳理确定了软件实施所要达到的目标，对销售管理业务流程逐步分解细化到每个可以具体执行的业务流程。对现有的系统功能，进行有针对性的调整和修改，从而更好的完成目标企业的定制化部署，同时实现对内强化相关部门之前的信息交流和沟通，对外展现了全面完善的销售秩序和具备前瞻性的销售策略。　　通过对具体业务流程的分析和设计根据SAP ERP系统实施的特点进行系统的配置和实施。根据虚拟的业务场景，对SAP ERP中的结构定义部分，主数据部分，基本功能部分和销售流程部分进行了具体系统配置。最后，以部署目标为测试依据，通过仿真系统运行环境进行系统业务流程的测试和分析。系统以企业的愿景和定位为出发点，在完成了基本的市场调研和行业学习之后，实现了SAP ERP系统的定制化部署，建立了以客户为中心的信息化平台，集成了产品制造和质量管理等信息，优化了产销衔接，提高了对客户需求的响应速度，充分满足客户需求。同时适应了新型营销体系要求，建立了高效、有序的内部管控，同时达到了信息传递快速、准确、集成。满足了销售服务全程、优质、增值的管理要求，建立了具备客户互动、销售增强的信息平台为快速提升JT板材竞争力提供了有力的支撑。

关键词： 软件测试   Bug管理系统   Web   测试需求   测试任务   测试用例  

摘要： 软件公司对于软件测试这一职业越来越重视,然而这一职位的主要目的便是发现软件中存在的Bug,发现Bug后如何有效处理从而降低软件风险也成为了这一职业的重要目标。一个好的软件公司,必定需要有一套规范完整的测试流程,其中也包括了对于每个Bug的管理流程。测试人员发现的Bug都是需要通过测试,发现Bug,提交Bug,在开发人员修复Bug后再进行确认测试,回归测试等一系列流程来确保被发现的Bug不但被正确修复,并且不会带来新的Bug。这一系列繁琐的工作仅靠人脑是无法记住的,靠文档又过于繁琐,所以软件测试Bug管理系统就变得必不可少了。这类工具会将每个Bug单独列为一条记录,以便测试,开发,管理人员的跟踪和查询。所以一般的软件测试Bug管理系统所针对的用户群体可分为三类人员,测试人员,开发人员以及管理人员。其功能一般针对不同的用户群体会有所不同。本文针对软件测试进行研究,设计一个基于Web的软件测试Bug管理系统。本系统提供跟Bug管理有关的一系列功能模块:用户管理模块,测试需求管理模块,测试任务管理模块,测试用例管理模块,Bug管理模块。帮助测试人员提供更为方便的工作环境,日常工作中需要用到的文本文件都归纳到本系统中,测试需求,测试任务,测试用例都可直接查看到,不再需要去指定路径找寻这些文件。主要功能为Bug管理模块,其基本功能:增加Bug,修改Bug,删除Bug,搜索Bug等。并且会对所有Bug有状态的区分,等级,不同用户人员的划分等非常完整的功能实现。为用户提供更方便,更合理的Bug管理系统。软件测试Bug管理系统每个软件公司都需要使用,而对于小型的软件公司则需要一个价格低廉,功能齐全的管理系统,是本系统希望实现的目标。

关键词： 办公自动化   软件测试   UML模型测试   活动图   状态图   测试用例设计  

摘要： 办公自动化起步于上世纪80年代,经过了近30年的发展,办公自动化系统日益成熟,功能逐渐扩展,现在已成为政府机关和企事业单位日常工作中不可或缺的重要辅助工具。伴随着办公自动化系统在用户工作中的重要性不断提升,用户对于办公自动化系统的软件质量要求也在不断提升。本文在实践的基础上,分析了办公自动化在实际应用中经常出现文件流转不通顺、表单保存显示异常等质量问题的原因,阐述了软件测试工作在办公自动化系统实施过程中对于提升软件系统质量所起到的重要作用。本文简单介绍了软件质量和软件测试,对于软件测试的方法和过程进行了分析,介绍了基于UML模型的软件测试技术。本文选择了统计局系统正在使用的统计局智能办公系统作为典型案例,分析了系统需求和功能实现；根据自动工作流平台和智能表单平台的特点,使用活动图模型和状态图模型来描述公文的流程和表单,基于模型设计了测试用例模板,再依据测试用例模板和系统实际的业务需求生成具体的软件测试用例,用于系统测试的执行。这套创新实用的办公自动化系统的测试用例生成方法在办公自动化系统的测试用例设计工作上取得了进步,为提高办公自动化系统的质量提供了实用有效的方法。本文通过对软件测试技术和软件测试用例生成方法的分析和研究,将不同的测试技术和方法,特别是基于模型测试的技术,运用到办公自动化系统的软件测试用例设计上。针对使用工作流引擎和表单配置模板的办公自动化系统,从其工作流引擎和表单配置模板如何实现不同工作流程的工作原理着手,结合具体的业务流程,设计了可以适合不同业务流程的软件测试用例模板。在以后的办公自动化系统进行软件测试工作时,直接利用这套软件测试用例模板根据实际业务生成软件测试用例,可以大量减少软件测试用例设计的工作量。本文的贡献有以下几点：首先,分析了被测办公自动化系统的功能,针对其模板化的特点,选择了通过设计测试用例模板来生成测试用例的测试策略来进行测试,为基于模型的软件测试技术应用于办公自动化系统的理论研究提供了实践依据。其次,将基于模型测试技术与传统测试技术相结合,应用于办公自动化系统的测试工作中。实践表明,有了测试技术作为理论依据的测试,能够更好的发挥保证软件系统质量的作用。第三,通过使用设计测试用例模板的方法,使得测试用例生成工作的技术要求降低,让更多的初级测试人员参与到测试用例设计生产工作中,不但解放了高级测试人员,也能够加快进度,缩短周期,节约人力成本。

关键词： 软件   测试   方案   制定   实施  

摘要： 随着信息化时代的发展,软件已成为各个行业、部门必不可少的一项运用工具之一,软件在开发和运用之间还应经过测试阶段,以确保软件没有较大漏洞,确保其安全可行,能够发挥其功能,为某一个领域的工作开展提供便利条件。