摘要
覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法，总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例，说明了这些方法在容错系统可靠性评估中的应用。
Coverage is an important concept in fault tolerant systems design and evaluation. This paper presents the approach of constructing and solving coverage model based on behavioral decomposition teehnique.It discusses some problems of coverage evaluation using the method of fault injection.By qiving an example of duplex system,the paper describes the applibation of these methods in dependability evaluation of fault tolerant systems.
出处
《计算机工程与应用》
CSCD
北大核心
1999年第10期8-10,共3页
Computer Engineering and Applications
基金
国家自然科学基金
关键词
覆盖率
可靠性
评估
容错计算机系统
coverage, dependability evaluation, behavioral decomposition, fault injection
