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

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

一种基于矩阵度量的缺陷管理流程的改进与实践

本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的度量模型,并给出了相应的缺陷矩阵度量方法;最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中,对各阶段的缺陷进行了度量,经实践和数据分析得出,运用此缺陷管理流程和度量方法可以为开发团队设定具体阶段目标和质量计划提供数据基础,为过程控制、过程评价、持续改进等提供量化管理的基础,表明本文改进后的缺陷管理流程和度量方法模型是有效的。     

一种B语言描述的需求模型到PIM的转换方法

MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。     

源程序的非编译成份的度量

非编译成份包括注释、程序书写风格和命名规则等几个部分,其中程序书写风格可分为空白行、行缩进和换行等。合理地使用非编译成份,可以提高程序的可读性、可理解性、可修改性、可维护性等质量特性。然而,只有高质量的非编译成份才能起到期望的效果。本文旨在提出一种非编译成份的评价方法,促进这些成份质量的提高。在介绍每一种非编译成份后,分别提出了针对这些成份的度量方法。最后,采用加权合成的方式,得到非编译成份的整体度量。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

B/S模式下OA系统的权限控制设计与实现

通过分析现有权限控制模型,结合B/S模式的特征,论文提出了改进的权限控制模型,与在OA系统中的具体实现方法。     

MATLAB的Web技术应用与方法探讨

文中介绍了MATLAB Web应用系统的基本原理，给出了MATLAB Web程序处理的一般流程和相关配置文件的详细配置方法。文中指出了MATLAB Web开发中的两个关键问题(即MATLAB程序如何通过HTML页面获取输入参数和如何生成包含输出数据和图片的HTML文件)，重点阐明了该问题的具体解决方法，并且通过一个三角函数实例对其应用步骤进行了详细说明。     

状态图中可同步测试序列生成策略

对于由通信有限状态机构成的状态图的可同步测试序列的生成策略，一种现有的方法是由状态图生成相应的积自动机，然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上，提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略，该策略在不生成积自动机的情况下，通过同步锁和相应的策略解决两种类型的同步问题，避免了组合空间爆炸问题。     

北京大兴国际机场南航基地1号机库大厅弹塑性时程分析

为充分考察北京大兴国际南航基地1号机库大厅结构抗震性能,采用ABAQUS6.11对结构进行弹性时程分析和弹塑性时程分析,分析中采用ABAQUS提供的材料本构模型和用户自定义材料本构模型,计算了小震和大震作用下机库大厅的响应.计算结果表明:小震和大震作用下,机库大厅的柱顶最大位移角均小于规范限值.网架整体保持弹性,局部与柱顶相连部分有轻微屈曲;工字形双肢格构柱保持弹性,多肢格构式钢管混凝土柱的柱底有轻微屈服;格构柱柱间防屈曲支撑有轻微屈服,大门角柱普通支撑屈曲失稳.多肢格构式钢管混凝土柱和大门中柱的混凝土历史最大压应变均小于峰值应变.由于结构X方向长度较长,在计算的过程中,考虑了行波效应对结构的影响.大震作用下,考虑行波效应后,整体结构最大柱顶位移角有所增加,但依然满足规范限值.     

基于消息中间件的持久状态服务扩展模型

本文提出了一个基于消息中间件的持久状态服务的扩展模型。与原持久状态服务不同的是本扩展模型增加了缓存管理，而且它是建立在基于内容订阅方式的消息中间件之上的。它不但移去了原持久状态服务频繁访问存储器而产生的瓶颈问题，而且以一种松散耦合的方式实现了在分布式信息系统中的持久对象数据的共享。