软件工程：编码验证与王立福《软件工程》课件要点

"编码验证是软件开发中的一个重要环节，它涉及到对代码质量的多方面检查。根据北大王立福在《软件工程》自考课件中的讲解，编码验证需遵循以下准则： a) 编码应该能够追溯到设计和需求，确保代码的可测试性和正确性，同时符合需求和编码标准。这意味着开发者需要有清晰的设计文档和需求规格书作为指导，以保证代码的正确实现。 b) 代码应实现正确的事件顺序、一致的接口、正确的数据和控制流。这包括确保代码逻辑的连贯性，防止数据错误和控制流程的混乱。此外，还需考虑完备性，合理分配时间和规模预算，定义错误处理机制，以及进行问题隔离和恢复，以增强系统的健壮性。 c) 代码的选择应能从设计或需求中导出，保持设计与实现的一致性。这强调了设计阶段与编码阶段的紧密联系，避免因理解偏差导致的实现错误。 d) 通过严谨的方法证明，编码正确地实现了安全保密和其他关键性需求。在软件工程中，安全性和隐私保护是至关重要的，尤其是对于那些处理敏感信息的系统，必须确保代码在执行过程中满足这些关键需求。 软件工程不仅关注编码验证，还包括了从软件开发的本质到软件过程的多个层面。软件开发的本质是将问题域转化为计算逻辑，这涉及到了数据抽象和过程抽象的过程。数据抽象是指将问题空间中的概念转化为模型化概念，而过程抽象则是将问题空间的处理逻辑转化为解空间的计算逻辑。 软件过程涵盖了从需求获取、系统/产品需求规约、开发方法学到CMM（软件能力成熟度模型）等各个阶段。软件需求是开发的起点，它们构成了测试的基准。而开发方法学则提供了实现这些过程的路径，如结构化方法、面向对象方法等，每种方法都有其适用的场景和优势。 CMM模型则强调了过程能力的提升，以确保软件产品的质量和可靠性。软件工程的基本知识结构涵盖了这些概念，帮助开发者理解并有效地开展软件开发和测评工作。 编码验证是软件开发中不可或缺的一环，它要求开发者依据设计和需求，确保代码的正确性、可测试性和安全性，同时也需要在整个软件工程过程中，遵循合理的流程和方法，以保证软件项目的成功实施。"