10.3969/j.issn.1000-3428.2008.11.019
软件可靠性建模研究
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想.给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明.阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理.
软件可靠性模型、软件工程、软件测试
34
TP311(计算技术、计算机技术)
2008-08-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
52-54