一种基于任务-系统结构的软件可靠性建模方法

Modeling for Reliability in Task/Architecture-based Software

针对军用软件特点，提出并定义一种基于任务剖面的软件系统结构准则；基于该准则，给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同，该方法更注重在建模中融合软件可靠性设计、测试和管理，成为可靠性保证的一种途径。

In accordance with the characteristics of military software, a criterion for task-based software architecture is proposed and defined. A predictive method for layered reliability, ranging from function, to event and to task, is presented based on the criterion. Unlike other work which stresses mathematical modeling, this method emphasizes more on integrating reliability of software design, testing and management into the modeling, thus offering a guarantee of reliability.