CAREER: Mechanisms for Ensuring the Integrity of Distributed Object Systems

分布式对象计算是一种新的计算模式，其中独立的软件对象通过分布式计算网络相互交互。分布式对象计算的一个关键承诺是它可以极大地简化分布式软件系统的构造。然而，它也在确保对象之间交互的完整性和系统执行的可靠性方面引入了巨大的问题。本研究的目的是调查机制，以确保在分布式对象系统中的计算交互的完整性。特别是，两类机制的设计，实现和经验评估进行了研究：（1）正式的接口规范，它允许精确定义的对象接口语义，并提供了一种方法，用于自动检查符合接口语义在执行过程中;和（2）系统测试分布式对象系统的方法，在最小的侵入性方式。这项研究的意义在于，它解决了分布式对象系统的这些属性，使他们不适合使用传统的软件验证技术。这个项目的另一个目标是加强软件工程课程的内容，教软件工程的基本原则如何影响和分布式对象技术的独特方面的影响。 ***

9701973 Distributed object computing is a new computational paradigm in which independent software objects interact with each other over a distributed computing network. A key promise of distributed object computing is that it may greatly simplify the construction of distributed software systems. However, it also introduces enormous problems in ensuring the integrity of interactions between objects and the reliability of system execution. The objective of this research is to investigate mechanisms for ensuring the integrity of the computational interactions in distributed object systems. In particular, the design, implementation and empirical evaluation of two classes of mechanisms are investigated: (1) formal interface specifications, which allow precise definition of object interface semantics and provide a means for automatically checking conformance to interface semantics during execution; and (2) methods for systematically testing distributed object systems in a minimally invasive manner. The significance of this research is that it addresses those attributes of distributed object systems that make them ill-suited to the use of traditional software validation techniques. An additional objective of this project is to enhance the software engineering curriculum with content that teaches how the fundamental tenets of software engineering both influence and are influenced by the unique aspects of distributed object technology. ***