"表达及其格式:-2011 王立福 软件工程自考"
在软件工程中,表达及其格式是一个重要的概念,特别是在统一建模语言(UML)中。UML是一种用于软件系统建模的标准化语言,它提供了多种图形表示方法来描述系统的不同方面。在UML中,状态转换是描述对象行为的关键元素之一。状态转换被表示为一条带有箭头的实线,从源状态出发并终止于目标状态。这种表示方式有助于清晰地展现对象在其生命周期中的不同状态以及如何在这些状态之间转换。
转换的格式通常包括以下几个部分:
1. 转换触发器:这是引起状态变化的事件,它以事件名和参数表的形式描述。例如,“buttonClick(‘OK’)”表示当用户点击“OK”按钮时触发转换。
2. 监护条件:这是一个可选的布尔表达式,用于确定转换是否可以发生。监护条件可以基于事件参数、对象的属性或者对象的状态。例如,“in State1”表示只有当对象处于State1状态时,转换才能执行;而“not in State2”则表示对象不处于State2状态时转换才有效。
3. 动作表达式:这是一段代码或操作,通常在转换发生时执行。它可以修改对象的内部状态或与其他系统组件通信。
王立福的《软件工程自考》课程中提到了软件工程的基础知识,强调了理解软件开发的本质和基本手段的重要性。软件工程不仅关注最终产品的生成,还关注开发过程的组织和管理。软件生存周期过程是软件开发的核心,它涵盖了从需求分析到软件维护的各个阶段。每个阶段都有特定的活动和工作产品,如需求规格说明书就是软件开发的起点,也是后续测试和验证的标准。
软件开发方法学是指导开发活动的方式,包括结构化方法、面向对象方法、面向数据结构的方法等。这些方法学提供了解决问题的不同途径,帮助开发者将问题域的概念映射到计算逻辑上。例如,面向对象方法通过数据抽象和过程抽象将问题空间的概念转化为可执行的代码,而结构化方法则侧重于过程的逻辑结构。
此外,课程还提及了CMM(Capability Maturity Model for software),这是一种评估和改进软件开发过程成熟度的框架,旨在确保能够生产出高质量的软件产品。软件工程的基本知识结构涵盖了从概论到软件开发方法学等多个方面,为开发者提供了全面的理论和实践指导。