利用UML映射工具实现系统可靠性建模

许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法，但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉，他们通常使用统一建模语言（UML）来对系统进行描述，因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷，本文提出了一个利用UML映射工具实现可靠性建模的方法．同时以实际的例子演示了该方法的可行性。     

基于UML的软件Markov链使用模型的构建

构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为 Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.     

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

基于UML的面向方面建模方法

面向方面编程（AOP）技术通过横切关注来实现软件系统.面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发（AOSD）模型框架.从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法.利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系.协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成.基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性.     

基于Markov链使用模型的软件可靠性测评方法研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题.     

利用UML映射工具实现系统可靠性建模

许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法,但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉,他们通常使用统一建模语言(UML)来对系统进行描述,因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷,本文提出了一个利用UML映射工具实现可靠性建模的方法,同时以实际的例子演示了该方法的可行性。     

基于UML的复杂装备测试性需求建模

提出了一种基于UML的复杂装备测试性需求分析模型。首先分析了测试性需求分析过程;然后描述了统一建模语言（UML）测试性需求建模思想;最后构建了以用例模型、静态模型和动态模型为主的测试性需求分析模型,该模型详细描述了测试性需求分析过程中的系统信息管理和确定测试性指标要求的用例、对象信息以及交互行为,保证了信息的完备性和模型的有效性。通过开发测试性需求分析软件系统,并对某导弹进行测试性需求分析和指标确定,验证了结果的可信性和方法的有效性,为开展装备测试性需求分析和指标确定奠定了基础。     

基于Markov链的软件任务剖面建模方法研究与实现

针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具.通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值.     

基于优化Markov链使用模型的电子商务平台可靠性测试

近年来,随着互联网的迅猛发展,国内外消费者习惯发生了翻天覆地的改变,电子商务在消费市场上扮演着越来越重要的角色。电子商务平台作为电子商务的基础设施,支撑电子商务业务中信息流、货物流、资金流的正常流转,其可靠性高低对于电子商务有重要意义。本文,首先利用简化的可用性测试对Markov链使用模型进行优化,然后利用优化后的Markov链对电子商务平台实例进行建模示范。本文中提出的优化的Markov链使用模型,融合时下互联网行业的可用性测试,通过可用性测试获得符合实际使用场景的转移概率,建立的可靠性测试使用模型更有现实参考价值。该模型指导的可靠性测试能保证电子商务平台运行稳定,电子商务业务顺利进行,是电子商务发展的重要前提。     

扩展UML实现面向方面思想建模

面向对象编程（oov）技术的出现主要是为了解决代码重用问题。降低开发成本。面向方面编程（AOP）是面向对象编程（OOV）的进一步发展,它很好地解决了应用系统中分布于各个模决的交叉关注点问题,进一步提高代码的重用。目前已经出现了许多面向方面的编程语言,例如AspectJ、AspectC、Aspectc＋＋等,但面向方面建模的相关研究仍处于起步阶段。     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型,如用例图、顺序图、活动图,可以生成软件使用模型,进而可据此产生测试用例。     

基于嵌入式马尔可夫链的网络防火墙性能建模与分析

提出了一种基于嵌入式马尔可夫链的解析排队模型来分析和研究基于一定准则的防火墙在面对正常流量和DoS攻击时的性能。基于这种排队模型,得到了一组关于防火墙特征和性能的指标计算方法,这对防火墙的设计来说具有重要意义。同时还提出了一种易于实现的算法来得到这种马尔可夫链模型的状态概率,对防火墙的状态和性能也作了深入的分析。最后通过实验分析验证了提出的解析模型的有效性。     

Conditional probability Markov chain simulation based reliability analysis method for nonnormal variables

Based on fast Markov chain simulation for generating the samples distributed in failure region and saddlepoint approximation(SA) technique,an efficient reliability analysis method is presented to evaluate the small failure probability of non-linear limit state function(LSF) with non-normal variables.In the presented method,the failure probability of the non-linear LSF is transformed into a product of the failure probability of the introduced linear LSF and a feature ratio factor.The introduced linear LSF wh...     

基于Markov链的嵌入式系统硬件可靠性研究

嵌入式系统产品在使用过程中经常出现硬件故障,从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标,简单介绍了Markov过程理论;建立了单个IP硬核和嵌入式系统硬件的Markov模型;应用所建立的模型,对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明,该Markov模型能够准确描述嵌入式系统硬件的状态变迁,并能计算和分析其可靠度,具有一定的实用价值。     

基于Markov链使用模型的组件复用的统计测试

提出了用Markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,说明提出的方法是组件复用自动化测试的一种经济可行的方法。