基于MDA的抽象软件开发模型研究

发布时间：2020-10-25 08:03

　　 按照MDA的思想,软件开发是从不同的抽象层次、不同的视角,采用不同工具定义众多的软件模型,最终得到所需的软件产品。目前,在软件建模、软件过程和软件测试方面都分别有大量研究成果,并已得到良好应用,但在实际开发过程中,由于所使用的建模工具和选择的开发过程模型不同,导致开发人员理解困难和交流不畅,影响软件开发的效率与软件质量。本文按照MDA中元模型描述模型的思想,使用关系、函数等数学方法,为软件开发活动中软件建模、过程管理和软件模型验证三个关键环节分别建立三个抽象模型,提供了一个在不同抽象层次上划分开发任务、建立并验证不同类型软件模型的统一方法。本文的主要内容如下:1.建立抽象软件模型。将软件模型中的数据、功能和流程三个基本要素,抽象为关系、函数及函数序列,将函数序列在关系上的映射过程抽象为计算,提出了函数模型及抽象计算模型。函数模型可作为元元模型描述软件开发中所建立的多种软件模型,抽象计算模型可作为元模型在不同抽象层次上描述软件模型中的“逻辑计算机”。2.建立抽象过程模型。将过程模型中的任务和成果物抽象为执行函数分解和对函数分解描述,按照函数分解之间的依赖关系,提出了一个抽象过程模型,该模型可作为元模型描述软件开发中所使用的过程模型。3.建立抽象错误传播模型。分析错误在函数分解中的产生和成果物中传播的过程,提出了一个抽象错误传播模型,该模型可作为元模型描述错误在软件开发中产生和传播的过程。以数据流图建模、程序和错误不可消除证明为例,将所提出的三个抽象模型分别应用到分析设计、编码和测试阶段,验证了所提出的模型的有效性。
【学位单位】：重庆邮电大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：TP311.52
【部分图文】：

MDA概览

图 2.5 软件过程模型的基本内容软件过程建模的主要目的是建立软件过程的抽象模型，通过对该抽象模型的增加对过程本身的理解和认识，从而可以更好地实施软件开发活动。对于同一

图 2.6 SRGM 建模流程与基本功用图 2.6 源于文献[47]，给出了基于测试过程，SRGM 建模的基本流程以及 SRGM测试工作的基本功能和用法。步骤 1 描述了测试过程，在测试过程中获得的相关
【参考文献】

相关期刊论文 前10条

1 韩德帅;杨启亮;邢建春;;一种软件自适应UML建模及其形式化验证方法[J];软件学报;2015年04期

2 张宇;;计算机软件与软件工程[J];计算机光盘软件与应用;2014年09期

3 李永明;李平;;基于量子逻辑的图灵机及其通用性[J];计算机学报;2012年07期

4 徐高潮;刘新忠;胡亮;付晓东;董玉双;;引入关联缺陷的软件可靠性评估模型[J];软件学报;2011年03期

5 翟健;杨秋松;肖俊超;李明树;;一种形式化的组件化软件过程建模方法[J];软件学报;2011年01期

6 陈涛;丛国栋;于本海;张金隆;;基于风险管理的软件开发过程模型及其复合实物期权分析[J];管理工程学报;2010年02期

7 李明树;杨秋松;翟健;;软件过程建模方法研究[J];软件学报;2009年03期

8 杨学军;高珑;;错误流模型:硬件故障的软件传播建模与分析[J];软件学报;2007年04期

9 梁成才;章代雨;林海静;;软件缺陷的综合研究[J];计算机工程;2006年19期

10 熊伟;;顾客满意导向软件质量保证模型及其应用[J];中国质量;2006年03期

相关硕士学位论文 前1条

1 张怀向;基于数据流图的C~4ISR系统功能设计方法研究[D];国防科学技术大学;2010年

本文编号：2855678