基于MARTE模型的系统性能评估-计算机科学与技术专业论文.docxVIP

学位论文使用授权声明 水人 /é 升飞 J íf!!I )j:1+1 ).:_/天 j二 q，(曰:、 f U兵和 1业川 /fl:it义 I J ); 屯. 1!1l: }:f亿 tl: 主均 f1: H 1) 1J，)J jJ: 州大12 . Ahfjf:qit 立 Il!. {ι怕的 IJ才有平IIf1U贞i含义的内轩牛 11 .业 ，)j 州火;!:-1f 仪 I;J Ilil;在|剖 I tí{、， 11\1 fl:抖院文，};I: fij 息的ml心、 t什l小叫11叫斗干科?斗r↓γ7气、/:技14 斗术之 f，λ. f刊iJ (光血)版挝) 山1l!.子{-♂朵六 J忐卡衬祉l:l送恙欠 4水二二平;E叫严{位、豆，J.t论仑义文:白f内阳I((的J 豆tL印f扑!斗l仁牛LF干λF刊扣|川iυ山! l!.[-义文:丰Ft1l 川;胧;彤!j[印11 、fiHi 印旦必荣j兀u他也1豆4引I刊Jf段仅有平lI r 纳学忖论立， 1可以将学 f.i.ì企立的命i刊!.xt刊;分内有灿入{f尖 段时W.ill f j t L索。 j步;牛f 论文:[_， 本学位冶文 jls-11 (_t {I二 月解:中i }月lIT时本规应。 11 涉也;论支口 川111M: 2 叫立11 J札 刘Jr .ot . Or t 川i 骂名:i今轩 WJ : 四 06. oj I I 基于 MARTE 模型的系统性能评估 中文摘要 基于 MARTE 模型的系统性能评估 中文摘要 随着计算机技术的发展，仅功能正确的软件已不能满足用户的需求，用户对软件 的非功能属性，如软件可靠性、安全性等的要求越来越高。统一建模语言 UML (Unified Modeling Language)可以从多个角度来描述系统的结构、行为特征，是一种通用的、 标准化的建模语言，已成为事实的工业标准。MARTE (Modeling and Analysis of Real Time and Embedded system)规范，弥补了 UML 在非功能属性建模上存在的不足，是 UML 在嵌入式实时系统领域的扩展（UML profile）。MARTE 模型由 UML 和 MARTE 规范组成，UML 描述系统的功能，MARTE 规范添加性能相关参数信息。 传统的软件开发方法通常是在软件开发结束后对系统进行性能评估，可能会发现 由于软件开发早期的架构设计不合理导致的问题，这时再修改系统架构并重做后继开 发步骤，将会浪费大量人力和物力。如果在软件开发的早期阶段对系统进行性能评估， 可以尽早地发现软件系统架构中存在的性能瓶颈问题，可以对软件系统架构的多种设 计方案进行比较，以寻找最优的设计方案。本文的系统性能评估框架是在软件开发的 早期阶段,对系统模型—MARTE 模型进行性能评估。该框架考虑的 MARTE 模型包含 用例图、活动图和部署图。性能指标主要针对系统可靠性和某一资源的使用情况。系 统的可靠性是在规定的条件和时间下系统无故障运行的概率。该性能评估方法首先将 MARTE 模型转换为马尔可夫决策过程网络模型，然后利用概率模型检测工具 PRISM 进行分析,得到系统可靠性的评估结果。对于资源使用情况的评估，我们采用压力测 试的方法，考察在极端环境下，系统对资源的需求量。该性能评估方法首先从 MARTE 模型中抽取系统的全部执行路径，然后分别运用了两种优化方法：约束规划和遗传算 法，求得系统资源的最大压力值和这压力值下的任务调度。针对系统可靠性和系统资 源使用情况，我们分别实现了相应的性能评估工具，并通过实例验证了方法的可行性 与正确性，对相关领域具有一定的学术和实用价值。 关键词：系统可靠性；压力测试；MARTE 模型；约束规划；遗传算法 作 者：柴叶生 指导老师：张广泉，朱雪阳 Abstract MARTE Models based System Performance Assessment MARTE Models based System Performance Assessment Abstract With the wide use of computer systems, system performance, or non-functional requirements of the systems, gets more and more attentions. Traditionally, the performance of a system is evaluated after it is implemented. Some problems found at this stage may need gre