教学课程资源库 更多>>

关键词： 联锁软件   进路控制   形式化方法   Event-B  

摘要： 摘要：联锁系统是铁路信号系统的重要组成部分,直接关系到车站行车和作业的安全与效率。计算机联锁系统由于具有高效、智能化、易于维护的优点而成为当前联锁系统运用的主流。联锁软件是计算机联锁系统正确执行联锁运算、实现联锁功能的关键,必须具备极高的安全性和可靠性。当前的联锁软件开发主要使用传统的基于软件工程的方法,在需求定义上难以保证完备性和一致性,仿真和测试也不足以完整分析和验证软件安全性,容易形成安全隐患,同时,开发出的软件可维护性不高。 本文针对传统联锁软件开发方法存在的问题,从实际应用角度出发提出基于Event-B的形式化解决方案,选取联锁软件核心功能——进路控制进行了形式化建模和验证的探索研究,主要研究工作如下： (1)分析了当前联软件开发方法存在的缺陷和引入形式化解决方案的可能性,研究了Event-B形式化建模验证方法的理论基础和应用特点,介绍了Event-B方法相关工具,提出了基于Event-B的联锁软件形式化开发方法。 (2)分析了联锁软件进路控制具体流程,在此基础上制定了联锁进路控制Event-B模型的建立步骤和精化策略,并根据制定的步骤和精化策略,在Rodin工具平台下借助UML-B工具逐步建立了包含进路选排、信号控制、进路锁闭、自动解锁和人工解锁各进程功能需求和安全需求的进路控制Event-B模型。 (3)采用模型仿真和模型证明相结合的方法对建立的联锁进路控制Event-B模型进行了形式化验证,其中模型仿真部分采用了UML-B状态机仿真的方法,模型证明部分则借助Event-B证明义务机制和Rodin平台采用了自动证明和交互式证明相结合的方法,结果表明本文所建立的进路控制模型能覆盖系统功能需求和安全需求,模型有效性、正确性和一致性能得到完整验证。 本文的研究结果表明,基于Event-B的形式化建模验证方法能准确和有效的描述联锁进路控制的功能需求和安全需求,并且完整的分析和验证模型安全特性,能运用于联锁软件开发中以增强软件安全性并提高开发效率。

关键词： 回归测试   修改影响分析   抽象语法树   MVC设计模式  

摘要： 软件测试是软件工程的重要内容,是发现软件缺陷、提高软件可靠性的重要手段。回归测试是软件测试的重要组成部分,是软件修改以后为了确认修改的正确性而进行的测试工作,贯穿软件测试的始终。 在回归测试中“重测所有”的测试策略不管是在成本上还是在时间上都是不可行的,尤其是在修改很少部分时,“重测所有”就会造成成本浪费。因此,软件开发人员需要一种机制来理解一个特定的修改会在多大范围内影响系统,从而在回归测试中只测试那些与修改的和修改所影响的部分,以达到降低测试成本,提高测试效率的目的。 本文首先给出一种回归测试的系统框架,该框架通过对修改前后的程序进行比对,经过修改影响分析后得到一个在回归测试中需要重新测试的方法集合,将重测方法集和原始测试用例集中的测试用例进行关联,并按照测试用例的性能进行排序,从而在进行回归测试时按照这个顺序执行测试用例,以期能够尽早地发现软件中的错误。然后对以上两个问题进行了深入研究,在确定回归测试重测部分的问题中,提出一种基于方法级粒度的修改影响分析算法。该算法利用抽象语法树对修改前后的程序进行比对,找到程序修改的部分,并利用修改影响分析理论确定程序修改影响到的部分,最后得出回归测试中建议重测的方法集。其次,针对回归测试用例的优先级排序问题,本文首先将重测方法集与相应的测试用例进行关联,并将测试用例的覆盖能力和查错能力双重标准作为评价测试用例性能的指标,计算出每个测试用例的性能值并按照性能值大小对测试用例进行排序,最后得到回归测试用例的执行顺序,并按照此顺序执行回归测试。

关键词： 在线工商行政管理系统   WEB2.0   B/S结构   UML建模  

摘要： 随着计算机科学技术的不断发展，工商行政管理变得越来越方便。如何跟上时代步伐，提高工商行政管理的效率，为民众提供一个便捷、公正、透明的办公环境是目前工商局所面对的问题。 在线工商行政管理系统利用现代信息技术手段，可以实现各部门信息共享和互联互通，加强对企业准入行为、经营行为和退出市场行为的全过程监督，协助各部门维护市场经济秩序，是现代工商管理部门有效发挥工商行政管理职能的重要平台。本文以连江县工商局的在线管理系统的开发为例，详尽地描述了基于WEB2.0的在线工商行政管理系统开发过程和关键技术。 本系统为了实现在线管理功能，采用***技术及B/S体系结构。本系统主要模块包括个体户开户、监管信息录入、监管信息删除、打印个体户信息、查询个体户基本信息和系统管理。本系统经过测试与调试，实现了在线工商行政管理系统所有工作的流程化，业务的规范化，提高了当地工商行政管理的信息化水平，达到预期的开发目的。

关键词： ERP   UML建模   Visual   财务管理  

摘要： 信息化使得世界范围内的产业结构调整和升级的步伐不断加快,同时,也加速了经济全球一体化的进程。在此背景下,以ERP为代表的管理信息系统顺应目前的经济与管理形式,成为了现代企业中实现信息化管理的重要且必要的手段和工具。企业资源计划(Enterprise Resource Planning,简称ERP),它是在计算机技术和网络通信技术的基础之上发展而来的,为了适应Web环境下系统设计的需要,采用Microsoft的Visual ***集成开发环境,运用.NET编程技术开发设计ERP系统成为了首选方式。现代企业管理的主要发展趋势正向着网络化的方向行进,目前,以ERP为代表的管理信息系统在现代企业管理中对其所在的网络环境具有越来越高的要求。在此背景之下,要求企业能够借助网络环境,利用先进的数据通信技术和数据库技术,实现传统的业务管理流程,因而,为顺应发展潮流,哈尔滨锅炉阀门制造有限公司提出在企业的财务工作管理中,提高各项管理内容的信息化研制一套ERP系统,本课题负责实现其中的财务管理子系统。ERP条件下对财务管理的分析和设计是一项复杂的软件系统的开发过程,它需要适合的系统建设方法及适合的系统承载环境。本文针对哈尔滨锅炉阀门制造有限公司的实际情况,分析了其财务管理内容及其各项需求,并针对其需求中的各项实际问题,利用ERP理论和软件工程的设计方法,对于网络环境下ERP财务管理模块的开发设计方法、原理及过程进行了分析,探讨了基于利用UML和.NET技术设计在Web环境之下运行的ERP财务管理系统的各项功能,并给出了财务管理模块的设计和实现的基本方法。本文通过对ERP系统中财务管理模块功能特点的分析,在系统的开发设计过程中,采用了面向对象的设计理念,利用.NET编程技术,结合UML的层次建模思想,引入了基于领域分析的实例建模方法,从而全面实现了基于UML和.NET技术设计ERP系统财务子系统的设计。

关键词： AOSD   UML   aspect-oriented UML use cases   aspects   AspectZ   schema  

摘要： Considering predominant aspect-oriented software development (asymmetric AOSD), this paper discusses the application of aspect-oriented UML use case diagrams and formal language AspectZ to part of a classic AOSD case study, the Health-Watcher software system. In addition, this article proposes an extension of AspectZ to reach a new property for asymmetric AOSD which reacts after a schema successfully finishes, or not, showing messages for that situation, with an implicit join point;and a way for generalizing similar operations in a system using AspectZ. Thus, the main goal of this article is to show the application of and differences between asymmetric aspect-oriented formal and non-formal modeling, and to highlight potential advantages of aspect-oriented formal modeling over aspect-oriented non-formal modeling. First, this article describes the main concepts of the classic AOSD paradigm focusing on problems unsolved by previous forms of software development and resolved by AOSD. Second, by applying aspect-oriented UML use case diagrams, this paper highlights the use of dominion classes and extend-relationships. Considering the Health-Watcher case study and an asymmetric AOSD approach, this study found that using extend-relationships in UML use cases does not completely follow the basic principles of the prevailing AOSD approach in which a base element does not know about aspects, whereas an extending use case must explicitly know its extension points. Third, this article shows a formal modeling of the case study using AspectZ. Moreover, extensions of this aspect-oriented formal language are proposed and applied to the same case study to show their practical properties for modeling. These extensions allow showing success or error messages, and inserting or not a new item in a set of elements to take care of invalid situations.

关键词： 教材管理   信息系统   UML建模   服务器/客户机  

摘要： 信息化管理是现代行政、企事业单位处理单位业务的重要手段，也是时代发展的要求和趋势。在计算机网络、Internet、计算机等工具或平台的基础上，构建基于WEB的网络信息管理系统，能够极大地方便人们办理多种事务，提高办事效率。教材管理是高校教务管理活动中的一项重要业务，传统的手工操作模式已经不能适应教材管理业务活动。在此背景下，设计与实现一套适用于现代教材管理业务需求的信息化系统显得尤为重要。 福建电力职业技术学院为了更好地开展教务处信息化管理教材的业务，提高教材管理工作效率，同时最大程度地避免人工管理的错误，所以决定构建基于C/S访问模式的教材信息化管理系统。根据实际业务需求，系统主要功能有学期教学用书安排、教材订购计划、教材订购、教材管理、领书处理、系统维护等。 在系统开发过程中，主要运用到组件化技术、UML建模技术、数据库系统理论等，其中采用UML建模工具中的用例图、类图、协作图等工具完成了系统详细设计工作；使用数据库中的关系数据库理论、概念与逻辑结构设计理论指导系统数据库对象设计与优化；在上述系统分析与设计的基础上，运用DELPHI开发工具实施了系统代码的编写，在系统的开发过程中，对系统进行了系列测试，通过系统测试和实际运用结果表明：系统运行稳定，功能完善，结果基本正确，达到了项目设计目标。

关键词： 人才档案   WEB管理系统   UML建模   .NET开发平台  

摘要： 在Internet飞速发展的今天，互联网成为人们快速获取信息、发布信息以及传递信息的重要渠道。人才服务企业的业务发展逐渐呈出多样化的趋势，具有人才流动管理、人力资源开发、档案资料管理等综合性的功能，尤其在是档案管理业务处理中，很多客户希望能够方便地在线查询到个人档案及相关信息，在线办理存档、转档等业务，减少或避免亲身去人才服务中心大厅；对于人才服务服务企业来说，希望依托WEB服务平台处理管理中的多项业务，简化工作程序，降低办公成本，从而提高工作效果，提高客户满意率。 海峡人才服务有限公司为了更好地开展人才档案代理与管理业务，提高档案局的工作效率，同时最大程度地避免人工管理的错误，所以决定构建基于WEB的人才档案管理系统，用于该公司的人才档案相关业务的信息化管理。根据实际业务需求，系统主要功能有人事档案代理申请、档案管理、远程查询档案信息、档案转出、系统间的数据交互处理、短信发送等。 在系统开发过程中，主要运用到组件化技术、UML建模技术、数据库系统理论等，其中系统使用大量的应用组件，提高了系统的可维护性和扩展性，也大大缩短了系统的开发周期，采用UML建模工具中的用例图、时序图、类图等工具，有助于用户、系统开发人员之间的理解，提高了系统设计文档的可读性，为系统的实现奠定了良好的基础，利用数据库中的关系数据库理论、概念与逻辑结构设计理论指导系统数据库对象设计与优化，在上述基础上，使用.NET平台实施了系统代码的编写，并对系统进行了系列测试，结果表明：系统运行比较稳定，结果基本正确，达到项目的预期设计目标。

关键词： 执法办案   UML建模   数据库  

摘要： 在当前全球信息时代的大背景下,大力推进公安信息化,既是社会信息化的必然要求,也是现代警务的大趋势,公安部门信息化建设是引领公安工作改革发展的重要举措,是提高公安机关整体战斗力的重要途径,然而,执法办案管理信息应用的水平,直接关系到能否建立完整的公安工作信息化流程,是实现公安部党委提出的实现公安信息化目标的重要衡量标准。 论文首先介绍了东莞虎门公安分局执法办案管理系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了软件工程开发模型、UML建模技术、数据库技术等系统开发方法和相关技术;论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述;在系统设计中,对系统进行了总体设计与模块设计,包括接处警办理、案件处理、线索管理、案件监督、公众执法监督等功能模块,给出了模块设计的功能包图、类图、顺序图和处理流程图,详细阐述了设计内容,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计;论文的最后,对东莞虎门公安分局执法办案管理系统研究的内容进行了总结,阐述了本人所从事的主要工作,以及本人做这篇论文存在的不足,并对进一步的工作进行了展望。

关键词： 区域控制器   移动授权计算   列车运营场景   UML建模  

摘要： 区域控制器(Zone Controller, ZC)作为轨道交通运行系统的重要组成部分,是轨道交通现代化的主要标志之一。该系统设计和开发的合理性及安全性考虑是城市轨道交通系统未来研究的主要趋势。 结合ZC软件的具体功能需求,利用统一建模语言(Unified Modeling Language, UML)的建模机制,本文采用UML对ZC的移动授权功能(Movement Authority, MA.)进行建模并且实现模型的功能验证。UML分别为ZC的移动授权生成功能建立系统级和典型场景级模型。通过形式化语言对MA功能进行抽象化和模块分析,有效地整理系统的复杂逻辑,从而保证系统需求与抽象出来的模型之间清晰的对应关系。依据UML建模机制特点,进行模型代码化的规范设计,针对静态模型生成功能验证的代码框架,参照动态模型编写功能验证的实现代码,实现模型代码的高度规范与契合。最后,根据城市轨道交通系统中线路数据的特点以及软件工程中相关理论,编写出一组模拟线路数据,完整构建线路地图,实现了UML模型的功能验证。仿真程序完成ZC辖区内多辆列车的同时管理,实现列车进站场景下MA计算、不同状态的列车之间互相追踪场景下MA计算、ZC交界处的MA计算、列车折返场景下MA计算以及CBTC(Communication Based Train Control, CBTC)设备非正常状态下MA的计算与处理。同时,针对模型-代码转化过程中暴露的列车MA生成计算不合理部分进行修正,同时反馈到UML模型中,最终使得模型建立与验证过程均能够实现系统设计预期的所有功能。 论文将形式化建模语言UML应用到列控系统中,利用其模型逻辑的清晰度和关系的直观性为典型场景下的MA计算功能建立模型。UML模型细化软件设计的理论方案,同时模型-代码互相转化的特性为软件开发提供参考规范,改善了MA计算功能应用软件的设计人员与开发人员的沟通和交流。模型的建立与功能验证证明,通过UML建立的模型能够很好实现系统需求设计的功能,该模型构建的代码框架和实现流程能够通过VisualStudio2010仿真平台清晰、完整的实现预计场景下列车的MA计算。因此,UML建模工具的应用在列控系统的开发中有一定实践意义,CBTC其他子系统也可以做相关尝试。

关键词： 工会组织管理   UML建模   SQL Server2005   J2EE   SSH  

摘要： 随着工人阶级队伍的不断发展壮大，工会组织数量也在不断增加，涉及职工切身利益的问题也不断增多。及时有效的掌握工会组织建设工作的进展情况，为工会各项工作决策提供准确的统计数据资料，是工会科学有效开展工作的需要。工会工作重要性的提高，工会组织数量的不断增多，对工会组织管理模式提出了新的更高的要求，优质高效的现代化信息门户成为统计管理工作的得力助手。因此开发相应的软件就成为本课题的主要目的。 本系统的设计与开发本着东营市工会管理工作中的实际需求，采用面向对象的方法，运用统一建模语言(UML)建模，采用B/S和C/S混合体系结构，在对目前东营市的工会组织管理和发展现状充分调研的基础上，全面介绍了系统开发的背景及意义，明确了系统需要解决的主要问题，对系统所采用的主要技术、主要工作和系统的开发模式进行了简单描述，采用了用例图和活动图的方式对系统用户的主要需求进行分析，架构设计部分建立了系统的技术架构、部署架构、逻辑架构和功能架构，详细设计部分采用了关系类图来表示系统的静态结构，用状态图来表示系统的动态结构。在实现部分，对系统中主要功能模块的设计和实现进行了详细描述，在实现时采用J2EE的实现思想，利用Java开发语言，借助第三方开源框架SSH（Struts+Spring+Hibernate），后台数据库使用SQL Server2005，系统设计实现的主要模块有：连接管理、通知管理、站内提醒、系统管理、报表管理等。 本文的研究能够全面及时准确的掌握全市工会组织建设发展状况，详细的数据对于有针对性、有重点的开展建会工作有着重要的指导意义。而且该系统在测试使用过程中运行稳定，能够极大的提高工作效率，更加规范、正确、高效地做好工会组织建设统计管理工作。