Abstract: 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 functions, events and missions is presented. Software reliability design, test and control are inosculated in modeling.

Key words: software reliability model, software engineering, software test

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

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

CLC Number: 

• TP311