如果通过软件测试没有发现错误，则说明软件是正确的。

编程语言应该在软件概要设计时选择。

过程描述语言可以用于描述软件的系统结构。

一个模块实际上就是一个进程。

模块化使程序设计比较方便，但比较难以维护。

统一的建模语言，是一种软件工程设计语言。

数据字典是对数据流图中的数据流，处理过程、数据存储、数据的源和终点进行详细定义。

快速原型模型可以有效地适应用户需求的动态变化。

小李新接了一个项目：设计一个简单的学生选课系统，系统能注册符合要求的同学，同学注册以后就能进行选课，选课过程如下：先选课名，然后根据课程的上课老师、时间、地点和人数限制来决定是否成功选课；老师也可以根据情况提供新的课程说明或修改过去课程的说明；教务处的老师统一管理注册的情况，可以有删除、修改学生、老师和课程的权限。请用面向对象方法设计出对象模型（对象类图，标出多重性、角色、限定词和关系：泛化、聚集、关联）、动态模型（学生成功注册后选课的顺序图）、功能模型（用例图）三大模型。

根据以下描述，使用面向对象的分析方法，分析有哪些主要对象和这些对象的主要属性、方法，画出对象图。一个饮料自动售货机可以放置五种不同或部分相同的饮料，可由厂商根据销售状况自动调配，并可随时重新设置售价，但售货机最多仅能放置50罐饮料，其按钮设计在各种饮料样本的下方，若经金额计算器累计金额足够，则选择键灯会亮；若某一种饮料已销售完毕，则售完灯会亮。顾客将硬币投入售货机，经累加金额足额的饮料选择键灯亮，等顾客按键选择。顾客按键后饮料由出物口掉出，并自动结算及找钱。顾客可在按下选择键前任何一个时刻，可以拉动退币杆取消交易收回硬币。