网络课程平台的设计与实现 被引量：14

1

作者 姜晶 《现代电子技术》 北大核心 2018年第2期34-37,43,共5页

在教育信息化的大环境下,利用互联网进行网络教学已经成为现代教育的必然要求,网络课程以其交互性、共享性、开放性、协作性和自主性等特点成为新的学科教学模式,构建基于Web技术的网络课程平台是进行网络教学的迫切需要。以徐州开放大... 在教育信息化的大环境下,利用互联网进行网络教学已经成为现代教育的必然要求,网络课程以其交互性、共享性、开放性、协作性和自主性等特点成为新的学科教学模式,构建基于Web技术的网络课程平台是进行网络教学的迫切需要。以徐州开放大学为例,以建构主义等学习理论为指导,采用PHP动态网站开发技术、My SQL数据库技术,建立一个通过Internet实现教学资源发布、网上选课、教师授课、学生学习、师生交流等功能的课程平台。该平台功能强大、方便易用、是有效服务于教师、学生和实现一定教学管理功能的网络课程平台。该文重点探讨了该网络课程平台的需求分析、总体设计、数据库设计等,从而为如何运用面向对象的方法快速、高效地开发一个通用性好的网络课程平台提供一个良好的思路。 展开更多

关键词 网络课程 B/S结构 需求分析 总体设计 uml用例 uml活动图

下载PDF 职称材料

信息技术的需求方法研究

2

作者 杨翼 《电脑知识与技术》 2011年第4X期2965-2967,共3页

现在处于一个信息技术高速发展时期,这些年来单位信息系统逐步建立、升级,给各个生产业务部门带来了助力。随着世界范围内信息技术的广泛应用,生产业务部门人员的IT技能越来越高,对软件系统的使用要求也越来越多。这是一件可喜的事情,说... 现在处于一个信息技术高速发展时期,这些年来单位信息系统逐步建立、升级,给各个生产业务部门带来了助力。随着世界范围内信息技术的广泛应用,生产业务部门人员的IT技能越来越高,对软件系统的使用要求也越来越多。这是一件可喜的事情,说明"信息技术创新,助力业务创新",已经有了良好的群众基础。在IT业界,众多的成功或不成功案例都实践证明,一个应用系统最后是否建设成功,80%的因素在于"需求分析"是否做得好。浅显发地说,也就是:业务部门人员是否把需要实现的软件系统功能都说明白了,没有较大的遗漏;开发人员都理解清楚了,没有较大的偏差。该文就如何做好需求分析工作,进行简要论述。 展开更多

关键词 需求分析 统一建模语言 uml用例图

下载PDF 职称材料

网络印刷服务平台功能模型的分析及建立 被引量：3

3

作者 肖菲菲 刘真 《包装工程》 CAS CSCD 北大核心 2012年第21期120-124,141,共6页

对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今... 对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今后网络印刷服务平台的开发提供了依据。 展开更多

关键词 网络印刷 uml建模 uml用例图 uml时序图

下载PDF 职称材料

UML测试用例自动生成方法研究 被引量：1

4

作者 张卉 高仲合 +1 位作者 黄铭 任志迁 《电子技术（上海）》 2016年第4期52-54,共3页

测试用例由于关系到测试执行的效率,是自动化测试技术中的关键环节,根据测试需求设计高效的测试用例对提高自动化测试效率起着至关重要的作用。目前大多数的研究多集中在使用UML的一种模型生成测试用例,这种方法可能造成不准确的需求分... 测试用例由于关系到测试执行的效率,是自动化测试技术中的关键环节,根据测试需求设计高效的测试用例对提高自动化测试效率起着至关重要的作用。目前大多数的研究多集中在使用UML的一种模型生成测试用例,这种方法可能造成不准确的需求分析。将统一建模语言UML与自动化测试相结合,提出了基于UML用例图和状态图自动生成测试用例的方法,并结合作业提交系统对此方法进行了验证,该方法可以使测试和开发同时进行,尽早发现错误,提高测试效率。 展开更多

关键词 uml用例图 uml状态图 作业提交系统 测试用例

原文传递

大型软件回归测试用例选择优化策略 被引量：2

5

作者 夏同飞 郑浩 《测试技术学报》 2016年第2期106-113,共8页

在软件回归测试时需要制定测试策略,选择有效测试用例进行测试以避免测试的盲目性.针对大型软件回归测试用例的选择问题本文提出一种新的选择方法并对其进行算法设计和实现.本文运用Uml用例图来描述系统功能模块间的关系,将UML图转换为... 在软件回归测试时需要制定测试策略,选择有效测试用例进行测试以避免测试的盲目性.针对大型软件回归测试用例的选择问题本文提出一种新的选择方法并对其进行算法设计和实现.本文运用Uml用例图来描述系统功能模块间的关系,将UML图转换为有向图并通过有向图的遍历算法输出回归测试时需要测试的模块.通过实例研究表明,运用此方法能够显著提高回归测试中测试的效率和准确性,在保证了回归测试覆盖度的同时减少了测试的冗余度. 展开更多

关键词 回归测试 测试用例 uml用例图 软件测试 黑盒测试

下载PDF 职称材料

UML用例图的形式化及其推理 被引量：1

6

作者 陈振庆 《贺州学院学报》 2017年第2期144-148,共5页

UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN(D)扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN(D)描述形式。然后把UML用例... UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN(D)扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN(D)描述形式。然后把UML用例图定义为一个二元组,SHOIN(D)知识库定义为一个三元组,并通过转化函数把UML用例图转化为SHOIN(D)知识库,给出了SHOIN(D)知识库的可满足性定理及其正确性证明。最后以图书借还子系统用例图为例,利用Pellet本体推理机实现了可满足性、一致性、分类、信息提取和实现性等推理服务。 展开更多

关键词 描述逻辑 uml用例图 形式化方法 知识库

下载PDF 职称材料

角色驱动下的工作流分析及UML-uc建模技术的应用

7

作者 尚秋明 曹宝香 《微型电脑应用》 2005年第9期51-53,59,共4页

通过对工作流中角色机制进行分析,在研究工作流、有向图和UML-uc模型的基础上,提出了一种有向图角色驱动的工作流建模方法。其基本思想是:在角色的驱动下,将工作流模型层次细化到原子活动,并给出其细化过程的系统总体用例模型和静态、... 通过对工作流中角色机制进行分析,在研究工作流、有向图和UML-uc模型的基础上,提出了一种有向图角色驱动的工作流建模方法。其基本思想是:在角色的驱动下,将工作流模型层次细化到原子活动,并给出其细化过程的系统总体用例模型和静态、竞争、优先、委托等角色类型的UML用例模型。借助基于用例模型的角色参与机制和动态特性,分析了过程模型内部复杂的动态关系,根据分析结果对后续更为复杂的过程模型进行有效的迭代开发。 展开更多

关键词 工作流 建模 角色 uml use—case

下载PDF 职称材料

自动产生一个图书馆的快速原型

8

作者 魏一宁 何积丰 《计算机应用与软件》 CSCD 北大核心 2007年第9期77-80,共4页

AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的... AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码。采用的需求模型主要包括一个用况模型和一个概念类模型,分别用UML中的用况图和类图描述。生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态,该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系。 展开更多

关键词 软件快速原型 图书馆管理系统 统一建模语言 用况图 类图 Java代码自动生成

下载PDF 职称材料

UML模型形式化B方法转换的实现 被引量：6

9

作者 夏志翔 徐中伟 +1 位作者 陈祖希 张元玲 《计算机应用与软件》 CSCD 2011年第11期15-20,共6页

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系... UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。 展开更多

关键词 B方法 uml模型 用例图 顺序图

下载PDF 职称材料

一种基于UML用例模型的软件可靠性分配方法 被引量：1

10

作者 胡文生 赵明 +1 位作者 杨剑峰 贾国荣 《计算机科学》 CSCD 北大核心 2012年第B06期461-463,共3页

基于统一建模语言(UML)用例模型描述软件系统需求方面的特点;提出了以UML用例图中所包含的各个用例的使用频率作为衡量该用例的重要程度的依据,从而确定每个用例的重要度的权重因子。根据每个用例的权重因子来确定每个用例该承担的可靠... 基于统一建模语言(UML)用例模型描述软件系统需求方面的特点;提出了以UML用例图中所包含的各个用例的使用频率作为衡量该用例的重要程度的依据,从而确定每个用例的重要度的权重因子。根据每个用例的权重因子来确定每个用例该承担的可靠性指标任务,实现软件可靠性指标在各个用例之间进行合理的分配。这种分配方案对保证软件系统的可靠性目标具有重大的现实意义,为软件后续开发、测试、维护提供可以参考的依据。 展开更多

关键词 uml 用例 可靠性 分配

下载PDF 职称材料

UML及其建模工具的应用

11

作者 刘芳凝 《电脑学习》 2006年第5期36-38,共3页

介绍了统一建模语言UML的基本概念及主要内容,并结合UML建模工具RationalRose给出了UML的建模过程及建模工具的使用方法,结合学校中学生选课信息系统给出了典型的UML视图示例。

关键词 uml RATIONAL ROSE 实例图 类图 库图

下载PDF 职称材料

基于统一建模语言的电子政务系统建模

12

作者 王昊 《现代图书情报技术》 CSSCI 北大核心 2006年第7期66-72,共7页

探讨面向对象技术中统一建模语言(UML)在构建南京市建设委员会(简称“南建委”)电子政务系统中的建模应用。介绍电子政务的理论知识和统一建模语言的建模机制;概述“南建委”电子政务系统需要实现的功能以及系统建模采用的方法和平台;... 探讨面向对象技术中统一建模语言(UML)在构建南京市建设委员会(简称“南建委”)电子政务系统中的建模应用。介绍电子政务的理论知识和统一建模语言的建模机制;概述“南建委”电子政务系统需要实现的功能以及系统建模采用的方法和平台;详细描述基于统一建模语言的“南建委”电子政务系统各模块的用例建模、结构建模、组件建模、环境建模和动态建模以及模型的表示方式等。 展开更多

关键词 电子政务 统一建模语言 uml图 建模 面向对象技术 南京市建设委员会

下载PDF 职称材料