基于形式化规格说明的UML状态图提取

为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。

构件行为模型的构造研究

提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测试的测试模型,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。

基于UML序列图的测试方法

提出了一种基于UML序列图的面向对象类簇级测试的方法。这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,并根据序列图对代码进行插桩,构造测试模块;最后测试驱动器执行测试模块得到测试结果。该方法也支持UML2.0中为序列图添加的新特征。