摘要：传统的Usecase模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成。给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念。扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中。依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性。

摘要：从软件需求模型到软件设计模型映射是软件工程领域研究难点之一。为提高软件设计质量,增强面向对象软件系统的模块独立性,减少类与类之间的耦合,研究了基于公理设计的面向对象设计方法过程模型,分析并统一公理设计过程与面向对象设计过程相关概念。将公理设计中的"之字形"映射方法及独立设计公理应用于用例模型,特征模型和属性模型之间的映射,从而控制映射过程中软件设计的耦合程度。