基于UML的软件使用模型的研究及工具实现*

改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。     

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

基于UML的软件Markov链使用模型的构建

构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.     

基于UML的软件统计测试方法研究

软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言uML,提出一种基于UML模型的统计测试方法.建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性.     

基于UML的精品课程远程教育网站模型设计

UML是面向对象的统一建模语言,所设计的软件模型具有可重用性的特点。使用UML新方法开发精品课程网站,用UML用例图做需求分析,用UML类图和顺序图进行系统静态和动态设计,最终用PHP程序语言和MYSQL数据库来实现网站软件。经UML建模后的精品课程远程教育网站模型可以多次应用,从而提高网站软件的开发效率。     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程，而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准，在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型，如用例图、顺序图、活动图，可以生成软件使用模型，进而可据此产生测试用例。     

软件形式化与可视化软件模型的转换

1.前言现有的面向对象的可视化方法和形式化方法都具有各自的优点,UML是可以完全可视化的图形语言,使用简单,能够很好地体现面向对象软件开发的特点。现在已经有很多面向对象的软件CASE工具都支持UML,其中包括Rational公司的Rational Rose系列,微软公司的Visio,北大青鸟CASE工具,Visual UML等。这些工具支持基于UML的软件开发过程模型RUP(Rational Unify Process)下工作,能够很方便地使用UML建立软件模型,根据软件模型可以自动     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

SolidWorks与MFC的接口开发技术及其应用

文章深入研究并实现了运用SolidWorks的二次开发功能进行程序自动生成模型技术,提出了用动态链接库方式实现MFC开发SolidWorks应用程序的关键技术和通讯机制,并给出了具体的实现方法和程序示例。     

基于VB的SolidWorks标准件库的二次开发与实例

SolidWorks作为三维CAD软件,专业针对性差,缺少标准件库,不能满足不同领域的设计需求。用VB编程技术,在SolidWorks中创建标准件库,可以方便地在建模过程中插入符合要求的标准件,从而简化设计工作,提高开发效率。结合实例介绍对其进行二次开发、自动生成标准件的过程。     

医学图像可视化自动编程平台的设计

为了充分利用现有的各种医学图像处理算法,避免重复开发,提高开发效率,设计并实现了一个基于OpenCV图像处理基础算法库的医学图像可视化自动编程平台。该平台在开放源代码的基础上,充分整合了OpenCV算法库,避免了算法的重复开发。通过对可视化编程技术的研究,实现了该平台中编程过程的可视化与自动化。同时利用OpenCV平台无关的特性,使用makefile文件来控制生成程序代码的编译,实现了生成的程序代码的可移植性。并讨论了平台的整体结构设计与各个模块具体实现。最后给出一个开发实例,证明了该平台在算法测试和开发方面的高效性与简洁性。     

基于SVG流程图的设备管理系统的设计与实现

为解决现有企业设备管理系统图形交互能力差且图形格式不一的现状,在分析流程图技术的基础上,提出了一种基于SVG流程图进行设备管理的实现方法和途径,并给出了一种基于SVG(可扩展矢量图形)流程图的设备管理系统的实现.通过建立基于JS (JavaScript)与DOM(文本对象模型)的SVG图形编辑系统,构建了SVG设备图元库以及SVG流程图库.该系统采用三层B/S架构,基于流程图提供了可解析与交互的设备图形信息应用平台,具有较好的扩展性,为流程企业提供了更加直观、便捷、高效的设备管理功能.     

SolidWorks分布式三维标准件库系统开发研究

许多企业内部建有Internet/Intranet来加强企业内部的信息集成和共享。基于对标准件库由单机版必然转向为网络版的需求分析,以SolidWorks三维软件为支撑平台,用VisualC++、PHP和MYSQL为开发工具,应用面向对象的程序开发方法,提出了一种基于C/S和B/S混合模式的分布式三维标准件库多层系统的开发方案。     

基于SolidWorks二次开发的动车组弹簧参数化设计

为改进弹簧类零件的原始建模方法,提高设计效率,采用VB为二次开发工具,研究在SolidWorks环境下动车组轴箱弹簧参数化建模的方法.以CRH 2轴箱弹簧为例,完成其CAD自动建模和CAE自动分析.结果表明：该方法建模准确且快速,且计算分析结果与试验结果基本一致.     

三维参数化标准件库的研究与实现

以ＣＡＤＤＳ５ ＣＡＤ／ＣＡＭ系统为背景,在消化,分析Ｆｅａｔｕｒｅ－Ｂａｓｅｄ Ｍｏｄｅｌｉｎｇ模块的基础上,提出一种简捷,实用,功能强劲和形象化的建立三维参数化标准件库的新思想,同时给出具体实现技术。     

用VisualC 6.0开发SolidWorks三维标准件库

研究了基于ＳｏｌｉｄＷｏｒｋｓ的三维标准件库（３ＤＰａｒｔＬｉｂ）的总体结构,介绍了３ＤＰａｒｔＬｉｂ的应用环境和使用方法,并详细讨论了使用ＶｉｓｕａｌＣ＋＋开发３ＤＰａｒｔＬｉｂ需要解决的组件对象模型、动态连接库和数据库的操作等关键技术。     

基于SolidWorks的不规则空间连接弯管设计

不规则空间连接弯管的应用非常广泛,但在工程的具体施工上存在着很大的难度及挑战。针对锅炉设备中复杂空间弯管不易设计的问题,提出了基于SOLIDWORKS的空间弯管设计方法,利用solidworks simulation结构有限元分析以及优化分析的应用方法对不规则空间连接弯管进行分析设计。实例证明,基于solidworks的不规则空间连接管道设计方法可靠,能广泛应用于弯管设计,有助于提高工程图的精度及设计效率。     

基于组件的自来水营业管理信息系统的应用

企业管理信息系统的应用大多存在着重复开发现象严重、代码重用率低、功能模块扩展性差、可移植性差等问题,以惠州市自来水总公司营业管理信息系统为例研究了基于组件的企业管理信息系统的开发方法,建立了自来水营业管理系统的模型和具体组件库。