一种UML软件架构性能预测方法及其自动化研究.pdfVIP

李传煌 等：一种UML软件架构性能预测方法及其 自动化研究 1513 软件设计产品除了应满足基本功能需求之外，还需满足质量需求．而作为软件质量重要组成部分的软件性 能，得到了越来越多的关注．传统的软件开发方法通常只重视软件的功能性要求，往往在系统测试之后，才确定 该设计是否能真正满足系统性能和可靠性等方面的需求．若不满足系统的性能需求，则重新设计软件系统，这将 导致整个项 目的成本急剧增加．如果在软件开发早期对软件模型的性能进行研究，将能降低软件开发的风险，减 少开发成本，优化整个软件设计过程．如，对现有 的软件架构设计方案进行定量的预测和评价，对各种设计决策 进行比较从而选择更优的软件架构设计方案等．因此，在软件开发早期对系统的性能进行预测和评估，对构造满 足用户性能需求的软件具有重要意义． 、 本文研究一种适合于UML软件架构系统的软件性能预测方法，该方法将系统UML模型扩展为 UMLSPT (schedulability,performanceandtime)模型，通过转换算法，将UMLSPT模型转换为排队网络模型；并依托于排队 网络分析理论进行求解，以获得系统性能参数．本文的主要贡献表现在：提出一种 UML软件架构性能自动化分 析的设计方法，并提供 自动化分析工具支持；研究包含分支节点和汇合节点的UML活动图转化为排队网络的方 法，并在排队网络中定义该类节点的转化形式；提出一种由 1排队系统构成的复杂开环排队网络性能参数 的求解方法． 本文第 l节介绍软件性能预测领域的相关工作．第2节详细叙述UML软件性能预测方法，主要包括软件性 能预测总体方案、UML模型的扩展、UMLSPT模型生成排队网络模型算法及排队网络模型求解方法．第3节 介绍软件性能预测 自动化工具设计方案．第4节给出软件性能预测实例．第 5节为结论及下一步工作． 1 相关工作 通常，软件性能由体系结构或设计问题引起，而非低效的编码造成川．早期的软件开发绝大部分在集成测试 阶段或更晚时才引入性能问题，如今已出现一些将软件性能分析集成在软件生命周期早期的方法．它们涉及不 同的说明语言和性能模型以及不同的自动化工具和性能评估环境，主要有：基于随机进程代数、随机Petri网方 法、基于仿真 的方法及基于排 队网络方法L2J．随机进程代数方法，如 TIPP(timeprocessesandperformability evaluation)[，EMPA(extendedMarkovianprocessalgebra)，】及PEPA(performanceevaluationprocessalgebra)[， 它们将行为与服从指数分布的随机变量相关联，并产生一个来 自系统语义模型的马尔可夫链，除了指数分布的 行为以外，它们也会考虑被动的和立即的行为；Petri网是一种图形化、数学化建模工具，能够提供一个集成的建 模、分析和控制环境，用来分析离散的并发系统．人们提出许多将UML规范和Petri网集成的方法，如文献[7]提 出通过用例图及 由协作图、状态图的组合产生通用随机Petri网(generalstochasticPetrinet，简称 GSPN)，其主要 思想是：将与每个协作 图的对象相关联的状态图转化成GSPN(其中，状态图中的状态和转移分别转化为Petri网 中的库所和变迁)，然后将不同的网组合成一个完整的模型．但文献[8】指出，这种转化存在重大的缺陷，即在组合 不同的网时，每个状态图中的转移与其他构件是共享的；基于仿真的方法主要是针对实时系统而提出，文献 [9]提 出一种基于仿真模型的方法，使用扩展UML图来描述当前的需求和资源使用情况，这种扩展使用了构造型、标 记值和约束．Arief和 Speirs在文献 【l0】中提出了另一种基于仿真模型的方法，他们描述了一种仿真框架，称为仿 真模型语言，通过实现面向过程 的仿真模型的系统UML规范，可以自动产生一个仿真的Java程序，SimML允许 用户利用用例图和顺序图及说明自动产生仿真模型所必须的信息；基于排队网络(queueingnetwork，简称QN)模 型的方法是 目前性能预测中应用较为广泛的一种分析模型，支持一些工具和算法，还可以扩展为扩展排队网络 (extendedQN，简称EQN)[”】和分层排队网络(1ayeredQN，简称 LQN)[】． 研究者们根据 UML不同类型图的特点，选取其中的几类图，基于图转换提出了多种从 UML描述到排队网 络模