基于TRICHOTOMY模型的可视化建模系统的测试

提出了基于TRICHOTOMY模型的可视化建模系统的测试方法,该方法主要改进了原有测试方法中对整个建模系统分析的单方面性。通过TRICHOTOMY模型的构造将原有的测试方法转换为进行模型检查、系统功能测试和支持建模的功能测试三个方面的综合测试,继而在这三方面测试的基础上给出系统的整体评价。同时,在该模型的基础上提出了基于模型的软件测试过程。     

平台无关模型可视化建模的研究与实现

平台无关模型（PIM）是模型驱动架构（MDA）的核心。目前PIM建模靠手工编写代码实现,效率低、易出错、复用难。提出了一种PIM的可视化建模方法。为规范建模过程,提出了VisibleXML概念。详细论述了基于此方法设计实现的PIM可视化建模框架。某企业信息系统开发中用此框架进行PIM建模,效率高,错误率低,复用方便,学习成本小。     

基于流程图的可视化系统的开发及测试

基于流程图的可视化系统的设计具备很多优势,如便于软件开发过程中的协作,便于提高开发效率,便于代码的编写,更便于系统的测试。基于流程图的一体化系统测试方法又分为测试系统流程以及面向界面的流程图;根据界面流程图测试界面;对修改后的程序进行回归测试;对系统进行集成测试。     

核动力系统热工分析程序可视化建模

以Relap5程序为对象,研究了核电站热工水力分析程序可视化建模技术。采用可扩展标记语言技术,定义一套名为RelapML语言描述Relap5建模信息,并基于Windows平台下的可视化界面开发技术,完成RelapML语言的可视化输入、自动生成并最终转换成Relap5输入数据,实现了Relap5建模过程可视化。     

一种基于MDA的领域对象建模工具

基于MVC架构,设计并实现了采用元对象设施(meta object facility,MOF)的四层模型分层管理架构对象建模工具,应用两阶段建模理论,将传统的建模工作分解为元建模和传统建模两个阶段.对特定领域进行分析后,使用改进自MOF元语言的XKL语言实现领域建模.结果表明,该建模工具提高了开发效率,减少了重复开发.     

基于XP的一种改进的测试模型

软件测试是软件质量保证的一个重要元素,在测试过程中使用合理的软件测试模型可以降低测试在开发活动中的花费和开发时间。通过对XP中测试和传统测试模型W模型的分析,找出W模型的不足,提出一种适用于XP的新的测试模型。该模型将测试驱动的思想贯穿于软件开发周期的各个阶段,并且加入了回归测试的范围,可以尽早发现软件中的错误,降低成本。     

基于元模型的视图层 PIM 建模方法研究与实现

模型驱动架构(model driven architecture,MDA)的核心思想是将建模语言当作开发语言使用,基于 UML 的平台无关模型(platform independent model,PIM)建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差.针对此问题,研究了基于元模型的视图层 PIM 建模方法,给出视图层 PIM 模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于 EMOF(essential meta object facility)对 UML 建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于 Eclipse GMF 框架开发了视图层 PIM 辅助设计工具 GMTP     

基于Web的智能电网可视化需求建模

随着电力系统规模的不断扩大,基于Web的智能电网可视化需求被提上日程,而需求建模是软件工程的初始阶段,也是重要阶段。文章使用统一建模语言(UML)的可视化建模方式进行系统分析,帮助用户与开发人员理解电网可视化的各项系统行为,缩短开发周期,降低系统开销。     

一种组合的Web应用测试建模方法

应用Web建立一个清晰的测试模型能够帮助指导测试工作,为下一步形成测试用例,执行测试奠定基础。在分析Web应用现有测试模型的基础上,提出了一种从对象、导航行为、系统结构3个方面进行分析的建模方法,分别介绍了3种模型的建模方法及相应的测试用例生成办法,扩充了以往对象模型的关系结构,将浏览器行为的影响加入到导航行为模型中,根据控制流和数据流来反映系统结构。这种组合模型充分考虑了Web应用的特性,直观全面地反映了Web应用的各方面关系,能够有效指导测试工作。     

一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法

信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.     

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。     

一种测试驱动的过程模型研究

分析了敏捷过程和几种传统软件生命周期模型,在总结测试驱动开发核心理念的基础上提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过在.net平台上进行文件管理系统的开发,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

基于LINK 的结构系统建模方法研究

针对有限元和试验模态分析的局发性，探讨了一种有限元分析与动态试验相结合的模型修正方法，即基于LINK的结构系统建模方法。将计算与试验结果进行数据融合，以给定模态置信度准则为基础，进行模型的迭代修正分析，进而构造精确的结构系统动力模型，最后基于LINK方法，对梁结构进行了计算与试验相结合的建模分析，取得了良好的效果。     

区间自动闭塞系统安全性测试系统仿真建模

铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和安全性自动测试与评估平台 ,介绍了铁路区间自动闭塞系统的基本原理 ,抽象出铁路区间自动闭塞系统面向对象模型 ,详尽阐述了利用轨道作为传输通道的仿真模型中所采用的仿真技术 ,并给出了自动闭塞系统可靠性和安全性自动测试与评估平台的总体设计框图 .     

复杂系统建模方法

本文论述了复杂系统的本质及其特点,阐述了为什么对复杂系统的数学描述或者建模需要使用非传统的语言和工具,传统的理论方法不适用的原因。讨论了目前主要的建模方法,并对复杂系统建模方法的发展趋势进行了展望。     

一种实现NGOSS分布式自动化测试的方法

为了测试复杂的新一代运营软件和系统(NGOSS),对NGOSS的体系架构和现有的分布式自动化测试方法进行了研究。针对NGOSS的特点,综合现有的分布式自动化测试方法理论,提出了一种适用于NGOSS的分布式自动化测试方法(DATS),该方法主要利用开源的软件测试自动化框架/执行引擎(STAF/STAX)实现测试用例与测试框架的分离,自动分发并执行测试用例,监控运行过程以及自动收集测试结果和日志,最后由测试代理机发送结果和日志到控制中心,显示给开发和测试人员。该方法解决了测试工具的跨平台性差、可扩展性低、软件缺陷追踪难及日志管理复杂等问题。通过原型系统验证了该方法的有效性。     

液压系统动态仿真模型可视化建模技术研究

从计算机与仿真技术的发展和应用需求出发,对液压系统动态仿真模型的可视化建模技术进行了较为深入的研究,建立了一个基于图形和面向对象技术的仿真模型可视化输入环境,介绍了该环境的体系结构及设计思想,着重对液压原理图和功率键合图输入子模块的功能实现机理作了详尽的论述。     

基于Agent建模方法的电磁感应加热虚拟环境的研究

提出了一种虚拟环境建模的方法，即Agent建模方法，通过对多Agent建模技术的分析，应用到电磁感应加热的虚拟环境中，并实现其可视化设计。对虚拟环境中图形单元的表示方法及立体显示的生成技术做了简要的介绍。通过对得到仿真的效果图的分析，得出了该虚拟环境的可行性和实用性。     

基于FTS的混合系统的一种建模方法

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型,本文扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。     

一种基于Simulink的BLDCM系统仿真建模

在分析无刷直流电机(BLDCM)三相全桥式驱动工作原理的基础上,在Simulink环境下,利用MATLAB软件提供的SimPowerSystemToolbox及其库元件,建立了一种模块化的BLDCM系统仿真模型。对模型的BLDCM本体模块、三相全桥驱动模块、逆变控制模块进行了介绍,模型采用速度单闭环控制,易于修改控制算法。仿真实验结果表明,模型的转速、相电流、转矩曲线、反电动势与理论分析相一致,模型能有效分析BLDCM的动静态特性。