南京晓庄学院软件工程 停车库控制系统实验

1、停车库控制系统组长：12130440 张嫚 组员：12130436 薛何芹 12130437 颜莉 12130438 杨欣怡 12130439 张君水 停车库控制系统项目任务书 1、简介停车库管理系统是以一种高效、公正准确、科学经济的停车场管理工工具，实现停车场对于车辆动态和静态的综合管理。如今随着城市机动车辆日益增多，许多大中型大厦、社区等都面临着数百辆甚至数千辆的日常管理工作。停车库管理系统通过出入车辆的情况来控制停车库入口的状态。在不同的时间段，也可以将该系统设置为不同的模式，在停车位充裕的情况下或固定的时间段，可以将系统设置为开放模式（入口大门从来不锁），当然，在停车位紧张或者固定的时

2、间段，可以将系统设置为关闭模式（入口大门全部锁住），在平时也可以设置为自动模式（根据停车库是否有空位锁住或解锁入口大门）。车位满位后，立即在屏幕上显示。并且可以显示哪些停车位是否为空，以方便管理员指引停车者。也可以根据车辆进出的时间来实现计费收费功能。2、 产品远景跟项目范围 产品远景说明停车库管理系统能够高效的管理并统计停车库的车位情况，方便管理人员管理和调度，以减轻停车库管理人员的劳动强度，从而提高工作效率。主要特性停车库管理系统将：l 监视停车库的已占用的停车位是否达到了用户设置的数量。l 允许用户设置固定的模式。l 可灵活的与其他设备连接，控制诸如：出入口按钮，门，闸，刷卡器等，可方便

3、的按用户要求更改。l 具有基于web的模拟系统。3、 目标市场 停车库管理系统针对大中型大厦、社区、学校、街道，这些地方每天的停车数量比较多。这种产品的目标客户是准备利用比较经济的系统替换其当时的人工指挥的消费者。4、 利益相关者 管理人员投资这个项目的投资者。 开发人员停车库控制系统由5人组成，其中包括1名项目组长和4名计算机从业人员。 买方停车库管理员、企业或社区负责人、企业工作人员、社区居民。 用户停车库管理员、企业或社区负责人、企业工作人员、社区居民，小型企业的维护人员。5、 假设和约束 假设开发人员认为下列条件一定成立：l 停车库管理系统可以使用标准的控制设备、传感器。l 停车库管理

4、系统可以连接标准的监控设备。 约束产品必须满足下列限制：l 产品将实现停车位情况控制的管理，但是产品设计不排除最终包含定时器控制的管理。l 现场安装的产品和Web模拟器将使用相同的核心控制软件。6、 业务需求 停车库管理系统必须把停车数量控制的管理确立为可行技术。停车库控制系统必须是一种软件控制系统，可以通过传感器监视停车库内是否还有停车位，还控制着街道上指示停车库是否有停车位的信息牌，并且还可与操作人员进行交互。 停车库管理系统利益相关者目标列表 停车库管理系统利益相关者目标列表如图所示。利益相关者类别目标管理人员达到业务需求开发人员达到业务需求创建高品质、可维护的产品创建可在今后产品中重用

5、的代码库买方以最低的价格购买满足管理需要的产品购买操作费用低的产品购买维护费用低的产品安装人员获得安装简便的快捷产品操作人员可以设定系统模式在特定时间进行可以迅速设置和修改系统模式和停车位数量可以在不必查阅说明书的情况下迅速设置修改停车位的总数量和停车场的布局维护人员在产品不能正常工作时，可以迅速和简便的识别可以迅速和简便的发现问题可以迅速和简便的解决问题产品能够从常见障碍（如电压或短路）中恢复Web管理人员模拟系统易于安装和维护停车库控制需求列表1、 简介 这个要求列表并不包含详细的要求。但是相反，它只规定与主要的利益相关者目标和任务有关的用户级要求。要求的优先级使用使用5分制确定，1表示最

6、高级。有相机标注在要求说明后面的圆括号内。2、 约束管理人员、开发人员和营销人员要求停车库控制系统的第一个版本在开发项目启动后的一年内投放市场。（2）管理人员、开发人员和营销人员要求停车库控制系统包含可在今后产品中使用的基本停车控制软件。（1）安装人员要求可以使用标准工具或者随产品提供的工具对停车库控制系统进行配置。（1）3、 功能要求管理人员、开发人员和营销人员要求停车库控制系统主要车位控制的管理产品。（1）管理人员、开发人员、营销人员和买方要求停车库控制系统具有基于Web的模拟系统，且至少有80%的用户认为它可以准确模拟实际产品及其应用。（1）管理人员可以进行充值。（1）安装人员和维护人员

7、要求停车库控制系统允许设置时间段。（1）操作人员要求停车库控制系统允许他们将系统调整到特定时间段。（1）操作人员要求停车库控制系统允许他们查看停车库的状态。（2）操作人员要求停车库控制系统允许他们调整车位数量。（1）管理人员、开发人员、营销人员、买方和操作人员要求停车库控制系统的车位已满时即启动关闭模式。（1）买方和操作人员要求停车库控制系统允许他们设置停车库中的最大车位数。（3）维护人员要求停车库控制系统检测信息牌和传感器的故障。（2）操作人员要求停车库控制系统检测信息牌和传感器的故障时能够尽可能继续工作。（2）维护人员要求停车库控制系统报告系统是否检测到故障组件。（3）操作人员和维护人员要

8、求停车库控制系统在不能正常工作时报告系统的故障。（4）维护人员要求停车库控制系统报告出现故障的硬件组件及其位置。（3）维护人员要求停车库控制系统能够在不经维护人员干预的情况下从常见故障（如电力故障）中恢复。（2）4、 非功能要求管理人员、买方和营销人员要求停车库控制系统能够控制3万平方米的停车场。（1）安装人员要求能够对停车库控制系统进行配置，以改变系统的模式、传感线的数量以及大门和传感器之间、信息牌和传感器之间的关系。（3）管理人员在可以上网的环境下就可以操作停车库的设置。（1）开发人员要求停车库控制系统开发成可维护型。（1）开发人员要求停车库控制系统包含可以在后期产品中重用的控制软件组件。

9、（1）维护人员要求停车库控制系统不会因其他故障而发生故障，换言之，能够阻止故障串联。（2）营销人员和维护人员要求停车库控制系统具有很高的可靠性（在正常操作下，每月发生的故障不超过1个）。（1）公司Web站点的Web管理人员要求停车库控制系统抑郁安装和维护。（3）5、 数据要求安装人员要求停车库控制系统以持久方式记录系统配置，以便在发生电力故障后对其进行恢复。（2）维护人员要求停车库控制系统能够记录故障硬件组件的位置。（3）6、 接口要求安装人员要求在阅读说明书不超过30分钟的时间后，每个大门的停车库控制系统配置时间不超过1分钟。（4）操作人员要求停车库控制系统具有一种接口，允许他们在阅读说明书

10、不超过5分钟的时间内对控制时间进行配置或典型修改。（2）操作人员和维护人员要求能够从一种中央控制面板操作停车库控制系统。（2）管理人员、营销人员、买方和维护人员要求停车库控制系统能够控制各种传感器和其他必须的外部设备。（5）停车库控制系统用户级需求1. 简介1.1 停车库控制系统必须是一种软件控制系统，可以通过传感器监视停车库内是否还有停车位，还控制着街道上指示停车库是否有停车位的信息牌，并且还可与操作人员进行交互。1.2 软件在交付时必须包括：·基于web的模拟系统·控制硬件的软件 .连接外部设备的接口2. 功能需求2.1设置参数2.1.1停车库控制系统必须允许设置其模式

11、（开放、关闭或自动）。2.1.2停车库控制系统必须允许设置最大停车位数。2.1.3停车库控制系统必须允许设置街道上信息牌上的停车位数量。2.1.4 停车库控制系统必须允许设置车位号。2.1.5 停车位控制系统必须允许设置当前时间。2.2一般操作2.2.1 停车库控制系统必须允许在开放、关闭或自动模式下进行操作。2.2.2 停车库控制系统必须监视停车库空车位的数量。2.2.3 停车库控制系统必须检测传感器故障。2.2.4停车库控制系统必须在遇到传感器故障时尽可能继续正常工作。2.2.5停车库控制系统必须在接到指令后报告故障组件及其位置。2.3 开放模式操作2.3.1 停车库控制系统必须打开入口大

12、门。2.3.2 停车库控制系统必须提供有关车辆进入的数据。2.3.3 停车库控制系统必须提供空余车位的数据。2.3.4 停车库控制系统必须记录刷卡进入时间以及其卡中的余额。2.3.5 停车库控制系统必须在卡余额不足一定金额时，不允许其进入。2.4 关闭模式操作2.4.1停车库控制系统必须将入口大门全部锁住。2.4.2 停车库控制系统必须提供已被占用的车位数据。2.5 自动模式操作2.5.1停车库控制系统必须在仍有空余停车位时解锁入口大门。2.5.2停车库控制系统必须在没有空余停车位时锁住入口大门。2.5.3 停车库控制系统必须在卡余额不足一定金额时，不允许其进入。2.6模拟系统2.6.1基于w

13、eb的停车库控制系统模拟系统必须显示可交付产品的所有操作和维护特性。2.6.2基于web的停车库控制系统模拟系统必须提供控制模拟的方法。3. 非功能需求3.1安装3.1.1 停车库控制系统必须支持监视空余停车位需要的传感器。3.1.2停车库控制系统软件必须可以使用标准工具（如文本编辑器）进行配置。3.1.3 经过配置后，除非已安装硬件发生改变，停车库控制系统不需要重新配置。3.1.4 必须能够在安装人员阅读说明书不超过20分钟的时间后，以不超过一分钟的时间对停车库控制系统进行配置。3.2操作3.2.1 停车库控制系统必须经由一个中央控制面板进行操作。3.2.2 停车库控制系统必须具有一种接口，

14、允许不超过5分钟的时间对参数进行设置或修改。3.2.3 停车库控制系统必须在可以上网的环境下即可对该系统进行操作（采用B/S结构）。3.3故障3.3.1停车库控制系统必须在遇到传感器故障时不发生故障。3.3.2停车库控制系统软件在正常操作情况下，每月发生的故障不能超过一次。3.3.3 停车库控制系统必须在不经人员干于的情况下从电力故障中恢复。3.4模拟系统3.4.1停车库控制系统模拟系统必须能够在不超过1小时的时间内安装到web站点上。3.4.2停车库控制系统模拟系统每月的维护时间不能超过1小时。3.4.3必须至少有70%的用户认为基于web的停车库控制系统模拟系统能够准确表示实际产品及其应用

15、。3.5发展3.5.1停车库控制系统的主要控制组件必须能够在后期产品中重用。3.5.2停车库控制系统必须能够控制各种停车库。4. 数据需求4.1停车库控制系统必须在持久性存储器中记录下列数据：·出入口大门的状态·卡的消费记录即每次进出的时间·卡中的余额·所有传感器的位置·所有传感器的状态·中央控制面板和传感器之间的关系·当前操作模式·最大车位数·空余车位数·空闲的车位号停车库控制系统用例模型用例1：转换系统模式参与者：操作人员、入口大门刷卡器利益相关者和要求：操作人员设置系统模式转换的具体时间段

16、，在遇到刷卡器和传感器故障时，尽可能继续正常操作管理人员、营销人员达到5%的市场份额维护人员检测和记录刷卡器的故障，在不经维护人员干预的情况下从电力故障中恢复。前置条件：无。后置条件:停车库控制系统将按时间段分为自动、开放、关闭模式，这种设置将记录在持久性存储器中。记录所有刷卡器故障。报告持久性存储器故障。触发器：操作人员设置模式。基本流程：1.1操作人员把模式从开放设置为自动模式。1.2停车库控制系统关闭已经打开的入口大门刷卡器。1.3.停车库控制系统将模式记录成自动，确认这种修改，然后等待下一个时间段。2.1操作人员把模式从关闭设置为自动模式。2.2停车库控制系统将锁住的入口大门刷卡器解锁

17、。2.3停车库控制系统将模式记录成自动，确认这种修改，然后等待下一个时间段。扩展：1a （1）操作人员把模式从自动设置为开放模式。 1a1. 停车库控制系统打开所有入口大门刷卡器 1a2. 停车库控制系统把模式记录成开放，确认这种修改，然后用例结束 （2）操作人员把模式从自动设置为关闭模式。 1a1. 停车库控制系统关闭所有入口大门刷卡器 1a2. 停车库控制系统把模式记录成关闭，确认这种修改，然后用例结束1b 操作把模式设置成其当前设置： 1b1. 停车库控制系统曲儿当前模式，然后用例结束2a 刷卡器出现故障： 2a1. 停车库管理系统将故障情况报告给操作人员，并在其持久性存储器中记录这个故

18、障刷卡器，然后用例结束。 2a2. 操作人员对刷卡器进行检测，如果正常工作，则用例结束用例2：监视故障参与者：操作人员利益相关者和要求:操作人员：轻松地监视故障。前置条件：无。后置条件：报告故障刷卡器和传感器。触发器：维护人员请求获得故障报告。基本流程：1. 操作人员请求获得故障报告。2. 停车库控制系统显示故障刷卡器和传感器及其位置，或者表明无故障。3. 操作人员结束用例。扩展：无。用例3：设置参数 参与者：操作人员、安装人员 利益相关者和要求： 操作人员、安装人员设置系统模式，对整个停车库系统进行控制，设置最大停车位数量。 前置条件：无 后置条件：将进出时间记录在持久性存储器中。记录所有故

19、障。报告持久性存储器的故障。基本流程：1. 操作人员设置开放、关闭时间，最大停车位数量。2. 系统验证新的设置。3. 系统确认新的设置。扩展：2a 设置无效2a1. 系统将无效设置通知操作人员2a2. 操作人员调整设置2a3. 系统检查设置，然后恢复基本流程，或者回到步骤2a1。 3a 系统不能将数据写入其持久性存储器： 3a1. 系统将故障情况报告操作人员，用例结束。 用例4：充值 参与者：操作人员 利益相关者和要求： 操作人员、车主在卡内余额少于最小计费标准时，提醒车主进行充值。前置条件：无 后置条件：记录充值金额及卡内余额。 基本流程：1. 操作人员设置最小计费标准。2. 系统确认设置。

20、扩展：无用例5：启动参与者：入口大门刷卡器、出口大门刷卡器利益相关者和要求：维护人员在不经维护人员干预的情况下从电力故障中恢复。操作人员在遇到刷卡器和传感器故障时尽可能继续正常操作。前置条件：停车库控制系统断电。后置条件：如果持久性存储器完好，并且能够读取，那么除了关闭所有刷卡器以外，停车库控制系统将恢复到停电以前的状态。触发器：给系统通电，重新启动停车库控制系统。基本流程：1.入口大门刷卡器读卡并且显示当前余额，然后打开入口大门（如果停车卡内余额不足则不打开大门）。2.出口大门刷卡器读卡，根据停车时间进行扣费然后显示余额，最后打开出口大门。扩展： （1）停车库控制系统显示故障消息，并暂停操作

21、。 （2）刷卡器出现故障： 2.1. 停车库管理系统将故障情况报告给操作人员，并在其持久性存储器中记录这个故障刷卡器，然后用例结束。 2.2. 操作人员对刷卡器进行检测，如果正常工作，则用例结束。 2.3 停车库控制系统继续进行处理。3. 停车库控制系统不能将数据写入其持久性存储器：用例继续执行。用例6：打开大门 参与者：刷卡器 利益相关者和要求： 刷卡器、车主显示卡内余额，判断刷卡器类型，入口刷卡器，高于最小计费标准则打开入口大门；出口刷卡器，卡内余额大于扣费金额则打开出口大门。 前置条件：余额充足 后置条件：刷卡时间和扣费金额将记录在持久性存储器中。 基本流程：1. 刷卡器读卡2. 判断刷

22、卡器类型3. 卡内余额充足时打开相应大门扩展：1a 读卡无效1a1. 系统出现故障时，操作人员手动打开入口大门3a 余额不足3a1. 余额不足时无法打开入口大门用例7：查看余额 参与者：入口刷卡器、出口刷卡器 利益相关者和要求： 入口刷卡器、出口刷卡器读卡，显示余额 操作人员刷卡器出现故障时，手动查看余额 前置条件：无 后置条件：无 基本流程： 1.出入口刷卡器显示余额 扩展： 1a 查看余额无效 1a1. 刷卡器出现故障时，手动查看余额用例8：维修参与者：维护人员利益相关者和要求：维护人员：轻松地修复问题。前置条件：无后置条件：将已维修传感器通知系统。对硬件维修后，更新持久性存储器。报告持久

23、性存储器故障。基本流程:1. 维护人员开始维修会话。2. 系统显示故障和传感器的集合。3. 维修人员指出现在维修的故障和传感器。4. 系统调整其持久性存储器，记录维修情况。5. 当维护人员表明维修完成时，用例结束。扩展：4a 系统不能将数据写入其持久性存储器： 4a1. 系统将故障情况报告给维护人员，用例结束。用例9：扣费参与者：出口刷卡器利益相关者和要求：操作人员在不经人员的干预下及可由车辆进出的时间来实现收费。维护人员在不经维护人员的干预的情况下从电力故障中恢复。前置条件：余额充足。后置条件：出口刷卡器和数据库进行了交互作用。触发条件：出口刷卡器感应到磁条。基本流程：1、 记录刷卡时时间。

24、2、 请求获取入口刷卡器该卡的数卡时间。3、 系统计算应扣费用，并修改其相应的数据库。扩展：1a 出口刷卡器故障 1a1 停车库控制系统尝试读取两次，如果成功，那么它将和以前一样继续运行。 1a2 停车库控制系统将这个故障记录在它的持久性存储器中。 1a3 管理人员人为的记录车辆出去时间。用例10：报告错误参与者：维护人员利益相关者和要求：维护人员轻松地修复问题。前置条件：无后置条件：报告故障。基本流程：1. 维护人员请求获得错误报告2. 系统显示错误位置，或者表明无错误。3. 维护人员用例结束。扩展：无。用例11：安装系统参与者：安装人员、传感器利益相关者和要求：买方、操作人员、开发人员、营

25、销人员、安装人员使基于Web的系统能够在实际情况中得到应用。前置条件：无。后置条件：系统准确运行。触发器： 加载Web页面。基本流程：1. 将停车库控制系统安装在传感器、信息牌、刷卡器上。2.操作人员启动系统，正常操作。扩展：无。用例12：模拟系统参与者：模拟用户利益相关者：买方、管理人员、开发人员、营销人员基于web的模拟系统能够准确表示实际的产品及应用。前置条件：无。后置条件：模拟器和准确的模拟进行了交互作用、触发器：加载web页面。基本流程：可以按照任意顺序完成下列模拟器动作，并且重复进行。1、 模拟器使用模拟控制面板转换开放模式、关闭模式、自动模式、进行维修或者报告故障。2、 停车库控

26、制系统模拟器显示现场的模拟效果，现场中控制区域包含刷卡器、传感器、信息牌。停车库控制系统模拟器还显示模拟时间、传感器读数、刷卡器显示、刷卡器启动、信息牌显示、车流量以及故障刷卡器和传感器。3、 停车库控制系统设置模拟时间，设置模拟的车流量，或者使刷卡器或传感器出现故障，或者对其进行维修。4、 停车库控制系统模拟器响应新的参数设置，修改模拟系统。在退出模拟web页面时，用例结束。用例13：显示剩余车位数参与者：信息牌利益相关者和要求：操作人员设置系统模式，对整个停车库系统进行控制，设置最大停车位数量。信息牌显示剩余车位数。前置条件：无后置条件：更新剩余车位基本流程：1. 车辆进入停车库，剩余车位

27、数减一2. 系统更新剩余车位数3. 车辆离开停车库，剩余车位数加一4. 系统更新剩余车位数5. 信息牌显示剩余车位数扩展：无例14：停车库状态参与者：信息牌利益相关者和要求：用户根据信息牌显示了解停车库状态。前置条件：传感器正常工作。后置条件：无。 触发器：显示信息牌上的内容。基本流程：1. 用户看到信息牌并且根据其显示内容了解停车库的状态（系统模式）。2. 根据其模式：开放、关闭、自动。 2（1）如果是开放模式和自动模式，则刷卡进入 2（2）如果是关闭模式，则离开扩展：无。停车库控制系统软件需求规范1.产品描述1.1停车库控制系统是以一种高效、公正准确、科学经济的停车场管理工工具，实现停车场

28、对于车辆动态和静态的综合管理。如今随着城市机动车辆日益增多，许多大中型大厦、社区等都面临着数百辆甚至数千辆的日常管理工作。停车库管理系统通过出入车辆的情况来控制停车库入口的状态。在不同的时间段，也可以将该系统设置为不同的模式，在停车位充裕的情况下或固定的时间段，可以将系统设置为开放模式（入口大门从来不锁），当然，在停车位紧张或者固定的时间段，可以将系统设置为关闭模式（入口大门全部锁住），在平时也可以设置为自动模式（根据停车库是否有空位锁住或解锁入口大门）。车位满位后，立即在屏幕上显示。并且可以显示哪些停车位是否为空，以方便管理员指引停车者。也可以根据车辆进出的时间来实现计费收费功能。1.2 软

29、件在交付时必须包括两个部分：·基于web的模拟系统·控制硬件的软件·连接外部设备的接口2. 功能需求2.1设置参数2.1.1 在用户进行修改以前，用户设置的所有参数都必须有效。2.1.2 停车库控制系统的运行模式必须是三种模式之一：打开、关闭或自动。2.1.2.1用户必须能够设置模式。2.1.2.2在用户设置模式之后，系统必须向用户显示当前模式。2.1.3停车库控制系统必须允许用户设置最大停车位数。2.1.3.1如果新的停车位数设置不能通过验证，则系统必须将该问题通知用户，并且不接受新的设置。2.1.3.2系统必须向用户显示重新设置的停车位数。2.1.4停车库控制

30、系统必须允许设置街道上信息牌上的停车位数量。2.1.4.1如果新的街道上信息牌上的停车位数设置不能通过验证，则系统必须将该问题通知用户，并且不接受新的设置。2.1.5停车库控制系统必须允许用户设置车位号。2.1.5.1如果新的车位号设置不能通过验证，则系统必须将该问题通知用户，并且不接受新的设置。2.1.5.2系统必须向用户显示重新设置的停车号。2.1.6停车库控制系统必须允许用户设置当前时间。2.1.6.1当前时间由当前日期和当前时刻组成。2.1.6.2停车库控制系统必须允许无效时间设置，或者必须验证新的时间设置。2.1.6.3如果新的时间设置不能通过验证，则系统必须将该问题通知用户，并且不

31、接受新的设置。2.1.6.4系统必须向用户显示重新设置的当前时间。2.2一般操作2.2.1在安装时必须准备配置文件，以便停车库控制系统在启动时可以读取这个文件。2.2.2 停车库控制系统必须允许在开放、关闭或自动模式下进行操作。2.2.3 停车库控制系统必须监视停车库空车位的数量。2.2.4 停车库控制系统必须检测传感器故障。2.2.5停车库控制系统必须在遇到传感器故障时尽可能继续正常工作。2.2.6停车库控制系统必须在接到指令后报告故障组件及其位置。2.3开放模式操作2.3.1 停车库控制系统必须打开入口大门。2.3.2 停车库控制系统必须提供有关车辆进入的以下数据：（1） 进入时间（2）

32、刷卡信息（3） 车牌号2.3.3 停车库控制系统必须提供剩余车位的以下数据：（1） 车位号（2） 剩余车位数2.3.4 停车库控制系统必须记录刷卡进入时间以及其卡中的余额。2.3.5 停车库控制系统必须在卡余额不足一定金额时，不允许其进入。2.4 关闭模式操作2.4.1停车库控制系统必须将入口大门全部锁住。2.4.2 停车库控制系统必须提供已被占用的车位数据：车位号。2.5 自动模式操作2.5.1停车库控制系统必须在仍有空余停车位时自动解锁入口大门。2.5.2停车库控制系统必须在没有空余停车位时自动锁住入口大门。2.5.3 停车库控制系统必须在卡余额不足一定金额时，不允许其进入。2.6故障2.

33、6.1不能读取传感器时，停车库控制系统必须再尝试两次。2.6.1.1如果可以在3次以内读取传感器，则停车库控制系统必须忽略这个错误。2.6.1.2如果在尝试3次后仍然不能读取传感器，则停车库控制系统必须在它的持久性存储器中把传感器标记为故障传感器，不再使用。2.6.1.3如果在尝试3次以后仍然不能读取传感器，则停车库控制系统必须把入口大门出现故障的情况通知操作人员。2.6.2如果不能操纵入口大门，则停车库控制系统必须再尝试两次。2.6.2.1如果可以在3次以内操纵入口大门，则停车库控制系统必须忽略这个错误。2.6.2.2如果在尝试3次以后仍然不能操纵入口大门，则停车库控制系统必须在它的持久性存

34、储器中把入口大门标记为故障传感器，不再使用。2.6.2.3如果在尝试刷卡3次以后仍然不能操纵入口大门，则停车库控制系统必须把入口大门出现故障的情况通知操作人员。2.6.3如果停车库控制系统不能将数据写入其持久性存储器，它必须把这个问题通知操作人员，并继续执行操作。2.6.4如果停车库控制系统不能读取其持久性存储器，它必须把这个问题通知操作人员。2.6.4.1如果停车库控制系统在操作期间不能读取其持久性存储器，它必须继续执行操作。2.6.4.2如果停车库控制系统在启动时不能读取其持久性存储器，它必须显示出错消息，并暂停操作。2.6.5在操作人员要求停车库控制系统提供故障大门和传感器报告时，它必须

35、提供。2.6.5.1如果没有大门出现故障，停车库控制系统必须报告这种情况。2.6.5.2如果没有传感器出现故障，停车库控制系统必须报告这种情况。2.6.5.3如果大门或传感器出现了故障，停车库控制系统必须针对每个故障大门和传感器报告以下情况:(1) 大门或传感器标识符(2) 大门或传感器的位置2.6.6停车库控制系统必须操作人员指明已经修好的大门和传感器。2.6.6.1在得知故障大门或传感器修好时，停车库控制系统必须利用该信息更新其持久性存储器。2.6.6.2在得知故障大门或传感器修好时，停车库控制系统必须立即使用。2.7启动2.7.1在系统运行时，停车库控制系统软件必须加载和执行。2.7.2

36、在系统启动时，停车库控制系统必须从它的持久性存储器中读取配置文件，建立它的配置。2.7.3在建立了配置以后，停车库控制系统必须读取它的持久性存储器，重建它的状态。2.7.4在系统关闭时，停车库控制系统无法运行。2.8模拟系统2.8.1基于Web的停车库控制模拟系统必须表示交付产品的所有操作和维护性特性。2.8.2这个模拟系统必须能够逼真的表示停车库控制系统控制面板。2.8.3每个模拟停车位都必须头模拟传感器，显示停车位是否空闲。2.8.4这个系统必须提供控制模拟的方法。2.8.5这个系统必须显示模拟时间，提供设置模拟时间的方法。2.8.6这个模拟系统必须控制对系统模式的修改。2.8.7这个模拟

37、系统必须控制对最大停车位数和停车位号的修改。2.8.8这个模拟系统必须模拟停车高峰期和低峰期。2.8.9这个模拟系统必须模拟传感器和刷卡器的故障和保修。2.8.10这个模拟系统必须控制对传感器和刷卡器障碍状态的修改。3.数据需求3.1传感器数据3.1.1必须记录每个传感器的下列数据：（1）标识符（2）位置（3）操作状态3.1.2传感器标识符必须由字母“S”（大写或小写）和0到999之间的一个整数组成。3.1.3传感器位置必须是0到24个字符组成的字符串，其中不能包含尖括号。3.1.4操作状态必须是一个布尔值，解释为语句“这个传感器正在工作”的真值。3.2大门数据3.2.1必须记录每个大门的下列

38、数据：（1）标识符（2）操作状态3.2.2大门的标识符必须由字母“G”（大写或小写）和0到999之间的一个整数组成。3.2.3操作状态必须是一个布尔值，解释为语句“大门是打开”的非真值。3.3刷卡器数据3.3.1必须记录每个刷卡器的下列数据：（1）模式类型（2）刷卡器类型（3）日期（4）余额（5）大门标识符（6）位置（7）刷卡器标识符3.3.2刷卡器模式类型必须是自动、关闭、开放模式中的一个。3.3.3刷卡器类型必须指定是入口或出口。3.3.4日期是刷卡器显示刷卡日期。3.3.5余额是刷卡器显示该卡余额。3.3.6大门标识符必须由字母“G”（大写或小写）和0到999之间的一个整数组成。3.3.

39、7刷卡器位置必须是0到24个字符组成的字符串，其中不能包含尖括号。3.3.8刷卡器标识符必须由字母“K”（大写或小写）和0到999之间的一个整数组成。3.4显示牌数据3.4.1必须记录每个显示牌的下列数据：（1）日期（2）剩余车位数（3）模式类型3.4.2日期必须是显示牌显示当前日期。3.4.3剩余车位数必须是显示牌显示当前车库剩余车位数。3.4.4模式类型必须是自动、关闭、开放模式中的一个。3.5数据库数据3.5.1必须记录数据库的下列数据：（1）标识符（2）余额（3）记录3.5.2用户标识符必须由字母“U”（大写或小写）和0到999之间的一个整数组成。3.5.3余额必须是数据库记录下该用户

40、所持卡的余额。3.5.4记录必须是数据库记录下该用户每次刷卡时的信息如时间日期。3.6 配置文件3.6.1 配置文件必须是可以利用标准文本编译器进行编译的文本文件。3.6.2 配置文件必须具有图B-1所示的形式（使用数据定义法规定）。图B-1 停车库控制系统配置文件3.6.3 除下列情况以外，每个基本数据项之间必须由空格隔开；3.6.3.1 表示传感器和刷卡器的字母和它们的标识符号码不能分开。3.6.3.2 尖括号之间的所有字符都必须看作是说明的一部分。3.6.3.3 大括号和冒号与其他令牌之间不需要用空格分开3.6.4 配置文件的名称必须是“config.txt”，他必须和停车库控制系统可执

41、行程序位于同一个目录中。3.6.5 必须把不能发现、打开、读取或分析的配置文件看作是持久性存储器障碍。3.7系统参数3.7.1停车库控制系统必须在它的持久性存储器中记录它的系统参数，以便在启动时重建它的状态。3.7.2系统参数包括下列项：（1）操作模式（2）时间（3）车位数配置3.7.3模式必须是自动、开放或者关闭。3.7.4时间必须指定运行不同模式的时间。3.7.5模拟日期必须是星期一，星期二，星期三，星期四，星期五，星期六，星期天中的一个元素。3.7.6模拟时刻必须是0000到2359之间的一个24小时值（精确到1分钟）。3.7.7车位数必须是0到999之间的一个整数，解释为车位的个数。3

42、.8开放模式数据显示3.8.1在开放模式中，必须显示每个刷卡器的下列数据：（1）刷卡器标识符（2）刷卡器位置（3）刷卡器已经开放的时间（4）已经使用的车位数（5）关联传感器的状态3.8.2刷卡器标识符和位置必须是记录在系统中的刷卡器数据。为了符合用户界面显示约束，可能需要截断位置。3.8.3刷卡器已经开放的时间必须是格式为hhmm的军用时间规格，其中hh必须是0到23之间的小时值，mm必须是0到59之间的分钟值。必须始终显示所有这4个数字。3.8.4停车库已经使用的车位数必须是0到999之间的一个整数，以个数为单位描述使用量。3.8.5关联传感器的状态必须是1的传感器读数。3.8.6每隔一分钟

43、，必须更新每个显示值。3.9关闭模式数据显示3.9.1在关闭模式中，必须显示每个刷卡器的下列数据：（1）刷卡器标识符（2）刷卡器位置（3）刷卡器已经关闭的时间（4）已经使用的车位数（5）关联传感器的状态3.9.2刷卡器标识符和位置必须是记录在系统中的刷卡器数据。为了符合用户界面显示约束，可能需要截断位置。3.9.3刷卡器已经开放的时间必须是格式为hhmm的军用时间规格，其中hh必须是0到23之间的小时值，mm必须是0到59之间的分钟值。必须始终显示所有这4个数字。3.9.4停车库已经使用的车位数必须是0到999之间的一个整数，以个数为单位描述使用量。3.9.5关联传感器的状态必须是0的传感器读

44、数。3.9.6每隔一分钟，必须更新每个显示值。3.10故障报告3.10.1故障报告必须显示下列数据：（1）故障传感器或刷卡器的标识符（2）故障传感器或刷卡器的位置3.10.2故障传感器或刷卡器的标识符必须是记录在系统中的传感器或刷卡器标识符。3.10.3故障传感器或刷卡器的位置必须是记录在系统中的传感器或刷卡器位置。在显示器上不能截断这个值。3.11模拟参数3.11.1模拟时间由模拟日期和模拟时刻组成。3.11.2模拟日期必须是星期一，星期二，星期三，星期四，星期五，星期六，星期天中的一个元素。3.11.3模拟时刻必须是0000到2359之间的一个24小时值（精确到1分钟）。3.11.4模拟车流量必须是0到999之间的一个整数，解释为每天停车库车辆变化的百分率。3.12默认值3.12.1默认模式必须是自动模式。3.12.2默认日期必须是星期一，星期二，星期三，星期四，星期五，星期六，星期天。3.12.3默认停车位数量900。4.非功能需求4.1安装4.1.1 停车库控制系统必须支持监视空余停车位需要的传感器。4.1.2停车库控制系统软件必须可以使用标准工具（如文本编辑器）进行配置。4.1.3 经过配置后，除非已安装硬件发生改变，停车库控制系统不需要重新配置。4.1.4 必须能够在安装人员阅读说明书不超过20分钟的时间后，以不超过一分钟的时间对停车库控制系统