教学课程资源库 更多>>

关键词： 面向对象   软件开发   测试技术  

摘要： 在软件开发的过程中,测试阶段是保证其质量的重要环节,尤其是面向对象软件的开发。随着理念的更新,相关技术的发展,面向对象软件测试技术经历着不断的变革和发展。在理论基础下,结合实际,探究了面向对象技术特点对于测试的影响,分析了测试方法与层次结构,提出了面向对象软件的测试注意点,希望研究工作为相关技术的发展与应用提供帮助。

关键词： 安全属性验证   Web应用建模   UML2.3   形式化方法  

摘要： 随着软件工程的规模不断扩大,软件的复杂性不断增加,软件系统更容易出现错误和纰漏。此外,在整个软件生命周期中,修复系统漏洞的时间越滞后,其成本就越高昂。因此,在软件系统早期设计和建模阶段就以软件开发方法与形式化方法相结合的方式进行漏洞分析和缺陷检测、确保系统的可靠性,对提升软件质量具有重要的意义。本文通过对UML2.3进行扩展建模,将UML方法和形式化方法的优势相结合,并针对系统特点提出了轻量形式化框架。首先,本文通过需求分析,对系统功能进行拆解,之后根据功能的不同,通过扩展的UML2.3类图、时序图和状态图对系统进行建模。根据相应的映射规则和转换算法,将UML导出的XMI格式文件进行自动的形式化转换,并在最后通过ProVerif形式化分析系统,对系统的安全性和不可连接性进行验证,输出验证结果,并针对漏洞给出反例,从而帮助开发者快速找到系统漏洞。根据系统形式化框架的流程,本文实现了基于扩展UML2.3的形式化验证工具,将系统模型的自动转换为形式化模型,并进行属性验证。针对会议管理系统ConfiChair进行了建模,并验证其数据私密性,可达性和不可连接性等安全特性,针对系统漏洞进行分析,给出了相应的攻击路径。从而证明了本文提出方法的有效性。

关键词： 信息系统   需求分析   数据库建模   UML建模   面向对象技术   驾驶证管理系统  

摘要： 建立高效的驾驶证管理系统来应用于驾驶证的考试发放、管理工作,可以提高管理效率,实现驾驶员信息数字化、考核情况电子信息化。从而提高行政便民能力,实现高效行政。论文首先介绍了广东省江门市交警支队车管所机动车驾驶证管理系统的研究背景,对工作人员用手工处理驾驶证管理的各项业务需求和所产生的问题进行了分析,讨论了驾驶证的管理系统的研究意义与重要性,指出建立驾驶证管理系统可提高驾驶证各项业务处理的效率,实现驾驶证相关数据信息电子化。在系统的业务分析中,论文对系统需求的实现、数据结构、业务流程等进行了分析。在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,包括管理基本信息、用户和管理员等子包图;在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构;论文最后对所做的研究与分析工作进行了总结,并对下一步的工作进行了展望。

关键词： 商业WiFi   云平台   热点   Portal服务器   UML建模  

摘要： 近些年来,随着无线通信技术的蓬勃发展以及诸如智能手机、平板等各种智能终端设备的迅速普及,用户已不再满足于使用3G/4G网络进行上网,而对于无线WiFi网络的使用与日俱增,Wi Fi不仅满足了用户接入网络的需求而且还扩展出更多新的应用。又因为无线WiFi能够随时、随地、随意的访问宽带网络的特点,转而又极大地促进了通信技术和基于WiFi的设备的发展和普及。因而在WiFi背后存在着巨大的商机,使得无线WiFi开始向商业WiFi转型。本论文就是在这种技术不断进步、各种智能产品日益普及以及用户的需求越来越大的发展背景之下,以商业WiFi业务的管理和使用为研究对象,设计和实现一款面向商业无线网络应用场合的智能型云端软件管理平台。本论文主要解决的是在Wi Fi云平台中涉及Portal服务器相关的问题工作,这些工作主要包括对AC设备的管理、Portal模板的配置、用户认证方式的选择、热点的管理、热点的配置、PC端和手机端页面模板的设置,以及对用户认证日志信息的管理和上网用户的管理,还有对不同时间段上网用户数量的统计和所使用设备信息的统计。商业WiFi云端业务管理平台是采用SSM(Spring,Spring MVC和MyBatis)框架搭建的,并结合MySQL数据库管理系统来共同设计和实现的。首先、在进行需求分析时,第一步、论文对WiFi云平台Portal服务器的业务需求分条目进行详尽的分析和梳理;第二步、对系统功能性需求和非功能性需求进行分析;第三步、利用UML用例图和E-R图来直观的定义和表达上述需求。其次、在WiFi云平台Portal服务器的设计和实现上,第一步、从设计原则、整体架构、功能结构、网络结构和数据库几方面进行总体设计;第二步、对于需要实现的功能按照模块化设计的思想来划分模块,并按照模块进行功能实现。在功能的实现上通过文字描述的方法结合流程图、类图、算法描述和序列图的方式来详细阐述。最后、是对WiFi云平台Portal服务器进行功能和性能测试,在功能测试方面,根据设计的测试用例,进行逐项测试,并给出测试的截图和结果,最终完成了所要求的功能;在性能测试方面,编写测试脚本,部署测试环境,对WiFi云平台Portal服务器的承受能力进行测试,测试结果达到预期目标。论文最后,对完成的设计和实现工作进行了总结,并对Portal服务器做出客观的评价,指出了其中存在的不足之处以及还可以继续改进的地方,然后给出相应的建议,并展望了下一步的工作计划。

关键词： 国税局   办公   信息系统   需求分析   UML建模  

摘要： 按照“创新发展”的工作思路,在对国税机关办公工作现状进入深入研究、科学剖析的基础上,把现代管理理念、管理方法引入到税收工作实践中来,研究了保山市隆阳区国税局办公信息系统。重点围绕办事,突出“好用、管用、实用”目的,在实际工作中,首先要关注的是工作质量管控,然后要关注的是过程的管控,在工作中动员全员,最终达到对上级部门的指示进行上承下达,并提高纳税人满意度的效果,逐步建立比较完善的办公管理体系,推动实现税收工作制度化、标准化、科学化。本篇文章以隆阳区国税局为背景,以其办公信息系统的研究作为对象,从该系统目前使用的状况进行了分析,同时对于这篇文章主要研究的内容进行了明确;然后针对优化前的隆阳区国税局的办公业务的具体流程分析后,进行了流程再造与优化,采用泳道图的形式形成新的改造后的流程,一方面改进了现有的办公效率,一方面也减少了错误几率的发生。论文主要涉及日常办公管理的功能、痕迹管理的功能、台账管理的功能、绩效管理的功能,并且对基础数据的管理和系统管理进行了研究和分析等。全文针对上述功能,采用UML语言中的用例图进行分析,并对隆阳区国税局办公信息系统的各个模块进行了包图的设计。所以的研究和分析完成后,对上述功能需要的数据进行了处理,形成了关键的实体类关系图,并且在这个基础上也设计了相应的表的结构。最后,对本篇文章的研究和分析的工作进行总结,对隆阳区国税局办公在未来的需求及应用场景进行了展望。

关键词： 银行卡中心   客户关系管理系统   UML建模   B/S结构   J2EE架构  

摘要： 随着我国经济不断地发展，与国外的贸易越来越多，我国的企业面临着机遇也面临着的挑战。尤其是中国的金融单位，与国外相比，还是存在着一定的差距，这个差距主要体现在对客户的服务方面。经过一段时间的观察和分析，中国的金融单位已经发现了，留住客户才是企业发展的根本。以前中国是计划经济，许多工作都是按照国家计划来进行的。现在是市场为主的市场经济模式，早期从事金融业务的都是国有企业。但随着市场经济的到来，各种形式的金融机构纷纷成立，所以金融行业的竞争越来越激烈。　　本文以牡丹卡金融中心作为研究对象，为了优化牡丹卡中心的客户关系管理方式，设计并实现了牡丹卡客户关系管理系统。牡丹卡客户关系管理系统的开发采用的是目前较为流行的计算机技术，系统的分析与设计将使用UML建模，系统整体采用B/S结构，并利用J2EE架构加以实现。　　首先，本文分析了牡丹卡客户关系管理系统的应具备的五项业务功能需求：系统数据管理、客户信息管理、信用信息管理、业务信息管理和数据统计管理。其次，系统的功能模块将根据每一项系统功能需求进行设计，并根据系统的模块设计完成了具体的代码实现。最后，本文通过一系列的功能测试对系统的正确性予以验证。此外，本文根据系统的功能模块设计以及业务流程，对牡丹卡客户信用评价策略进行了分析以及设计。　　本文以软件开发过程的角度详细阐述了牡丹卡客户关系管理系统的设计与实现，为企业客户关系管理的软件系统实现给出了借鉴。

关键词： 软件工程   课程体系   计算机教育  

摘要： 随着我国经济技术的快速发展,我国计算机科技技术已经有着很大的进步。现在网络的使用非常普遍,随着计算机林领域的快速发展,各行各业的其他领域的进步发展也都参与其中。随着多年的发展计算机科学已经不能满足对整个学科的概括,所以将计算机科学细分为计算机科学技术、计算机工程、软件工程以及信息系统这四个学科。而上面提到的计算机学科则是一个学科群的总称,不能代表其中任意一个学科。本文根据我们国家各类学校以及培训机构的软件工程专业的整体课程安排进行了分析,并且根据本专业课程的整体发展方向提出了可行性建议。

关键词： RBC系统   形式化方法   时间自动机   UPPAAL  

摘要： CTCS-3级列控系统是铁路信号领域的主要技术设备,它担负着指挥列车运行,保证行车安全和提高运输效率的重要任务。无线闭塞中心(Raid Block Center, RBC)系统是CTCS-3级列控系统地面设备中的核心设备,它是实现安全、高效控车的关键。由于RBC系统作为安全苛求系统(safety critical system),不仅功能复杂,而且实时性要求极高,因此对RBC系统设计的正确性和可靠性提出了更高的要求。然而传统的系统设计方法存在不能及时发现软件错误和隐患的缺陷,本文探索采用基于时间自动机理论的形式化方法对RBC系统的软件进行安全性设计和验证,以期提高RBC系统设计开发的安全、可靠和正确性。对RBC系统的形式化建模与验证的实质就是寻求一个同被研究原型有极密切映象关系的时间自动机模型研究系统。本文在分析既有RBC形式化建模技术及其优缺点的基础上,研究和探索了根据系统规范对RBC系统基于时间自动机理论进行形式化建模和验证。由于RBC系统是一个大型的、功能复杂的实时系统,为了更加直观清晰地描述系统,以CTCS-3级列控系统标准规范为依据,以RBC系统的主要控车运营场景作为切入点,分析各个场景中RBC系统的控车流程,建立了主要功能场景的时间自动机模型,并通过通道和全局变量组建成时间自动机网络模型。然后在UPPAAL工具中对所建模型进行模拟仿真,提取系统的关键功能点,并将其转化为BNF语法中的语句,在UPPAAL验证器中对网络模型的正确性进行验证。利用UPPAAL验证的结果表明,所建基于时间自动机理论和基于规范的RBC系统形式化模型是可行的,也为设计正确可靠RBC系统提供了一条新的途径,具有实际工程应用指导意义。

关键词： 模型检测   错误定位   最弱前置条件   可满足性求解   支持向量机  

摘要： 信息技术的飞速发展使得计算机软硬件系统的应用领域不断扩大,其规模和复杂程度也日益提升,软硬件系统的正确性和可靠性问题日益严峻,同时带来了许多不可估量的风险。要保证软硬件系统的正确性和可靠性,需要通过大量的测试和调试工作,然而软硬件的测试和调试是一项成本昂贵且需要许多人工参与的工作。因此提出高效地自动地针对大规模软硬件系统的错误定位方法具有重要的理论和应用意义。形式化的方法能够在早期发现系统的不一致、歧义和错误等问题,是一种有效的提高软硬件系统正确性和可靠性的方法。模型检测是一种比较常见的系统形式化验证方法。当利用模型检测方法对软硬件系统进行验证时,如果系统模型不满足待验证性质,模型检测器会给出一个反例,表明系统模型存在缺陷或者错误。然而模型检测器只给出了存在错误的现象,并没有指出错误的原因。错误可能存在于性质中,也可能来源于建模过程,再或者是软硬件系统自身的缺陷。同时随着系统规模的日益增大,反例变得越来越长也越来越复杂。因此研究基于模型检测的错误定位具有重要意义。然而模型检测主要用于并发系统的验证,对于顺序变换程序,往往需要基于证明的方法才能够对其进行验证,因此需要基于定理证明的程序错误定位方法。基于此本文开展了以下几个方面的工作。1)针对有界模型检测验证过程中的可满足性问题的求解,提出了利用支持向量机求解可满足性问题的方法。该方法充分利用支持向量机在解决小样本、非线性问题上的优势,针对可满足性问题变量取值的特点,将可满足性问题的求解看作一个二分类问题。首先依据每个可满足性问题的特征搜集训练样本,依照支持向量机的训练算法得出分类器。再对可满足性问题中的变量进行二分类,最终将变量的分类结果用于不完全算法中的初始化赋值,减少求解过程中变量取值的翻转次数;也可以将分类结果用于完全算法中的变量决策过程,降低搜索树的复杂度。2)基于通过对比证反例获取错误位置的方法,针对采用模型检测器验证软硬件系统的特点,利用模型检测器在验证失败时给出的反例,提出了一种基于可满足性求解和反例引导的最近证例求解方法。该方法在有界模型检测器给出反例之后,将待验证系统模型和待验证性质编码成一个证例满足,但反例不满足的SAT实例。将这一可满足实例转换成合取范式的形式,利用类似完全算法DPLL的可满足性问题求解方法和反例中的变量取值信息引导生成的SAT问题的求解过程,最终生成一组该SAT问题的可满足解,也就是证例。为了保证证反例最近,迭代的执行证例求解,最终按照与反例的距离选取最合适的证例与反例进行比较,得到最可能的错误位置。3)针对基于反例引导的错误定位方法对模型检测工具依赖性大和模型检测器生成的SAT实例规模庞大的问题,提出了一种不依赖于具体问题的具有普适性和天然并发性的基于改进遗传算法的反例理解方法。根据模型检测验证方法的模型特点设计规模较小的初始化种群;依据证例需要满足的两个条件,构建多个适应度函数,最大程度的遗传父本的优秀基因;定向性的变异操作,既保证种群的多样性,又避免无效个体的产生,加快算法的收敛速度和提高算法的效率。实验表明基于改进遗传算法的反例理解方法通过引入启发式信息,缩减了系统搜索的状态空间,收敛速度较快,适用性更强应用范围更广。4)针对模型检测技术不能验证顺序变换程序,并且生成的反例规模庞大的问题,利用基于证明的方法,提出了一种基于最弱前置条件的快速错误定位算法。该方法从程序需要满足的断言开始,通过程序语句最弱前置条件的推导规则计算出整个程序需要满足的最弱前置条件,然后为其构造出错误分析图;之后在错误分析图上执行两次简单的标记过程,找到两次标记的冲突节点作为疑点语句,从而完成错误定位。实验表明,相对于其它方法,基于最弱前置条件的错误定位方法能够有效的提高程序错误定位的精度,能够大大减少调试人员的工作量。

ISBN: (纸本)9787302456193