文献类型：期刊文献

中文题名：软件可靠性建模研究

英文题名：Study on Software Reliability Modeling

作者：吴超[1];林家骏[1];俞岭[2];邵玮炜[2]

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

年份：2008

卷号：34

期号：11

起止页码：52

中文期刊名：计算机工程

外文期刊名：Computer Engineering

收录：CSTPCD;;北大核心:【北大核心2004】；CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：软件可靠性模型;软件工程;软件测试

外文关键词：software reliability model; software engineering; software test

摘要：依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。
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.