软件可靠性建模研究  被引量:10

Study on Software Reliability Modeling

在线阅读下载全文

作  者:吴超[1] 林家骏[1] 俞岭 邵玮炜 

机构地区:[1]华东理工大学自动化研究所,上海200237 [2]总参通信部驻上海地区军事代表室,上海200082

出  处:《计算机工程》2008年第11期52-54,共3页Computer Engineering

摘  要:依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。According to software reliability characteristic, a software reliability modeling idea as its basic problem for solving the validity of logical thinking in the software development is put forward. A reliability define based on software invalidating process is brought forward, formalizing description and theoretic proving of a software systematic-frame principle based on "mission-event-function" are put forward. An estimating method of delaminating reliability in the reliability range from functioris, events and missions is presented. Software reliability design, test and control are inosculated in modeling.

关 键 词:软件可靠性模型 软件工程 软件测试 

分 类 号:TP311[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象