面向软件错误构建可靠的分布式系统

【文件属性】：

文件名称：面向软件错误构建可靠的分布式系统

文件大小：1.9MB

文件格式：PDF

更新时间：2021-04-28 08:06:32

错误构建 分布式

本论文所描述的成果源于1981年开始的一个研究项目，该项目的目的是探索更好的编写电信应用软件的方法。电信类应用都是一些大型的程序，虽然经过了严密的测试，但是投入运行后难免会有许多错误。我们假设这些程序不可避免地会含有错误，进而寻求在软件包含错误的情况下构建可靠系统的方法。