基于序列的软件可靠性分析方法研究

被引量 : 0次 | 上传用户:laire723
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近几年,基于构件的软件开发方法正逐步成为软件开发的热点和主流方法。但是,一方面,构件的即插即用性质带来了此类软件体系结构的灵活性和易变性,因此,相比较于传统软件质量来说,在开发过程中此类软件的质量更加具有突变性,也更加难以预测;另一方面,此类软件在本质上的增量式、迭代式开发特点,决定了在开发过程中它们的构成成分(即:构件)的选择或然性以及需求和实际构成成分之间绑定的延迟性,加上构件的封装特性所带来的内部细节的不可见性,使得此类软件的质量估计常常在不完全信息的前提下进行。因此,如何确保在COTS(Commercial Off-the-Shelf)构件的基础上构建的软件的质量,如何在软件开发过程中准确地监测和把握软件质量,尤其是可靠性,成为挑战性问题。为解决该问题,研究人员提出了各种基于构架的可靠性分析技术和方法。但这些方法在两个方面仍有不足,一是它们大多基于可用信息的子集进行分析;二是它们大多没有考虑可靠性的环境依赖性质,即同一个构件在不同的环境中可能表现出不同的可靠性。因此,本文以基于构件软件的开发模型为基础,提高可用信息利用的充分性和自然性:同时,借鉴基于软件行为和场景的方法,提高可靠性估计的准确性。在研究中,本文首先通过基于构件软件及其开发过程的原理性分析,提出了刻画软件可靠性规约的基于序列的场景模型,并从软件行为的角度给出了相关算子的定义;然后借助OCL(Object Constraint Language)描述序列之间的关系,给出了模拟软件行为的场景的合成方法,和扩展UML序列图的场景模型构造方法:最后,给出了基于场景的软件可靠性分析方法。在上述研究的基础上,本文在Eclipse环境下设计并实现了基于场景的构件软件可靠性分析工具SoBSRA。该工具支持基于构件软件的可靠性规约描述,支持基于序列的场景模型建模,支持序列和场景的合成,以及支持构件软件的可靠性分析等。论文针对基于构件软件及其开发过程的特点,给出的基于场景的构件软件可靠性分析方法适用于基于构件软件的动态开发过程的各个阶段。其支持工具以UML序列图扩展为基础,与基于构件软件开发过程和通用开发环境Eclipse自然衔接,提高了方法的实用性和易用性。论文工作还可以延伸到基于构件软件的测试和面向服务软件的质量保证。
其他文献
当前,中华民族整体上处于一个新的历史关节点,就中国本身而言,其发展经历了系统性的国家发展的不同阶段后,正在处于整个民族伟大复兴和构建新的国家治理形态的新的历史阶段中;而从
研究生教育质量问题是一个受多方面影响因素作用的复杂问题,其中大量的影响因素都难以量化。将德尔菲法与层次分法(AHP)结合,按影响研究生质量的程度进行排序,可确定影响我国
改革开放以来,中国政府因势利导地在对苏对俄政策上采取了一系列措施,使中苏关系实现了正常化并平稳过渡到中俄关系。此后两国关系获得稳步发展,并逐步形成一种适合两国的新型国
精神分析学派、特质学派、生物学学派、人本主义学派、行为主义学派以及认知学派构成了人格心理学的主要学派,它们对于我们理解人格的本质作出了贡献,且至今仍以不同的形式活
随着现代设计和制造技术以及计算机技术的发展,反求工程在机械、汽车、模具等工程领域获得了越来越广泛的应用。散乱数据点的三角网格剖分是反求工程中的第一个重要环节,是进行
内质网(endoplasmic reticulum,ER)是蛋白质修饰、折叠和钙贮存的场所。ER内未折叠或错折叠蛋白积聚和钙平衡失调均可导致ER应激。早期的ER应激或未折叠蛋白反应,是一种自身
捷联惯性导航系统的软件在导航系统中发挥着至关重要的承载和核心作用。在军事上,随着武器性能的不断提高,导航系统的规模变大,交互性更强,约束增多,结构也更复杂,传统的导航
<正>在本文中,我想谈三个问题:一、善啖;二、意匠;三、王铎意匠。善啖据《爝火录》卷十记载:(顺治二年五月)二十五日丙午,执福王至南京…时诸臣皆拜,独王铎直立戟手。数其罪
<正>编者按:清代学术在中国文化史上占有重要地位,而乾嘉学派为其正宗。在庞大的文字学和金石考据队伍中,以善写篆隶为表现学问的一种标志,也为日后碑学问题的提出与发展奠定