【摘 要】
：
在开放环境下,软件规模日趋扩大,结构更加多元化,传统的基于状态的软件可靠性评估方法,状态空间膨胀增加了计算复杂度,而且不能对多种典型的系统结构进行很好的描述。为此,对
【基金项目】
：
国家自然科学基金（90818028）
论文部分内容阅读
在开放环境下,软件规模日趋扩大,结构更加多元化,传统的基于状态的软件可靠性评估方法,状态空间膨胀增加了计算复杂度,而且不能对多种典型的系统结构进行很好的描述。为此,对传统的方法进行了改进,用UML的用例图分解系统,序列图描述子系统,并都作为软件可靠性分析的输入,通过自底向上的方法评估软件的可靠性,符合当前大规模复杂结构的软件系统可靠性评估。
其他文献
当前大型集中式企业搜索引擎面临规模扩展、数据更新快速和用户需求专业化、多样化等一系列挑战。因此,在整个油田内建立一个高效、高质量的分布式搜索引擎体系架构,并保证不
Web扩展对于安全的一贯性具有综合影响。定义了影响安全模型的Web入侵、网络入侵与Gadget入侵的行为能力。提出了Web扩展模型具有Web概念的浏览器、服务器、协议的类、属性与
在物联网架构下给出家庭网关传感器网络接入模块的需求分析,基于物联网家庭网关的软、硬件平台及传感器网络的软硬件平台,提出利用串口接入传感器网络汇聚节点快速实现家庭网
IMS（IP多媒体子系统）给客户带来丰富的多媒体体验的同时,也对服务质量（QoS）管理提出了更高的要求,即针对不同用户定制的不同服务,网络运营商应该制定差异化的策略进行QoS管理。3G
为了挖掘工业企业能源监测点之间的预警关联规则,寻求生产过程中可能存在的能耗相关性,针对工业企业综合能耗具有的时间特征和空间特征,本文提出了一种新的基于结构化项集的
Web服务组合技术能快速、灵活的满足复杂多变的业务需求，Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向．给出了一个基于颜色Petri网（CPN）的Web服务和
针对具有双向等时延的二阶无向通信拓扑系统,采用带有通信时滞的线性一致控制率协议,分析了使系统稳定的条件。由于系统的阶次较高,直接对其特征方程进行分析是比较困难的,提