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

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

基于MDA的需求捕获工具的设计与实现

目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情景的捕获方式进行需求获取,同时支持以需求文档与XML的形式将需求模型导出,为需求模型到PIM模型的转换提供了足够信息。最后通过实例验证了该捕获工具的有效性。该工具弥补了MDA中没有独立需求捕获阶段的不足,在一定程度上完善了MDA的开发流程,提高了MDA软件开发的自动化程度。     

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。