共查询到17条相似文献,搜索用时 109 毫秒
1.
现有的软件系统常常规模庞大,不易理解和维护.软件系统的复杂性使得人们必须对软件按功能进行模块划分,从简单的子系统着手逐步分析其结构.提出了一种基于概念格的模块划分及耦合分析方法.概念格可以描述一组含有相同属性集的对象,用源代码中的函数表示对象,而函数使用的变量表示属性,以此来构造概念格,同时在模块划分的基础上分析模块之间的耦合度. 相似文献
2.
3.
针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。 相似文献
4.
5.
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。 相似文献
6.
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。 相似文献
7.
针对现有软件度量估算困难、精确度不高的问题,在预测性对象点基础上改进并提出基于UML的软件度量方法,可以从用例、序列图、类图度量软件。结果证明,与预测性对象点相比,该方法的精度提高了5%左右,其子系统偏差方向一致。 相似文献
8.
一种基于Web软件集成测试的建模方法 总被引:1,自引:0,他引:1
本文给出了一种Web软件集成测试的建模方法。该方法通过分析Web应用程序体系结构,对Web应用划分,用分层的有限状态机对Web应用进行行为建模,通过采用基于有限状态机的导航模型来指导测试人员进行Web集成测试;采用UML扩展的模型对Web应用组件间的交互建模,通过建立基于UML的组件依赖模型并提供相应的测试用例生成规则来提取Web应用的测试用例。 相似文献
9.
基于知识的UML图形文档自动生成 总被引:2,自引:0,他引:2
基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。 相似文献
10.
基于UML实时系统的分析和设计 总被引:6,自引:0,他引:6
介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性. 相似文献
11.
12.
基于UML的电子商务系统的分析和设计 总被引:3,自引:0,他引:3
随着商业软件的发展,传统的系统分析设计的方法已不能很好地适应现在的要求。该文通过介绍eBox电子商务系统的分析和设计,介绍了UML的概念和如何在系统分析设计中应用UML,实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助,它很好地解决了现存的问题。UML在软件开发中具有很广阔的应用前景。 相似文献
13.
分析了符号有向图(Signed Directed Graph,SDG)自动建模方法的国内外研究现状,阐述了该方法和建立相应软件平台的必要性和紧迫性.介绍了统一建模语言(Unified Modeling Languagee,UML)、UML模型建立特点、SDG技术和SDG模型建立的方法.分析提出用UML方法辅助研究SDG自动建模策略,采用UML构建SDG自动建模软件平台.本研究和软件平台的构建扩展了UML在工业领域的应用范围. 相似文献
14.
UML是一种建模语言,它取代软件界的众多分析和设计方法,已经成为被业界认可的标准建模语言,在软件领域和其他领域都起着举足轻重的作用。UML支持从需求分析、系统设计到具体实现的软件开发全过程。本文通过对图书管理系统的分析,介绍UML的基本概念和建模过程,从而说明UML在实际问题中的应用。 相似文献
15.
基于UML的软件形式化需求分析与验证 总被引:1,自引:0,他引:1
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。 相似文献
16.
近年来.面向对象技术是软件设计的主流设计思想。UML作为一种面向对象的建模方法,已成为在软件工业中占支配地住的建模语言。并在许多领域的软件开发中得到应用。取得重要成功。本文介绍了UML的概念和优缺点,阐述了UML的现状及未来的发展。 相似文献