《软件工程教学课件》05_代码生成之道.pptx

软件工程大连理工大学软件学院第5章 代码生成之道考虑设计方案向实际运行方式的转变过程，即由概要设计产生出对应的程序代码框架的过程。工程化的设计方法将导致程序代码具有更好的可实现性、更好的可维护性和可修改性以及更好的可扩展性。先对类图到可运行程序的基本转换过程进行概要的说明，然后考虑对其优化和细化的过程。大连理工大学软件学院CASE工具大连理工大学软件学院软件开发环境指支持软件开发的工具及其集成机制，用以支持软件开发的过程、活动和任务，为软件的开发、维护及管理提供统一的支持，也即计算机辅助软件工程（CASE）。不同类型的项目其软件开发环境的构成是不一样的，在工具选择上也会有较大的不同。工具的选择会对开发过程的选择产生一定的影响，因为不同的工具组合对开发过程的支持能力会有所不同。同时涉及到工具的集成问题。集成开发环境（IDE）是软件开发环境中的一种实现方式。“变更”的管理方式大连理工大学软件学院需求分析、概要设计和详细设计阶段只进行一次或者迭代-增量式的进行。每次修改只发生在代码，其它文档不做更新。每个改动的意愿都要经过完整的分析、概要设计和详细设计流程，所有必须的改动需要在所属的文档以及代码中对应修改，并保证它们的一致性。以上两种方式的选择需要根据项目需要进行确定，或者在两者之间折中。逆向工程大连理工大学软件学院逆向工程的作用是将代码的修改反向映射回类图的设计中，从而在设计与代码实现之间保证一致性。逆向工程的一种特殊的情况是设计图纸完全由代码生成。逆向工程使得所有的开发都可以在CASE工具中同时展开，并使得设计类图与实现之间的相互对应。逆向工程需要设计和编码工具紧密集成和配合。单个类的代码实现一个类图如果要成功翻译成为代码的蓝图，类模型中的内容必须要完整。需要包含的信息：每个实例变量，需要指定其类型；每个方法中的参数和返回值，需要指定其类型；每个关联关系，其关联类型、使用或导航方向必须说明。大连理工大学软件学院类的信息与基本实现大连理工大学软件学院带有下划线的方法和属性表示静态方法和静态变量。静态变量的使用需要仔细斟酌，因为破坏了面向对象的本地性（封装性）原则。静态变量和静态方法通常用在一般性的常规工作，如记录文件的存储路径，常规的数值计算等（工具）功能。方法参数的输入输出类型：in, out, inout。上图中的类对应的5.Employee.docx代码实现。实现上的补充CASE工具能够自动进行整个项目代码框架的生成，具体业务的代码一般需要人工补充。业务越复杂，代码能够自动生成的可能性就越低，对于这部分需求还需要工具的开发者为此付出大量的努力。public Employee(String firstname, String lastname){this.firstname = firstname;this.lastname = lastname;this.empno = Employee.empcount++;}@Overridepublic String toString(){return empno + : + firstname + + lastname;}大连理工大学软件学院关联关系的实现通过关联的定义明确了类与类之间的静态关系，关联关系的实现最终体现为对应类中增加的实例变量（成员变量）。变量存在的具体形式依赖于关联的具体类型。大连理工大学软件学院导航至“可选”方向5.Association.docx对应代码多重性“0..1”明确了项目任务可以不分配工作人员，即在代码中对应类的实例变量可以不赋任何值，在类构造时也可不必对该变量初始化，在具体编程语言中通常通过一个对空值（NULL）的引用，不分配任何存储空间。实例变量并不需要在声明时赋值，可以通过set方法在后期需要的时候赋值。实例变量pincharge声明后可以一直为NULL值，但却不能通过任何的方法显式的对其赋予NULL值，这是隐含的业务规则。大连理工大学软件学院导航至“唯一”方向描述一个项目任务对象必须要有一位工作人员对应，也就不存在是否可以对该变量进行空值引用的问题。为确保以上约定，可以在该实例变量声明时同时赋予初始值，可以按照如下的方式进行实现： private Employee pincharge = new Employee();该类的每个构造函数中对实例变量pincharge都需要指定一个有意义的值。这时可以将实例变量声明时的初始化去掉。大连理工大学软件学院导航至“任意”方向描述一个项目任务可以安排任意多个工作人员与之对应。这些工作人员也是通过实例变量pincharge进行管理的，只是这时该变量的类型应为某种集合类型（集合类型在C++中也叫Container）。大连理工大学软件学院基本的集合类型元素顺序要求元素唯一性要求集合类型不要求无重复{uni