本书详细讲解了 CI 的一些主要特性。本书并不包含 CI 的所有内容和全部细节。CI 有一本出色的在线《用户指南》，它详细讲解了大多数的内容。它可以与 CI 一起下载。 本书并不想重复《用户指南》中的内容。相反，本书试图让你轻松了解 CI 框架是如何工作的，那么，你可以先决定它是否对你有价值，然后再阅读本书。 在试图解释 CI 是如何工作时，本书的某些内容已经超出了《用户指南》的范围。（《用户指南》更注重实际应用。）这意味着在“实战训练”中有一些非常理论化的章节。我发现这有助于理解 CI 内部

编写设备驱动程序》提供有关为面向字符的设备、面向块的设备、网络设备、SCSI目标和HBA设备以及USB设备开发SolarisolarisOperatingSystem,SolarisOS)驱动程序的信息。本书讨论了如何为符合SolarisOSDDI/DKI（DeviceDriver Interface/Driver-KernelInterface，设备驱动程序接口/驱动程序内核接口）的所有体系结构开发多线程可重入设备驱动程序。介绍了一种常用的驱动程序编写方法，该方法允许在编写驱动程序时忽略特定

LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。 LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模

模型检查和一致性测试在软件系统设计和实现中起着重要作用。 从将模型检查和一致性测试集成到紧密耦合的验证方法中的观点，本文提出了一种在软件实现中检测潜在错误的新颖方法。 潜在错误可以分为两种，一种称为不必要的实现跟踪，另一种称为被忽略的实现跟踪。 该方法补充了用于软件模型检查的安全属性的不完整。 更准确的模型的特征是可以利用基于模型的软件验证和测试组合方法的有效性。