![基于UML状态图的测试用例自动生成方法研究]()
论文摘要软件测试在软件开发过程中有着举足轻重的地位，它贯穿于软件定义与开发的整个周期及整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点与难点，它的设计主要来自于软...
![LabVIEW状态机的研究及在运动控制中的应用]()
论文摘要LabVIEW状态机是虚拟仪器中的一种重要的程序架构模型，它可以预先添加指定的状态，状态里可以并行地执行多个任务。其中，状态之间的跳转可以由编程或者外部触发事件来实现，...
![基于Petri网的UML形式化研究]()
论文摘要面向对象技术的发展,出现了众多的面向对象的建模语言,其中统一建模语言UML作为一种定义良好、功能强大的图形化建模语言得到广泛的运用。UML溶入了软件工程领域的新思想和新...
![基于UML和Petri网的生产线实时控制系统建模与分析]()
论文摘要陶瓷纤维生产线控制系统是一个典型的实时控制系统,该系统不仅要对产品质量进行实时检测,还要对生产过程中处于高温度,大电流等运行状态的设备进行实时监控。产品质量的实时性检测...
![UML顺序图和状态图的形式化方法研究]()
论文摘要统一建模语言(UnifiedModelingLanguage,UML)是一种描述能力强大且含义直观的可视化建模语言,它提供多种视图从不同角度和应用层次刻画系统特性以及复...
![面向图案设计的开发平台的研究与实现]()
论文摘要计算机应用系统的交互性特点越来越突出,人们对系统用户界面（UI）也提出了越来越高的要求。这使得UI在计算机应用系统中日益成为一个决定系统成败的主要组成部分,据统计,在一...
![基于状态图模型的HFC网络设备管理代理开发研究]()
论文摘要嵌入式管理代理在开放式HFC网络设备管理系统中发挥着至关重要的承载和核心作用。管理代理的功能随着实际需要不断增加或增强,其系统复杂度也相应地提高。传统的嵌入式软件开发方...
![计算机测试方法的研究与应用 ——基于UML状态图模型的测试用例生成方法的研究]()
论文摘要软件测试是软件质量保证的关键步骤。软件测试研究的结果表明:软件中存在的问题发现越早,其软件开发费用就越低。软件质量越高,软件发布后的维护费用越低。因此,软件测试在整个软...
![逆向工程中恢复UML行为模型的研究]()
论文摘要随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。软件逆向工程是一种辅助程序理解的重要手段,其目标是利用工程化的方法和技术分...
![基于统一过程的UML-B系统转换技术的研究]()
论文摘要目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在软件复杂性增加的情况下仍能构造正确可靠的系统,达到这一目标的途径之一...
![UML状态图模型检查技术及工具实现]()
论文摘要UML已经是软件建模方面的标准语言,UML状态图描述系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态图往往包含设计者所未预料到的隐患,通过模型...
![基于UML状态图的软件测试用例生成方法研究]()
论文摘要软件测试在软件开发过程有着越来越重要的地位,它贯穿于软件定义与开发的整个周期即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点和难点所在,它的设计依据主要...
![基于UML模型的软件测试技术研究与实现]()
论文摘要测试用例的设计和编制是软件测试中重要的活动,更是软件质量的根本保障。因测试工作量太大,手工编写测试用例很难保证测试质量,所以自动生成测试用例具有非常重要的意义。UML被...
![矢量光栅变换（VRC）的研究与硬件实现]()
论文摘要本文主要研究了矢量光栅变换(VectortoRasterConversion)技术硬件实现中的一些问题，包括直线、宽直线、三角形、二次曲线和多边形基本生成算法的硬件实现...
![利用scenario获取对象状态图的算法研究与隐含scenario的获取]()
论文摘要软件建模是面向对象软件工程的一个重要领域,实现这些模型之间的自动转换,对于保持系统开发过程各阶段中模型的一致性,及快速生成系统原型有着重要的意义。本文在现有工作的基础上...
![软件体系结构形式描述研究]()
论文题目:软件体系结构形式描述研究论文类型:博士论文论文专业:计算机软件与理论作者:朱雪阳导师:唐稚松关键词:软件体系结构,体系结构描述语言,双重描述框架,系统,活动图,状态图...
