收藏本站
《华东师范大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于语言的软件可信性度量理论及其应用

吴新星  
【摘要】:软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究内容.软件可信性度量的研究,需要有合适的度量方法,以形式化理论为基础建立软件的可信性度量理论与模型,从而给出对软件可信性的评价,使其能成为反映软件品质及其产品竞争力的一个重要指标.另一方面,在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是研究提高其可信性的方法之一而保证降级替换的正确性、评价降级替换的可信程度等问题也将是软件可信性度量研究的重要内容. 本文基于语言对软件系统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面: ■理论:(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.基于S-HCSP,先对其原子构造形式化地定义可信度,再利用经济学的木桶原理和太极图的阴阳转化平衡原理等对其算子定义可信度计算规则,从而建立S-HCSP的可信性量化理论;(2)概率拟Hoare逻辑(Probabilistic Quasi-Hoare Logic,PQHL)可信性量化理论.在Hoare逻辑(Hoare Logic,HL)的基础上提出PQHL,用于刻画程序的可信度,定量地描述理论与程序实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性以及解释可信度很高两个程序(或是构件)的串行复合之后可信度可能并不高等问题.证明了一种特殊概率拟Hoare逻辑—[α1,α2]1-拟Hoare逻辑的可靠性,并进一步分析了PQHL的思想背景及其与Hoare逻辑之间的关系;(3)Web服务降级替换可信性量化理论.在原有进程代数基础上添加超时处理算子和延时处理算子,从而给出了Web服务降级替换的一致性条件,保证了Web服务降级替换的合成正确性,进一步研究了Web服务降级替换的可信程度,建立了Web服务降级替换的可信性量化理论. ■应用:(1)将建立S-HCSP可信性量化理论的组合分析方法应用到基于语言的软件以及Web服务可信性度量的研究,分别建立了基于结构化程序设计语言的软件可信性度量模型和基于BPEL(Business Process Execution Language)的Web服务可信性度量模型;(2)将PQHL应用到基于构件的软件可信性度量的研究.以PQHL为理论基础,提出一种通过比较需求前置、后置与构件前置、后置之间差别来评价构件对需求实现程度的近似匹配度量方法.然后,通过复用构件之间的约束关系(顺序组装、选择组装和重复组装),建立基于构件的软件可信性度量模型. ■工具:以基于结构化程序设计语言的软件可信性度量模型为基础,利用Ruby/Tk开发了一个软件可信性度量的工具—软件可信性度量可视化工具(Software Trustworthiness Measurement Visual Tool, STMVT)通过STMVT可以对源代码(如,C代码)进行分析,从而计算程序的可信度,并给出程序抽象可信度的可视化、程序的可信度波动曲线等等.STMVT可以为软件的可信性评估提供参考,并有助于改进软件的可信性.同时,它也说明了本文所给的理论、方法和模型的实际可行性. 综上所述,本文基于语言来建立软件系统的可信性度量理论,并将建立的理论及其相关方法应用到具体软件和Web服务可信性度量的研究,还开发了相关的可信性度量工且STMVT.
【学位授予单位】:华东师范大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期
2 张扬汉;;基于Vague相似度量理论的园林喷灌设计方案评价方法[J];喀什师范学院学报;2011年03期
3 李季;刘春梅;;上下文感知在Web服务动态信任计算中的应用[J];计算机工程与应用;2011年22期
4 田俊峰;李珍;刘玉玲;;一种可信软件设计方法及可信性评价[J];计算机研究与发展;2011年08期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前7条
1 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 田鹤;赵海;赵佳丽;蔡巍;刘铮;;基于复杂网络的大规模软件分析平台的设计与实现[A];第八届沈阳科学学术年会论文集[C];2011年
4 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
5 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 吕欣;;信息安全度量理论和方法研究[A];全国计算机安全学术交流会论文集(第二十二卷)[C];2007年
7 黄珏;严洪森;崔志伟;;基于模糊度量的质量功能配置系统设计[A];2005全国自动化新技术学术交流会论文集(三)[C];2005年
中国重要报纸全文数据库 前1条
1 常建龙 刘伟 覃硕;“确实”:为软件创新筑巢[N];科技日报;2011年
中国博士学位论文全文数据库 前10条
1 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
4 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
5 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
6 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
7 史福贵;格上点式一致结构与点式度量理论及其应用[D];首都师范大学;2001年
8 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
9 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
10 陈立峰;倒向随机微分方程数值方法与非线性期望在金融中的应用:g-定价机制及风险度量[D];山东大学;2007年
中国硕士学位论文全文数据库 前10条
1 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
2 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
3 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
4 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
5 黄茗云;贝叶斯网络在软件可信性评估指标体系中的应用[D];山东轻工业学院;2009年
6 丁哲;迭代闭序列模式挖掘算法及其在软件可信性分析中的应用研究[D];兰州大学;2012年
7 杨静;软件可信性评估工具的研究与实现[D];西北大学;2009年
8 兰文辉;基于复杂网络的可信软件研究[D];大连理工大学;2010年
9 左伟东;基于“环境-行为”本体模型的软件可信演化研究[D];重庆大学;2011年
10 詹宝强;股市风险度量理论与实证研究[D];暨南大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026