UML状态图的测试用例自动生成

现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。     

基于UML的研究生管理系统测试策略研究

统一建模语言UML是一种描述能力强大并且涵义直观的标准建模语言。本文在介绍使用统一建模语言(UML)的各种模型图进行系统框架设计的基础上,分析了对应于不同模型图,在软件测试中相应的测试策略,最后讨论了未来可以研究的方向。     

基于UML状态图的面向方面软件建模

该文基于UML状态图对缓存并发读写问题进行面向方面的建模,把系统的同步和调度分离出来,建模为方面。该方法有效解决了面向对象中功能和代码混乱的现象,也提高了系统模块的可复用性。     

Two new control signal approaches for obtaining the MRAS-CDM and a real-time application

The coefficient diagram method (CDM) is one of the most effective control design methods. It creates control systems that are very stable and robust with responses without the overshoot and small settling time. Furthermore, all control parameters of the control systems are changed by varying some adjustment parameters in CDM depending on the demands. The model reference adaptive systems (MRAS) are the systems that follow and change the control parameters according to a given model reference system. There are several methods to combine the CDM with MRAS. One of these is to use the MRAS parameters as a gain of the CDM parameters. Another is to directly use the CDM parameters as the MRAS parameters. In the industrial applications, the system parameters can be changed frequently, but if the controller, by self-tuning, recalculates and develops its own parameters continuously, the system becomes more robust. Also, if the poles of the controlled systems approach the jw axis, the response of the closed-loop MRAS becomes more and more insufficient. In order to obtain better results, CDM is combined with a self-tuning model reference adaptive system. Systems controlled by a model reference adaptive controller give responses with small or without overshoot, have small settling times, and are more robust. Thus, in this paper, a hybrid combination of MRAS and CDM is developed and two different control structures of the control signal are investigated. The two methods are compared with MRAS and applied to real-time process control systems.     

基于Delaunay图的反向最近邻查询

将查询点作为Delaunay图的一个生成点,利用Delaunay图的生成点与其邻接生成点之间的关系,在查询点的邻接生成点集(元素个数小于等于6)中计算数据集中给定点的反向最近邻。把伴随Delaunay图增量生成过程产生的Delaunay树作为查询索引结构,该结构能存储Delaunay图,在数据点插入和删除时维护Delaunay图的拓扑结构。     

一种类间测试顺序改进算法

确定类的测试顺序是面向对象程序测试中的关键步骤。描述对象关系图模型,提出一种基于对象关系图的类间集成测试顺序改进算法,与Tai和Traon等人提出的算法相比,该算法需要的测试桩较少、效率较高。在Redflag4系统下用Kylix3(C++)对算法进行实现。理论分析和初步实验证明了该算法的可行性和有效性。     

A thermodynamic assessment of the nickel–lead system

Thermodynamic properties and the phase equilibria of the Ni–Pb binary system were assessed by the CALPHAD (CALculation of PHase Diagrams) method using the available literature data. The phase diagram and the excess Gibbs energy values of the solution phases, molten alloy and the fcc solid solution were modelled using the Redlich–Kister polynomials. The experimental data was fitted by a least squares method using MTDATA software tool.     

3D室内设计中的灯光处理

房间内的灯光的设置方法与理论有很多,怎样简捷地设置出灯光并能产生好的效果是我们要寻找的方法。该文以光度学中的点光源与线光源、太阳光、天光的设置中阐述了房间内灯光的布光方法。对3D初学者有一定的帮助。