该文档旨在明确预设计的小程序的目的、范围、定义和功能，作为小程序所有需求陈述的正式文档和概念模型，可为后续概要设计和详细设计阶段提供依据。为了描述华农图书馆占座小程序的功能和性能描述，重点描述了小程序的功能需求，并作为系统设计阶段的主要输入。
预期读者包括需求分析人员，设计人员，开发人员，项目管理人员，测试人员，用户。
项目名称：华农图书馆占座小程序
项目提出者：华中农业大学资源与环境学院“一起编他五万行代码小分队”
开发单位：华中农业大学资源与环境学院
用户：全校教师和学生
项目实施单位：华中农业大学资源与环境学院“一起编他五万行代码小分队”
小程序：小程序（MiniProgram）是一种不需要下载安装即可使用的应用，由腾讯于2017年1月9日首次推出。这一应用形式能使用户不用再关心应用安装太多的问题，实现了应用“触手可及”的梦想，也体现了“用完即走”的理念。
[1]窦万峰.软件工程方法与实践(第三版).北京：机械工业出版社，2016
[2]窦万峰.软件工程实验教程(第三版).北京：机械工业出版社，2016
[3]华中农业大学人才培养手册-资源与环境学院地理信息科学专业，2018
“华农图书馆占座小程序”具有良好的交互性，用户通过扫描二维码或直接搜索小程序名称进入系统，登陆/注册成功后即可使用。点击“占座”按钮，后台自动检索该座位信息，若空余，则占座成功，同时页面出现占座成功提醒；若该座位已被占，页面给予用户反馈。点击“查看空余座位”按钮，用户可远程查看空余座位及其具体位置。
根据软件模块结构图，可见该小程序由中央处理系统控制，主要具有两个功能，第一个为“占座”功能，第二个为“查看空余座位”功能，只要在页面下方选择即可进入相应的页面。占座功能分为“开始使用”和“结束使用”。因此该软件具有三个模块，即“查看空余座位”模块、“开始使用”模块、“结束使用”模块。
名称及编号
模块1:开始使用
模块2:结束使用
模块3:查看空余座位
设计者
全体成员
所在文件
Software2020\mokuai1
Software2020\mokuai2
Software2020\mokuai3
所在库
mokuai1.lib
Mokuai2.lib
Mokuai3.lib
模块使用IPO图
三模块均主要采用逻辑算法与赋值进行。
占座算法取消占座算法查询空座位算法
模块一与模块二接口为用户及其占的座位，模块三无接口。
初级要求：程序可以运行不会陷入死循环
次级要求：完成占座与取消占座的基本要求
白盒测试：小组成员检验代码，互相监督。
黑盒测试：检验各功能的输入与输出的结果和预想有无异常。