基于部件设计的可靠性研究

摘要

研究基于部件设计的可靠性问题，首先提出了一个基于部件设计的模型：如何抽象地描述一个部件？如何利用已存在的部件构造新的部件？如何在给定部件实现的情况下，静态地验证部件的正确性？然后讨论在部件实现不可知的情况下，如何利用包裹（ｓｒａｐｐｅｒ）技术和虚拟部件行为模式动态地检测并保证部件运行的正确性。