检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西北工业大学计算机学院,陕西西安710072
出 处:《西安电子科技大学学报》2011年第1期171-175,共5页Journal of Xidian University
基 金:国家自然科学基金重点资助项目(60736017);国家863高技术研究发展计划资助项目(2009AA01Z147)
摘 要:由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.Traditional software reliability growth models based on the black-box approach are inappropriate to model the reliability of component-based software. How to analyze and predict software reliability from components' reliabilities is concerned. Considering that the component developer and user may be different and taking into accomlt the assembling methods of component-based software, a reliability prediction model of component-based embedded software is proposed. Using this model, the reliability of the system is a function of the stochastic properties of the component failure behavior, the architecture structure of the program and the utilization of these components by the user. The main ideas of this model are: firstly, the software architecture is modeled as a discrete time Markov chain, and complex structures such as parallel, redundant and subroutine calls are transformed from the architecture view to the state view, secondly, the developer of the component gives each interface's reliability of the component and the user provides the usage profile from the component level and interface level, on the basis of which we can calculate the eomponent's reliability in different use scenarios.
分 类 号:TP302.7[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.46