文档介绍：葶震吁琵天学基于语言的软件可信性度量理论及其应用院系:软件学院专业名称:研究方向:博士研究生:指导老师:计算机应用技术软件可信理论与模型吴新星陈仪香教授二零一一年五月一令一一,牛直月届研究生博士学位论文学校代码:学号:
姗凰§ⅡⅢ’釸駽皿Ⅱ.::,::篜
作者签名:塑绝对本人签名:墨堑垦华东师范大学攻读硕士/博可牍囱学位期间,在导师的指导下进行的研究工作及取荖≥硼年厂月岁华东师范大学学位论文原创性声明华东师范大学学位论文著作权使用声明沼,苣在导师指导下完成的硕士/博士八请勾选宦畚模韭畚牡难芯砍晒榛6Ψ洞年沈噬郑重声明:本人呈交的学位论文《基于语言的软件可信性度量理论及其应用》,是在得的研究成果。除文中已经注明引用的内容外,本论文不包含其他个人已经发表或撰写过的研究成果。对本文的研究做出重要贡献的个人和集体,均己在文中作了明确说明并表示谢意。《基于语言的软件可信性度量理论及其应用》系本人在华东师范大学攻读学位期间学所有。本人同意华东师范大学根据相关规定保留和使用此学位论文,并向主管部门和相关机构如国家图书馆、中信所和“知网”送交学位论文的印刷版和电子版;允许学位论文进入华东师范大学图书馆及数据库被查阅、借阅;同意学校将学位论文加入全国博士、硕士学位论文共建单位数据库进行检索,将学位论文的标题和摘要汇编出版,采用影印、缩印或者其它方式合理复制学位论文。“内部颉吧婷堋毖宦畚,月日解密,解密后适用上述授权。授权。师导~涉密”学位论文应是已经华东师范大学学位评定委员会办公室或保密委员会审定过的学位论文韪交衽摹痘6Ψ洞笱а芯可昵胙宦畚摹吧婷堋鄙笈怼贩轿S行,未经上述部门审定的学位论文均为公开学位论文。此声明栏不填写的,默认为公开学位论文,均适用上述授权于、√
墨麴至博士学位论文答辩委员会成员名单姓名单位职称备注王董云卫西北工业大学傅育熙上海交通大学朱洪复旦大学刘静华东师范大学
摘要●理论:∩咸幔罥,用于刻画程序的可信度,,】釮逻辑的可靠性,,从而给出了降级替换的一致性条件,保证了窠导短婊坏暮铣烧沸裕徊窖芯苛薟服●应用:ń—可信性量化理论的组合分析方法应用到基于语言的软件以及窨尚判远攘康难芯浚直鸾⒘嘶诮峁够绦蛏杓朴镅缘娜砑尚判远量模型和基于腤服务可信性度量模型;玃τ玫交诠辜娜砑尚判远攘康难芯浚訮@砺刍。,,,需要有合适的度量方法,以形式化理论为基础建立软件的可信性度量理论与模型,从而给出对软件可信性的评价,,在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是研究提高其可信性的方法之一,而保证降级替换的正确性、,主要的贡献可以概括为以下几方面:将随机因素引入玫叫薷暮蟮挠镅猿莆猄—.基于狧榷云湓庸乖形式化地定义可信度,再利用经济学的木桶原理和太极图的阴阳转化平衡原理等对其算子定义可信度计算规则,从而建立狧目尚判粤炕砺郏概率拟狧的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性以及解释可信度很高两个程序蚴枪辜的串行复合之后可信度可能并不高等问了的思想背景及其与呒涞墓叵担窠导短婊豢尚判粤炕务降级替换的可信程度,建立了窠导短婊坏目尚判粤炕砺郏通过比较需求前置、后置与构件前置、后置之间差别来评价构件对需求实现程度的近似
发了一个软件可信性度量的工具一软件可信性度量可视化工具,.通过梢远栽创如,进行分析,关键词:可信性度量;混成进程代数;霍尔逻辑;概率测度;结构化程序设计语言;构件匹配;业务过程执行语言;,通过复用构件之间的约束关系承蜃樽啊⒀≡褡樽昂椭馗醋樽,建立基于构件的软件可信性度量模型.●工具:以基于结构化程序设计语言的软件可信性度量模型为基础,利用’/开从而计算程序的可信度,并给出程序抽象可信度的可视化、┎慰迹⒂兄诟慕砑目尚判裕保菜明了本文所给的理论、,本文基于语言来建立软件系统的可信性度量理论,并将建立的理论及其相关方法应用到具体软件和甧窨尚判远攘康难芯