Minix3相关论文
传统的自愈系统能够自主发现、诊断及排除错误,但是对用户存在影响并丢失组件间的状态一致性,不能够满足高可靠性和高可用性的要求......
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强......
MINIX操作系统最初是用于教学的一种类UNIX操作系统．随着MINIX系统的版本发展到MINIX3，系统架构相对于最初的版本有了根本的变化，功能......
