一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分，它描述了软件系统的动态行为，是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法，它以UML顺序图为主要测试模型，结合UML状态图和类图生成所有的测试场景，最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例，用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段，通过UML模型生成测试用例可充分利用已有的设计结果，减少测试阶段所需的费用，对于已使用UML的工业界有着重要的意义。     

一种从UML模型生成测试用例方法的研究与实现

测试用例生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型来自动生成用例的技术日益受到关注。在UML模型中,顺序图描述了软件系统的动态行为,是软件集成测试中一个重要的来源。文中提出一种基于UML顺序图与类图相结合的方法来自动生成测试用例,定义了相应的测试覆盖准则及测试衡量标准,并用一个具体实例验证了测试用例的生成过程。最后给出了测试用例自动生成工具的框架。     

基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。     

一种基于UML类图和活动图的故障树生成方法

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

处理动态行为描述的MDA模型转换技术

模型驱动体系结构MDA(Model Driven Architecture)是OMG组织为解决不同中间件平台间的集成问题而提出的一种开放的、供应商中立的软件开发方法。在MDA框架中,开发者首先构建平台无关模型PIM(Platform Independent Model),然后根据到特定平台或实现语言的映射规则/方法,从平台无关模型转换生成平台相关模型PSM(Platform Specific Model),最终生成应用程序代码。采用了UML类图在平台无关层来描述模型的静态结构,并使用动作语言对模型的动态行为进行描述;选择Java EE作为目标平台,制定出相应的转换规则,实现了从动态行为描述到目标代码的转换。使用这样的方法得到的PSM只需要很少的后期处理就可以在平台上直接运行。研究工作较好地解决了当前大部分MDA模型转换工具不能处理动态行为模型转换的问题。     

支持代码自动生成的行为建模

本文根据模型驱动体系结构思想,针对目前代码自动生成工具对于行为代码生成支持不足的问题,提出了一种行为建模方法。通过对UML活动图进行扩展,进而对系统行为进行描述,使行为模型具有计算完备性。在一定程度上提高模型驱动代码生成的自动化程度,进一步减少应用系统开发的工作量,同时提高系统的可靠性和可维护性。     

基于并行对象的可视化模型

提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象的静态信息进行描述。通过静态描述和动态描述自动为用户生成并行程序的代码框架。     

从UML类图到关系数据库表的代码生成方法

在介绍代码自动生成技术产生的背景及其应用的基础上，研究从UML类图到关系型数据库表的代码生成方法，其中包括UML类图到关系数据库表之间的映射规范和映射实现方式。最后分析了研究过程中存在的一些问题。     

UML2.0顺序图的时序描述逻辑语义

针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。     

Enthalpy of formation of liquid Cd+Ga+In+Sn, Cd+Ga+ln+Zn, Ga+ln+Sn+Zn and Cd+Ga+In+Sn+Zn alloys

Using a high temperature Calvet microcalorimeter, the molar enthalpy of formation of liquid quaternary and quinary alloys have been carried out at 730 K along several sections belonging to their barycenter. The well-known models for extrapolation ( Kohler, Muggianu, Toop, Hoch-Arpshofen and Mathieu ) adapted to the n-component systems have been used to predict the enthalpy of formation of the liquid systems : Cd+Ga+ln+Sn, Cd+Ga+ln+Zn, Ga+ln+Sn+Zn and Cd+Ga+In+Sn+Zn. Experimental and calculated results have been compared.     

EC + +与C + +嵌入式系统编程比较研究

文中主要阐述了在国外广泛应用的嵌入式系统面向对象编程语言EC ，比较了它与C 的区别，论述了EC 对嵌入式系统编程的优点。     

环Fp+uFp+vFp上的(1+u+v)-循环码

常循环码是一类重要的线性码,由于其纠错性能易于分析,因而广泛应用于实践中,同时,利用有限环上常循环码还可以直接构造最优线性码。定义了有限非链环[Fp+uFp+vFp]上[(1+u+v)]-循环码的相关概念,讨论了其生成多项式;引入了一种新的Gray映射[?],证明了该环上[(1+u+v)]-循环码在此Gray映射[?]下的[p]元象是一个长为[2pn]的2-准循环码,并由此构造出了两个最优二元准循环码。     

POI＋PLC＋IPC控制器组合

为满足现代控制系统对可靠性、复杂性、短开发周期及网络化管理的要求，该文在分析现有控制器组合形式特点的基础上提出了POI＋PLC＋IPC组合。该组合硬件可靠，多CPU协同处理，功能强大。该组合具有Ethernet接口，可以直接接入企业Intranet进而联入Internet实现网络化管理。该组合目前已应用于几类纺织机械控制系统中，其优良的性能在生产中得到了证实。     

C++对象布局分析

本文分析了目前最为流行的面向对象的开发工具C 的对象布局，并进一步分析了其形成原因。     

Quantum codes from cyclic codes over $$F_q+uF_q+vF_q+uvF_q$$

In this paper, we study quantum codes over \(F_q\) from cyclic codes over \(F_q+uF_q+vF_q+uvF_q,\) where \(u^2=u,~v^2=v,~uv=vu,~q=p^m\), and p is an odd prime. We give the structure of cyclic codes over \(F_q+uF_q+vF_q+uvF_q\) and obtain self-orthogonal codes over \(F_q\) as Gray images of linear and cyclic codes over \(F_q+uF_q+vF_q+uvF_q\). In particular, we decompose a cyclic code over \(F_q+uF_q+vF_q+uvF_q\) into four cyclic codes over \(F_q\) to determine the parameters of the corresponding quantum code.     

XP下Jdk+tomcat+eclipse+mysql快速搭建jsp环境

随着社会信息化程度的不断提高,越来越多的个人、团体需要甚至是企业级的应用程序。而Sun公司的JEE能很好地满足这种需求。JEE具有高速反应、安全性高、可扩展性好和集成化等优点,越来越多地软件开发人员认可和使用。然而开发人员在开发系统之前要做的重要工作就是要搭建一个JEE的开发环境,该文通过在XP下用jdk+tomacat+eclipse+mysql的安装、配制与调试,验证了这种方法是快速有效的。     

Sensors + agents + networks = aware agents

Software agents are being deployed in increasing numbers to help users find and manage information, particularly in open environments such as the Internet. For the most part, they operate independently and are typically designed to be aware only of their users and the environment in which they perform their tasks. Thus, they fail to take advantage of each other's abilities or results. For example, a shopping agent might periodically access several online databases to find the best price for a music CD and then purchase it if the price falls below its user's threshold. Other agents might be tracking prices for the same CD, duplicating each other's work. Similarly, if your agent and an agent for the person in the next cubicle are both browsing the same Web site, two identical data streams arrive on your LAN, using twice the bandwidth actually needed. To be more effective, agents must be aware of each other; therefore, they must acquire models of each other. One way to do this is by exchanging messages. A second form of awareness involves the state of the agent's own environment, including characteristics of the computer on which it is executing and its network connection. A third involves self awareness: knowing its name, age, ontology, goals, areas of expertise and ignorance, and reasoning abilities. Finally, the agent should be aware of its physical environment. The article explains how software agents can develop awareness     

Hibernate＋Spring＋Struts＋Ajax整合框架在企务通系统中的应用

研究了HSSA(Hibernate+Spring+Struts+Ajax)体系架构,并结合一个具体的企务通系统实例以开源框架Spring为处理业务逻辑的核心,向下整合Hibernate进行持久层访问,向上整合Struts和Ajax完成与用户的友好交互.实际应用表明,HSSA整合架构发挥了各框架在各个层次上的优势,降低了开发的难度,在可维护性、交互性上较之一般的J2EE开发有明显的优势.     

用C++Builder实现Word的自动化

在C＋＋ Builder的程序开发中，通过OLE Automation技术，实现Word的自动化。