【摘 要】
:
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此
【机 构】
:
重庆大学计算机学院,软件理论与技术重庆市重点实验室
【基金项目】
:
国家自然科学基金:自然最近邻居的特征分析与应用研究(61272194)资助
论文部分内容阅读
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。
其他文献
航空轮胎对于飞机安全性有着重要的意义,若发生轮胎爆破,起落架舱内的设备及管路系统会发生破坏从而引发重大航空事故,因此在设计阶段需要对起落架舱内结构进行优化设计,而飞
采用GX8高速摄影机在水下爆炸罐中进行0.8~2.4gTNT当量炸药爆炸试验监测,运用注水加压方式在模拟深水环境中实拍出气泡脉动过程。分析气泡半径、脉动周期与药量、水深之间的关系
面对异构信息空间中具有时间信息的大量相互关联的异构实体数据如作者、论文、产品、电影等,提出一个以实体及关联关系为中心的多层的时态数据模型,即多层的时态实体关联网络
针对TMN8码率控制模型存在的一些局限客观上限制了其在实时视频通信中性能的问题,提出了3个方面的改进措施:目标比特率计算、图像中心加权、分层次码率控制。同时,针对H.264码
提出基于稳定性、安全性、簇大小选择和簇首节点合理选择的方法,从逻辑上对整个网络进行了簇的划分并选出最佳簇首节点,引入基于自回归模型的间隙性异常识别,实现了在簇首节
为了分清齐发爆破和逐孔起爆的方式对岩体裂纹的影响,运用LS-DYNA动力有限元分析软件,分别对深孔三孔齐发起爆和深孔三孔逐孔起爆的爆生裂纹扩展机理进行了数值模拟,并描述了
针对临时堵塞内部结构不明的复杂情况,为确保在36m深水压作用下的施工安全,采用了循环开挖导坑、分部实施爆破的方法,应用水平多级楔形与垂直楔形组合掏槽技术对临时堵塞进行
为了降低沿空巷道上覆基本顶断裂、回转、下沉对人造帮稳定性的影响,采用预裂爆破技术提前预裂基本顶,减小基本顶在采空区的悬顶长度,降低人造帮载荷及其作用时间,提高人造帮的稳
在无线传感器网络中,MAC协议负责协调节点竞争,为节点分配共享的无线信道资源。使用节点采集信号强度信息来划分梯度,依据梯度将事件域内节点分配到不同时间空间中来竞争信道
为确保爆破实施后玻璃厂及厂房内机械设备的安全,确定地表安全允许振动速度为0.5cm/s。由于爆破振动速度控制要求极为严格,因此采用短进尺分层掏槽弱爆破技术,将爆破循环进尺