排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的. 相似文献
2.
本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的度量模型,并给出了相应的缺陷矩阵度量方法;最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中,对各阶段的缺陷进行了度量,经实践和数据分析得出,运用此缺陷管理流程和度量方法可以为开发团队设定具体阶段目标和质量计划提供数据基础,为过程控制、过程评价、持续改进等提供量化管理的基础,表明本文改进后的缺陷管理流程和度量方法模型是有效的。 相似文献
3.
非编译成份包括注释、程序书写风格和命名规则等几个部分,其中程序书写风格可分为空白行、行缩进和换行等。合理地使用非编译成份,可以提高程序的可读性、可理解性、可修改性、可维护性等质量特性。然而,只有高质量的非编译成份才能起到期望的效果。本文旨在提出一种非编译成份的评价方法,促进这些成份质量的提高。在介绍每一种非编译成份后,分别提出了针对这些成份的度量方法。最后,采用加权合成的方式,得到非编译成份的整体度量。 相似文献
4.
5.
对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上,提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略,该策略在不生成积自动机的情况下,通过同步锁和相应的策略解决两种类型的同步问题,避免了组合空间爆炸问题。 相似文献
6.
为充分考察北京大兴国际南航基地1号机库大厅结构抗震性能,采用ABAQUS6.11对结构进行弹性时程分析和弹塑性时程分析,分析中采用ABAQUS提供的材料本构模型和用户自定义材料本构模型,计算了小震和大震作用下机库大厅的响应.计算结果表明:小震和大震作用下,机库大厅的柱顶最大位移角均小于规范限值.网架整体保持弹性,局部与柱顶相连部分有轻微屈曲;工字形双肢格构柱保持弹性,多肢格构式钢管混凝土柱的柱底有轻微屈服;格构柱柱间防屈曲支撑有轻微屈服,大门角柱普通支撑屈曲失稳.多肢格构式钢管混凝土柱和大门中柱的混凝土历史最大压应变均小于峰值应变.由于结构X方向长度较长,在计算的过程中,考虑了行波效应对结构的影响.大震作用下,考虑行波效应后,整体结构最大柱顶位移角有所增加,但依然满足规范限值. 相似文献
7.
本文提出了一个基于消息中间件的持久状态服务的扩展模型。与原持久状态服务不同的是本扩展模型增加了缓存管理,而且它是建立在基于内容订阅方式的消息中间件之上的。它不但移去了原持久状态服务频繁访问存储器而产生的瓶颈问题,而且以一种松散耦合的方式实现了在分布式信息系统中的持久对象数据的共享。 相似文献
8.
采用四甲氧基硅(TMOS)、硝酸锌和硝酸锰为原料,用sol-gel法合成了Zn2SiO4∶Mn2+荧光粉。XRD分析确定试样均为a-Zn2SiO4晶体结构。利用荧光分析测定试样的发射光谱和激发光谱,分析了所合成的Zn2SiO4∶Mn2+荧光粉材料发光强度,最强峰位等与初始原料用量、Mn2+粒子取代Zn2+程度、热处理温度等的相互关系,结果显示,首先采用TMOS过量1%的配比;其次,采用(2~3)℃/min的缓慢升温速度在1 120,1 150,1 050℃分别保温1,2,4 h;最后在空气中急冷获得的Zn2SiO4∶Mn2+荧光粉具有良好的发光性能。 相似文献
9.
10.
模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。 相似文献