【摘 要】
：
以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
南京航空航天大学计算机科学与技术学院科技创新资助项目资助
论文部分内容阅读
以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为"控制结构转移图"的中间模型,将标注了可靠性信息的UML模型转换为Markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性。转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化。
其他文献
业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的
目的探讨后路截骨矫形固定治疗老年骨质疏松性陈旧性胸腰椎骨折伴后凸畸形的临床疗效。方法 2007-04-2012-12采用后路Ponte截骨矫形手术治疗11例老年骨质疏松性多节段陈旧胸
在全球化和区域一体化背景下,海洋空间和海洋资源将成为区域竞争的主要焦点。长三角海洋经济区作为我国三大海洋经济区之一,海洋资源丰富、海洋经济发达。但海洋经济作为陆域
本文基于1992~2012年季度数据,运用扣除本地需求法,测算了2004~2012年人民币境外存量。结果显示,自2004年起人民币境外存量呈现稳步上升的态势,从2004年第1季度的105.5亿元,
<正>"柴、汝、官、哥、定"一语为瓷学家之恒言,皆宋窑名也。兹编断自宋始,则五窑不可以不详,其余有名各窑亦当递述也。说之如下:柴窑在河南郑州,即柴世宗所创也。相传当日请
本文着重的对Word软件中的四种比较讨巧的应用技巧进行了简要介绍,这几种方法能够提升信息自动化的办公水平以及电脑写作方面的能力,具有推广普及的意义。
分析一种基于ElGamal的前向安全签名方案。该方案满足前向安全性,但在签名者私钥泄漏后,签名是不安全的,即不满足后向安全性,有一定的局限性。该文引入强前向安全的思想,克服
图的Wiener指数逆问题在生物医学中具有重要的研究意义,对有目的地合成药物有重要的理论指导价值.研究一类给定直径的连通图的Wiener指数,讨论和刻画直径为d的n阶连通图中具
在复电阻率法找矿过程中,地形对勘测结果的影响不可忽略.本文利用有限差分法二次场模拟研究了带地形的三维复电阻率正演,对求解区域采用不规则正六面体网格剖分,利用不同块体
以计算机作为工具创作的计算机水墨动画代表着水墨动画艺术发展的趋势。其最大的特点是多视角追求意境美,其表现形式分为二维和三维,其应用范围包括广告、影视、游戏等。文章