软件工程自考：理解状态图与被延迟事件的处理

在2011年的软件工程自考资料中，王立福教授详细讲解了软件工程中的关键概念，特别是状态图中的被延迟事件。被延迟事件是指在某个状态下无法立即处理的事件，这些事件通常需要通过队列机制进行管理，以便在对象的后续状态中适时处理。状态的规约是一个核心概念，包括命名规则、状态间的进入和退出效应、内部转移、子状态和组合状态的定义，以及如何处理被延迟事件。 在软件开发过程中，理解软件生存周期和其各个阶段是至关重要的。这涉及到软件过程的组织，如软件开发方法学，如结构化方法、面向对象方法和数据结构导向的方法等。CMM模型（ Capability Maturity Model for software）则提供了衡量和提升软件开发过程能力的框架。王立福强调，软件开发的本质是将问题域中的概念和计算逻辑映射到不同的抽象层次，例如数据抽象和过程抽象。 具体到软件需求与系统/产品规约，它是开发的起点，是测试和确认的依据。需求分析是实现这种映射的关键步骤，它使用相应的方法（如面向对象或结构化）来构建问题的模型，并确定处理逻辑。例如，通过对问题空间的概念和解空间模型化概念的映射，可以创建数据抽象，通过计算学生成绩的例子展示这一过程。 此外，软件工程的基础知识结构还包括软件过程的支持与管理技术，如活动的顺序安排，以及如何利用这些方法论来指导实际的软件开发工作。理解软件开发的本质和基本手段，对于从事软件行业的人员来说，是建立正确思想基础的基石。 总结起来，王立福在2011年的课程中深入剖析了软件工程的核心概念，强调了从问题域到抽象层次的映射、事件处理机制以及软件开发方法的选用，为软件开发人员提供了实用的理论指导。