文档介绍：基于��娜砑�煽啃苑治瞿P�自动转换研究重庆大学硕士学位论文重庆大学计算机学院��跹��学生姓名:尹鲁燕指导教师:吴开贵副教授专业:计算机系统结构学科门类:工学二�欢�晁脑�
甈��甒��篊��’��,��
摘要系统建模,��远�;晃?煽啃苑治瞿P蚆��唇�醒芯浚�隽巳缦碌难�⑧��链、��仁��P途�S糜谌砑�煽啃苑治觯�庑┠P投匀�④基于上述的模型间转换方法,实现了基于��哪P偷組��吹淖远�关键词:软件可靠性,��琈��远�;�随着计算机技术的飞速发展,软件系统已经被广泛应用到人们工作生活的各个领域,人们对软件可靠性的要求越来越高,因此软件可靠性的研究已成为计算机发展的新方向。��魑C嫦蚨韵蟮耐骋唤�S镅裕�云淝看蟮慕�D芰Γ��全面地对软件系统进行描述,利用��P臀O低辰�2⒆远�;晃H砑�煽�性分析模型,可使可靠性分析工作变得方便而高效。针对以上分析,本文就��究工作:①概述了构件化软件开发的背景下,国内外在软件可靠性分析模型的研究现状,介绍了主要的三大研究流派及典型代表和借助��P妥远�;晃H砑��靠性分析模型的方法。②目前,基于��娜砑�煽啃苑治瞿P妥远�;坏难芯糠椒ㄆ毡榛��.�曜迹�狈Χ杂涤懈丛涌刂平峁瓜低车难芯浚�拗屏朔椒ǖ氖褂梅段А�本文通过对��.�曜嫉难芯浚�岢隽俗楹掀�蚊枋龈丛涌刂平峁梗�ò��组合片段的��美�肌⑺承蛲挤直鹱魑H砑�低尘蔡�投��慕�9ぞ撸��加入可靠性相关统计信息,作为软件可靠性分析的输入,同时为了便于描述,本文给出了用例图和顺序图的形式化定义。件开发人员数学背景要求较高,为减少软件可靠性分析的工作量,本文提出一种从��P偷饺砑�煽啃苑治瞿P蚆��吹淖;环椒ǎ�梅椒ɑ�谏鲜龃��组合片段的��P停�乖炝艘恢止辜�R仆嫉闹屑淠P停�怪�由杓颇P蚒�到可靠性分析模型��链实现自动转换并计算得到软件系统可靠性值,使可靠性分析方便、高效。生成系统,验证了方法的有效性和可行性。该系统支持��P偷牡既搿⑾低�模型构造、自动分析转换生成��链并计算得到可靠性。本文的研究能够更好地满足软件系统可靠性分析的实际需求,方法具有通用性和高效性,对相关领域的研究有一定的学术和实用价值。重庆大学硕士学位论文中文摘要
甎�,��琲��甅��.��.�甌��.�瑃��甌��,��’��.��.��瑃��,��.��.①��瑃��.��畇��②��.��琣��琣��琣��.��瑃��③��,��,��甌��,��琒��,��
琓��重庆大学硕士学位论文英文摘要��産��瑃��.④��甌��,��琧��,��琣��:��
录中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..�目英文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.��髀邸��砑�煽啃苑治龈攀觥��趗�的软件模型描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯��国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..��研究内容及主要工作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..��基于体系结构的软件可靠性模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯��美�己退承蛲肌��美�肌⑺承蛲级韵低辰�!��一个自动提款机的例子⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�重庆大学硕士学位论文��课题研究意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..��论文章节安排⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..��基于构件的软件系统⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..��软件可靠性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.��.��诼肪兜哪P汀��.��谧刺�哪P汀��