摘要
本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。
In this paper,the development process of a high dependability computer system is divided into four stages,including requirement,design,implementation,and integration,and it is introduced respectively the tasks related to the dependability and the application of dependability evaluation techineques in each of these stages.
出处
《计算机工程与科学》
CSCD
1998年第1期43-47,共5页
Computer Engineering & Science
基金
国家自然科学基金
关键词
可信性评价
容错
测试
计算机系统
dependability evaluation,fault,fault tolerance,testing,verifacation.
