教学课程资源库 更多>>

关键词： 学生成绩   B/S体系架构   UML建模  

摘要： 该系统为使用B/S结构的学生成绩管理系统,系统选择***与SQL Server 2000为开发环境,采用了三层架构设计,通过中间件、组件技术和模块化设计,分为表现层、业务逻辑层、数据访问层,使系统更加安全,维护更加方便.按照软件工程方法,首先对系统进行了需求分析,并使用UML面向对象建模技术,逐步给出系统的用例图,并进行系统的总体设计.然后通过将系统分为用户验证模块、课程管理模块、数据管理模块、系统维护模块等四个主要模块进行了系统的详细设计.通过UML建模,为系统的需求变更与具体实现提供了保证.

关键词： 嵌入式软件   安全性分析   形式化方法   Sys ML   状态事件故障树   接口自动机   交互马尔可夫链  

摘要： 随着嵌入式软件系统在汽车、核工业、航空等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分。此外,嵌入式软件系统规模和复杂度的增加使其多采用构件化分布式架构。因此,针对构件化嵌入式软件系统进行安全性分析已成为现代嵌入式系统安全性保障的重要方法和研究热点。而传统的安全性分析方法主要应用在软件的需求分析阶段,在软件设计阶段仍缺乏有效的安全性分析方法和工具。形式化方法是一种基于严格的数学理论为软件和硬件系统提供精确规约、分析和验证的方法。对于具有高安全性需求的嵌入式系统,建立有效的形式化分析验证技术可以为安全性分析提供支持。因此,在嵌入式软件设计阶段的安全性建模中引入形式化方法对其进行分析,得到软件安全性分析结果,可以有效提高嵌入式软件安全性。本文主要围绕构件化嵌入式软件系统设计阶段的安全性建模和分析问题展开研究。采用Sys ML和状态事件故障树建立安全性设计模型,对构件化嵌入式软件系统设计阶段模型的静态结构和动态失效行为两方面的安全性分析工作进行研究。主要工作包含以下几个方面:(1)针对构件化嵌入式软件静态结构的构件安全等级依赖问题,给出了分析构件之间安全等级依赖与安全认证目标之间一致性的方法。首先根据安全认证标准DO-178B分析软件构件安全等级依赖所必须达到的认证目标,其次采用Sys ML块定义图建立带有安全等级信息的软件静态结构的安全性设计模型。由于Sys ML块定义图缺乏严格的形式语义,建立形式化模型块依赖图对Sys ML块定义图进行形式化语义描述。在此基础上给出算法用于分析构件安全等级依赖与认证目标之间的一致性。采用该方法对嵌入式软件系统静态结构的安全等级依赖关系进行分析,能够提高系统整体的安全性,并为安全认提供证据。(2)针对构件化嵌入式软件动态失效行为因果链中的最小割序集分析问题,采用状态事件故障树建立系统的失效行为因果链。由于状态事件故障树缺乏严格的形式语义,提出形式化模型卫式接口自动机对状态事件故障树行为方面的形式化语义进行描述。在此基础上,给出卫式接口自动机的并行组合聚合框架用于生成状态事件故障树的形式化语义,并通过定义弱互模拟操作对组合过程中的状态空间进行约简。最后给出了基于该形式化语义的状态事件故障树最小割序集分析方法。分析结果可以为软件的测试用例生成以及模型检验提供支持。(3)针对构件化嵌入式系统动态失效行为的安全性参数分析问题,提出了软件失效行为的概率和时间特性分析方法。由于状态事件故障树能够同时描述构件化嵌入式系统的动态失效行为和概率特性,在状态事件故障树最小割序集分析的基础上,可进一步分析其概率时间参数。为了描述状态事件故障树带概率信息的形式化语义,提出能够同时描述功能行为和概率信息的形式化模型接口交互马尔可夫链用于描述状态事件故障树的形式化语义。在此基础上,给出接口交互马尔可夫链的并行组合聚合框架用于获得状态事件故障树的形式语义,并通过定义接口交互马尔可夫链的弱互模拟操作对组合过程中的状态空间进行约简。最后,基于该形式语义分别采用已有的概率分析工具MRMC和IMCA对状态事件故障树的概率和时间参数进行分析。分析结果可以为软件安全性评估提供支持。(4)基于上述方法,设计了一个构件化嵌入式软件安全性分析工具T-CESSA(Tool for component-based embedded software safety analysis),支持嵌入式软件静态结构的安全等级依赖分析、动态失效行为的最小割序集以及安全性参数的分析,并且通过典型嵌入式软件系统的实例分析说明上述方法的有效性。

关键词： 结构化设计   道路桥梁设计  

摘要： 对着城市的不断发展，道路桥梁建设发挥着越来越重要的作用，结构化设计对道路桥梁设计有重要的意义，它能有效的保证道路桥梁的安全性、实用性，结构化设计对道路桥梁设计有不可替代的作用。

关键词： 管理信息系统   UML建模   数据建模  

摘要： 依据东莞市公安局公交分局业务需求,建立办公自动化系统的目的是利用先进计算机技术,建立适合分局业务管理和业务需要的信息系统,为不断增长的业务需要和高水平的管理工作服务。打造全新的东莞市公安局公交治安管理信息系统,将是资源合理有效利用,提高公共服务质量的有力保障,系统完成后可充分实现对公交分局各部门全面、快速、准确的信息支持,提高公安机关的工作效率、管理水平和科学决策能力。 论文首先介绍了东莞市公安局公交治安管理信息系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了系统开发方法和相关技术；论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述；在系统设计中,对系统进行了总体设计与模块设计,包括公交案件管理、公交企业管理、值班管理、情报信息管理和通讯录管理等功能模块,给出了模块设计的功能结构图(包图)、类图、顺序图(协作图)和处理流程图,详细阐述了设计内容,进行了界面设计,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计；论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： B/S   UML建模   MYSQL  

摘要： 近年,国家在高等职业技术学校推行了“定单式培养”的校企合作,但由于高校与企业合作的利益分配机制尚未完全理顺和规范,而高职院校和企业都是从各自的角度来看待利益的分配,这样,也就形成了不同的期望值。,学校希望企业在市场经济大潮的激烈竞争中能够支持校企合作教育,而不计较牺牲自身的经济利益损失是非常困难,正因为这样,学校更需要采取积极主动的态度,把企业当作自己教育服务的客户来对待,建立平等自愿、互惠互利的合作机制,引入客户关系管理CRM的理论,以期望达到一个“双赢”的目的。产学合作企业信息管理系统可以增加学校对合作企业的情况了解程度,完善对客户信息的管理,提高工作效率和工作质量,同时也便于部门之间及时进行信息交流。 本论文对产学合作企业信息管理系统,基于宁波职业技术学院产学合作的实际日常合作单位管理工作的需要,并进行了充分详尽的需求分析,给出了系统的基本架构,对系统进行了详细建模分析,通过采用统一建模语言(UML)的技术,给出了各个功能子模块的用例图、活动图和顺序图。论文采用java为开发编程工具,MySQL5.5为后台数据库,在总体设计上采用Bowser/Server模型的系统架构,分析与设计了产学合作企业信息管理系统。主要实现了企业信息管理、认证信息管理、拜访记录管理、用户管理这几个功能模块。论文最后对本次研究的内容进行了总结,指出了本论文还存在的不足之处,并对以后进一步的系统改进工作进行了展望。

关键词： Reusability  

摘要： Systems have recently performed multiple functions through a combination of several IPs. SystemVerilog has useful components for modeling and verification at System-level. The OOP of SysemVerilog supports only single inheritance in a verification environment based on a layered testbench of SystemVerilog. It is restricted to construct environment verification. SystemC is a language for system level design at multiple abstraction levels and supports multiple inheritance. We adopt SystemC to design components of a verification platform which employ multiple inheritance, and combine it with the SystemVerilog-based verification platform using SystemVerilog DPI and the ModelSim macro in this paper. Employing the multiple inheritance of SystemC makes the design of a verification environment simple and easy through code reusability. Another characteristic of OOP with SystemVerilog and SystemC is that it can create a reconfigurable verification platform. © 2014 SERSC.

关键词： 类测试   测试序列   UML状态图   遗传算法   测试数据  

摘要： 近年来，随着计算机应用领域的扩大，在使用计算机软件的过程中，对软件质量的要求也随之相应提高软件质量低会导致各种问题，带来不同程度的后果，甚至会造成严重事故或财产损失软件测试可以保障软件质量，传统的软件测试方法和理论已有了较显著成果但面向对象技术的应用使得传统的软件测试方法已经不再适用，其中类是面向对象软件系统的基本组成单位，无疑成为面向对象技术开发软件中的测试重点鉴于此，本文作了如下的研究： 首先，分析了传统的软件测试方法，对面向对象开发技术新特点对软件测试的影响面向对象软件的测试模型和测试层次类测试已有的相关方法进行了阐述，总结了已有的测试用例生成方法和类测试中测试用例所需的测试序列测试数据的生成方法，阐述了软件测试中测试用例的充分性有效性的覆盖标准 其次，介绍了本论文采用的生成测试序列技术UML图（Unified Modeling Language）和UML状态图的相关知识针对类测试中测试序列的生成，设计了先将软件需求规格说明转化为对应的UML状态图，对图进行改进的深度广度搜索遍历生成测试树，然后对测试树进行深度遍历到每个叶子结点即结束状态，得到的遍历序列就是覆盖全面且不冗余的类测试序列对得到的类Engine()的状态图进行实验分析得到了对应的测试序列，证明了该方法用于生成测试序列高效快捷 最后，设计了将模拟退火算法中的Metropolis准则引入到遗传算法的选择阶段，两种算法混合应用于测试数据的自动生成，通过经典三角形类型判断程序进行实验，选取当输出类型为等腰三角形和一般三角形的两条路径，实验结果证明了模拟退火算法和遗传算法混合实现了优势互补，可以在相对较少的迭代次数后达到覆盖制定路径的测试要求

关键词： 共青团管理   信息系统   分析与设计   UML建模  

摘要： 目前,高校共青团信息管理工作大都处于人工管理与计算机管理相结合的状态,高校共青团工作相关数据的收集、整理、检索、分析和处理的管理手段较落后,造成信息不畅通,最重要的是给信息检索、信息统计与分析带来了困难,不能提供有效的决策支持。随着信息技术的快速发展和办公管理现代化的需求,高校共青团信息管理系统的开发势在必行。浙江医药高等专科学校目前在校生有6700余人,其中团员占到95%左右,每年还有约2000多名大一新生入学和2000多名的毕业生离校,研究开发浙江医药高等专科学校共青团管理信息系统将为共青团组织提供了一个能够掌握共青团基本信息的平台,既保证了共青团工作信息的真实性与合法性,也让共青团组织负责人能够高效的掌握共青团工作的信息,对提高学校的信息化建设具有重要的意义。 本文根据高校共青团管理工作的具体情况,采用三层架构体系,设计开发了基于java开发平台b/s模式的高校信息管理系统,通过需求调研,对基于java平台的相关技术等先进的开发技术进行了研究,给出了包括系统架构设计、系统功能设计、数据库总体设计、系统安全设计在内的解决方案,为建设一个规范、实用、操作简单、管理方便的管理信息系统提供了一种尝试。 本系统不仅能够搜索修改共青团工作的相关资料,而且编辑并提供网上办公、信息查询、报表打印、信息发布和信息统计等多种形式的输出,对高校共青团管理信息系统中所涉及到的数据进行全面的收集、分析、规范进行组织实施,形成共青团管理的信息化、网络化、现代化。该系统的成功应用,提高了高校共青团工作的管理水平和工作效率。

关键词： 信息化建设   HIV   罪犯   管理   UML建模  

摘要： 随着社会的进步与发展，各行各业先后进入到信息化时代，而我国的监狱信息化建设相对于其他行业比较落后，表现在起步晚，信息封闭，随着相关业务软件的开发和应用，监狱信息化的建设正在逐步完善，尤其是最近这几年，监狱信息化建设方面也取得了重大的进步，例如计量软件的应用，审计软件的应用，减刑假释系统软件的应用，罪犯信息管理软件的应用，狱情排查系统软件的应用，视频监控系统的应用等一些软件的应用提高了监狱各部门的办公办事效率，但是总体来说应用程度并不高，而在针对艾滋病罪犯管理这块仍是一片空白。 鉴于上述情况，本文的主要工作是分析和设计出一套针对艾滋病罪犯监管区的日常管理软件，使用该套软件可以让当前的艾滋病罪犯管理达到信息化办公的目标，从而使监狱人民警察的工作效率得到有效的提高，以达到监狱监管秩序更加稳定的目标。本课题以乐昌监狱艾滋病监管区为原型，结合本人的实际工作经验，归纳和总结出当前艾滋病监管区的工作内容和业务流程，完成艾滋病罪犯日常管理的需求分析，并使用UML、SQL等设计技术对本系统进行分析和建模。本系统可以为监狱工作带来以下几个方面的作用：一是信息化办公，提高工作效率；二是执勤日志数字化，节约资源，更便于保存和查询；三是罪犯资料与健康档案一体化，更便于警察对罪犯信息的管理；四是设置了不同的用户权限，规范了不同岗位警察的工作流程，从而保证了工作质量的高效完成。本系统的主要功能包括以下：用户权限的设置、罪犯信息的录入与查询，罪犯健康档案的管理，执勤日志的填写与查询，信息版的发布与管理。

关键词： 管理信息系统   安全体系结构   透明数据加密   用户身份鉴别   表单编辑缓存  

摘要： 针对高校管理信息系统面临的安全威胁和挑战，提出了1C4GS安全体系结构，阐述了1C4GS的5个重要组成部分：安全管理中心、安全通信网络、安全区域边界、安全计算环境及安全应用系统的内涵和作用。以数字校园典型案例——“个人基本事项申报系统”为例，构建了基于1C4GS 的高校管理信息系统安全应用方案，对包括透明数据加密，用户身份鉴别，表单编辑缓存在内的多种安全技术和策略进行了有机整合，实现了管理信息系统的网络安全、边界安全、计算环境安全和应用系统安全。