基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

虚拟企业的体系架构设计与协同层次化的模拟研究

分析虚拟企业的体系结构,借助UML中部署图的概念,把参与其中的相关单位定义成虚拟企业的功能节点,提出了基于工作流管理系统的构架.针对系统的柔性业务处理,以及任务协同处理的实现,做深入的层次化设计.在此基础上,把层次化模型作形式化的描述.     

基于本体语义的模型映射研究

模型转换是模型驱动开发的一项关键技术,模型间的映射关系是模型转换的基础和依据.通过对模型描述语言的语法结构和语义表达特性进行抽象分析,基于本体语义映射,对不同层次的模型映射进行了分类并加以形式化定义,进一步探讨了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则.以UML类模型到C语言模型的映射为例进行了阐述.这不仅可为模型转换的具体实现提供理论指导,还为验证模型之间映射规则的可行性和正确性提供依据.     

基于EHA的异常处理模型检验方法

本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成.首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机.使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码.     

带快照的混合数据库系统设计与应用

随着对海量数据处理的广泛需求,对数据库系统的性能也提出了更高的要求.本文介绍了一种带快照的混合数据库系统的设计.它在传统数据库系统基于磁盘存储的基础上,选择部分需被频繁或快速访问的数据以快照的形式组织在主存中,从而兼顾了处理海量数据和快速响应用户访问要求两方面的需求.最后,简要给出了一个在地理信息系统中的应用实例.     

面向服务领域软件系统的模型驱动建模方法

面向服务体系结构(SOA)的工程化和建模对现有的建模技术和方法提出了新的挑战.提出了一种基于web服务的领域服务原型系统的快速模型驱动建模框架.从服务构件的概念和标准统一建模语言(UML)2.0的建模构造出发,给出了一个综合的服务软件建模过程.在此基础上,讨论了模型驱动的web服务的特性描述,重点是介绍一种基于UML扩充机制的面向web服务描述语言(WSDL)的建模技术.通过一个流通领域的面向服务企业资源计划(ERP)系统的实际建模,展示了所提方法是切实可行的.     

动静态信息相结合的UML2.0序列图逆向生成方法

符合UML2.0标准的序列图在UMLl.x序列图的基础上添加了控制流信息.为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法.该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息.这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序.     

基于Hibernate与Struts的鱼雷库数据持久化研究

整合Struts和Hibernate框架,设计了一个基于MVC模式的鱼雷仓库信息管理系统.文中对Struts,Hibernate的基本特征,以及二者的集成技术作了阐述,最后以该系统的检测仪器为例,对Hibernate实现系统持久化过程进行了详述.     

复方诺氟沙星灌肠液治疗慢性炎性结肠病变临床观察

军区空军药材仓库微机管理系统的设计与实现张栋，康万军，张汉道（空军沈阳药材供应站沈阳１１００１５）我区药材仓库的药材管理，过去一直是人工进行入库、出库、盘点和各项数据统计，完成这些工作，既费人力，又费时间，并且准确性差。为此，我们设计编制了一套＂军区...     

数据库系统安全代价测试工具的设计

安全和可靠是数据库系统两个重要的可信指标,它们的策略配置与系统的高效运行是有冲突的.本文分析了安全、可靠等可信指标及其相关测试工具,提出了可信赖性能基准程序性能测试特点,以指导用户制定、评价、选择数据库安全可靠策略的实施.最后介绍了基于TPC性能基准改进的数据库系统安全代价测试工具功能及其实施方法.