【毕业学位论文】（Word原稿）计量业务管理系统的设计与实现-软件工程

硕士学位论文 （专业学位） 姓 名： * 学 号： * 所在院系：软件学院 学科门类：工程硕士 学科专业：软件工程 指导教师： * 副指导教师： * 二 一 四 年 二 月 计量业务管理系统的设计与实现 A in 2014 * * * 计 量 业 务 管 理 系 统 的 设 计 与 实 现 * 同 济 大 学 学位论文版权使用授权书 本人完全了解同济大学关于收集、保存、使用学位论文的规定，同意如下各项内容：按照学校要求提交学位论文的印刷本和电子版本；学校有权保存学位论文的印刷本和电子版，并采用影印、缩印、扫描、数字化或其它手段保存论文；学校有权提供目录检索以及提供本学位论文全文或者部分的阅览服务；学校有权按有关规定向国家有关部门或者机构送交论文的复印件和电子版；在不以 赢利为目的的前提下，学校可以适当复制论文的部分或全部内容用于学术活动。 学位论文作者签名： 年 月 日 同济大学学位论文原创性声明 本人郑重声明：所呈交的学位论文，是本人在导师指导下，进行研究工作所取得的成果。除文中已经注明引用的内容外，本学位论文的研究成果不包含任何他人创作的、已公开发表或者没有公开发表的作品的内容。对本论文所涉及的研究工作做出贡献的 其他个人和集体，均已在文中以明确方式标明。本学位论文原创性声明的法律责任由本人承担。 学位论文作者签名： 年 月 日同济大学 硕士学位论文 摘要 I 摘要 天津滨海新区已经成立，滨海新区以及市内六区计量技术机构存在跨区域分布的特点 ， 目前 所有信息传递、业务管理以及计量证书管理都 是 靠手工来完成和人力传输， 带来 信息传递不及时、随意性强、信息的汇总统计不完整、不准确、计量证书混乱不规范等 问题 。 随着日益规范的实验室管理要求的出台和工作量的日益增长， 使得原有的工作和管理模式不能够满足庞大的业务需要 。为此我们建立 了 一 套 计量业务管理系统 。 本文 所介绍的计量业务管理系统是以 计量 业务 的需要为前提，通过深入的研究，针对 计量行业 的特点， 通过对数据资源进行分解、归类、重新组合 ， 设计开发了 计量业务管理 系统，从而实现了 对 器具、证书、方法、数据、质量、通讯、人力、财物等整个计量工作的全生命周期管理 。本文主要介绍了以下几点： 1 当前 计量 行业信息化 管理工作现状进行了分析，阐述了当前 计量 管理工作中 存在的一系列问题，明确了 计 量业务 管理 系统开发的目的和意义。 2介绍了开发该系统所采用的技术。 3介绍了系统的需求分析，通过需求分析我们确定了该系统包括 计量用户管理 、 计量基础业务管理 、 计量证书 管理、 计量仪器库存管理 等主要模块。 4在需求分析的基础上我们对系统进行了详细设计。 5最终实现该系统的各项功能。 该系统自建成以来， 使计量 行业 能够依托于网络化有效地达到信息的及时传递和共享、计量证书实现管理收费统计准确及时、提高工作效率，并解决各区县技术机构远程数据交换的难题，全面实现计量业务处理的科学、准确、规范、高效。信息平台的应用和 实施可以辅助管理制度的执行，降低人为因素的干扰，同时为优化实验室资源的配置提供辅助决策的信息，建立优良的实验室管理模型；对检测记录从采集、存储、处理、传输都遵循国家标准，确保记录的完整性和可审计 ，达到从定性到定量的管理模式。 关键词 ： B/据库 ，计量器具，库存管理 I he in At to be by is us we a of to on of we in so as to of of in to a in of a we of to of of is in It is in of of II of to of to in to up a It it to in to B/S 硕士学位论文 目录 录 第一章 绪论 . 1 究背景 . 1 量业务管理系统研究现状 . 1 究的目的及意义 . 2 文的研究内容 . 3 章的组织结构 . 3 第二章 相关技术介绍 . 4 . 4 . 4 . 5 . 6 第三章 需求分析 . 8 统非功能性需求 . 8 统功能性需求 . 9 量用户管理 . 10 量基础业务管理 . 10 量证书管理 . 10 量仪器库存管理 . 11 统使用者 . 11 统用例分析 . 11 统总体用例 . 12 量用户管理用例包分析 . 12 量基础业务管理用例包分析 . 14 量证书管理用例包分析 . 17 量仪器库存管理用例包分析 . 20 第四章 系统分析与设计 . 22 体设计原则 . 22 统体系结构设计 . 22 统用例设计 . 23 量用户管理模块用例设计 . 23 量基础业务管理模块用例设计 . 25 量证书管理模块用例设计 . 37 量仪器库存管理用例设计 . 44 据库设计 . 47 据库 . 48 同济大学 硕士学位论文 计量业务管理系统的设计与实现 V 限管理数据模型 . 49 要表结构说明 . 50 第五章 系统实现 . 56 术选型 . 56 量用户管理实现 . 56 色功能设置 . 56 户组权限分配 . 59 量基础业务管理实现 . 61 委托单 . 61 印分单 . 61 工确认 . 62 户缴费 . 63 户取件 . 64 计报表 . 65 量证书管理实现 . 68 书制作 . 68 书审核 . 69 书批准 . 70 书打印 . 71 书模板管理 . 72 量仪器库存管理实现 . 74 器录入条码自动打印 . 74 线库存管理 . 77 第六章 系统测试及运行分析 . 79 系统性能测试 . 79 试目标 . 79 试原则 . 79 试流程 . 79 试方法 . 80 景设计 . 80 果分析 . 81 合分析 . 82 第七章 总结与展望 . 83 结 . 83 望 . 83 致谢 . 84 参考文献 . 85 个人简历、在读期间发表的学术论文与研究成 果 . 86 第一章 绪论 1 第 一 章 绪论 究 背景 计量是实现单位统一、量值准确可靠的活动。或者说是以实现单位统一、量值准确可靠为目的的测量 1。 计量 的概念是随着社会生产的发展逐步形成的。当生产的发展和商品的交换变成社会性活动时，客观上就需要测量单位的统一，并要求在一定准确度内对同一物体在不同地点，用不同的测量手段， 达到其测量结果一致。为此，就要 以法定的形式建立统一的单位制，建立计量基准、标准，并以计量基准、标准检定其他计量器具，保证量值准确可靠，从而形成了区别于测量的新概念 计量，也可以说统一准确的测量就是计量 2。 目前计量行业信息化管理程度相对薄弱，大部分单位还延续着传统的管理模式，依赖手工方法进行数据和信息采集、处理和传递；即使有些单位采用了 计算机手段进行数据处理，也只是应用在个别部门或科室，还只是停留在单机处理的水平。要实现对整个业务流程、证书、费用、统计报表、质量等的管理，借助一体化信息化系统，才能方便快捷地实现计量工作的受控管理。只有这样才能实现计量管理从定性到定量的管理，使得管理流程更加科学合理，计量管理内容和方法更加规范和深入。 量业务管理系统 研究 现状 计量科学是整个科学技术体系的前沿，是国民经济和社会发展的重要技术基础，一个国家的计量检测水平决定了其科学技术水平和产品开发能力；科技要发展，计量须先行。 国外计量管理的模式是 由政府计量行政部门管理为主的计量管理体系。如美国 士 大利亚 国 都是国家行使计量行政管理的最高机构 3。国外利用互联网大力发展区域、国家甚至全球计量体系，计量行业在信息化方面的应用非常广泛。其中，澳大利亚国家计量院（ 使命是传递具有世界等级的计量标准和服务 ， 通过采用实验室信息管理系统（ ， 将实验室的仪器通过网络连接起来 ； 系统集成样品、资源、事务、网络、数据、报表管理等一体化模块，实现以实验室为核心的综合管理和产品质量监控体系 4。 同济大学 硕士学位论文 计量业务管理系统的设计与实现 2 我国采用 国家质量监督检验检疫总局、省、市、县级政府计量行政管理部门实行统一垂直计量管理模式。从我国计量行业的现状来看，全国 计量信息化管理水平参差不齐 ； 从 2000 年 以来，各计量省院相继投入大量人力、物力、财力提高计量信息化水平； 其中，上海、江苏等地区计量业务管理水平 成效显著 。 上海市计量测试技术研究院（ 建成的 统 ， 对 实验室检测 过程中用到的各类设备进行生命周期的管理 ； 针对证书 、 计量仪器、检测人员、检测数据 与 检测业务等进行管理 ， 有效地减少仪器检 测设备、计量管理人员等资源投入，提高 工作效率 。 江苏省计量科学研究院 ( 2003年发布 了 第一版 计量业务管理系统 以来 ， 十年的岁月长河 ， 走过了风风雨雨 ， 系统先后经过了三个阶段的升级改版。到目前为止 ， 计量业务管理系统 紧密地结合了江苏省计量科学研究院计量业务管理特点，系统运行稳定可靠，提升了管理水平。 这些研究与成果大大促进了计量信息管理系统的展开和深入，对促进计量工作的提高有重大的实用意义。但由于系统的开发都是以各自单位为主体，系统在与其它 对目前的现状。管理系统的开发和建设仍然面临诸多问题，尤其是计量行业信息化缺乏统一的标准体系；目前，尚未制定统一的信息化标准体系。因此，建立一个新型的计量管理信息系统， 研发公共基础平台， 通过 合 业务系统、 是现代计量系统的 发展 方向 。 究的 目的 及 意义 1 滨海新区、各区县技术机构、派出机构，通过专用网络即可进行数据传输，免去靠人力收发造成的数据交互不及时、不完整等失误，节省成本、提高效率、节约能源。 2 从根本上加强证书报告管理的有效性，解决证书管理无序的问题。 3 数据查 询、统计、汇总及时快捷、直观，规范管理，统一格式，提升我院形象 。 4 免去了纸张传递的不及时、随意性强、信息汇总不完整、不准确，减少在检测工作中的一些人为失误。 5 服务器可以进行庞大的数据存储及交换，各种检测数据存储于服务器之中，是管理工作更加方便、快捷、高效。 6 降低成本，节约资源，提高工作效率，更好的服务客户。 7 系统具有严格的权限设置，具有一定的安全性要求，对服务器端做好安全防护工作，从而保证监测数据的安全性。 第一章 绪论 3 文的 研究内容 本论文 根据天津市计量监督检测科学研究院目前的业务需求 ,采用 面向对象的分析方法，基于 微软 采用 储过程、用的计量业务管理系统。论文主要研究内容如下： 1 分析计量业务管理系统的需求 研究计量业务管理系统的系统特性需求、外部接口需求、系统性能需求、软件属性需求及系统功能需求。 2 计量业务管理系统的设计 在需求分析的基础上，设计系统的总体体系架构、功能架构和数据库，对该业务系统的流程进行设计。 3 采用 术实现该业务系统的功能模块。 4 计量业务管理系统的 性能测试机运行分析。 章的 组织结构 论文简要介绍了 计量业务管理系统 的开发平台及相关技术，详细阐述了系统需求、系统功能，也阐述了系统具体模块功能的设计、实现与测试，最后简要总结了整个开发工作。论文的组织结构如下： 第一章 绪论：简要介绍了论文研究背景、研究 目标 和意义、所做的主要工作及论文组织结构。 第二章 相关技术介绍：对系统设计实现涉及到的关键技术进行了介绍。 第三章 需求分析：对系统的需求进行分析，具体研究系统特性需求、外部接口需求、系统性能需求、软件属性需求及系统的功能需求。 第四章 系统分析与设计：描述了相关模块设 计、体系架构设计、数据库设计，重点介绍了 计量业务管理、库存管理、证书管理、用户管理 的设计。 第五章 系统实现：阐述了业务流程中各个 模块的实现。 。 第六章 系统测试 及运行分析 ：详细阐述了系统核心功能测试和性能测试，通过对测试结果的分析可以看出，系统开发达到了预期的目的。 第七章 结论 与展望：对本文工作进行了全面总结，说明了本文取得的成果，并指出了存在不足和需改进的方向。 同济大学 硕士学位论文 计量业务管理系统的设计与实现 4 第 二 章 相关技术介绍 术 应用程序版（ 司长期追求的目标，使可编 程 应用软件 得到完美的实现，它作为一种通用的宏语言可被所有的编程应用软件所共享。在没有 前，一些应用软件如 都采用自己的宏语言供用户开发使用，但每种宏语言都是独立的，需要用户专门去学习，它们之间互不兼容，使得应用软件之间不能在程序上互联。拥有一种可跨越多个应用软件，使各应用软件产品具有高效、灵活且一致 性的开发工具是至关重要的。 为一种新一代的标准宏语言，具有上述跨越多种应用软件并且具有控制应用软件对象的能力，使得程序设计人员仅需学习一种统一的标准宏语言，就可以转换到特定的应用软件上去，程序设计人员在编程和调试代码时所看到的是相同的用户界面，而且 原应用软件的宏语言相兼容，以保障用户在代码和工作上的投资。有了 后，多种应用程序共用一种宏语言，节省了程序人员的学习时间，提高了不同应用软件间的相互开发和调用能力。 储过程 存储过程 一组为了完成特定功能的 编译后存储在数据库中，用户通过指定存储过程的名称并给出参数来执行 5。 存储过程中可以包含逻辑控制语句和数据操纵语句，它可以接受参数、输出参数、返回单个或多个结果集以及返回值。 由于存储过程在创建时即在数据库服务器上进行了编译并存储在数据库中，所以存储过程运行要比单个的 时由于在调用时只需用提供存储过程名和必要的参数信息，所以在一定程度上也可以减少网络流量、简单网络负担。 存储过程允许标准组件式编程 6 存储过程创建后可以在程序中被多次调用执行，而不必重新编写该存 储过程的 句。而且数据库专业人员可以随时对存储过程进行修改，但对应用程序源代码却毫无影响，从而极大的提高了程序的可移植性。 存储过程能够实现较快的执行速度 。 如果某一操作包含大量的 相关技术介绍 5 码，分别被多次执行，那么存储过程要比批处理的执行速度快得多。因为存储过程是预编译的，在首次运行一个存储过程时，查询优化器对其进行分析、优化，并给出最终被存在系统表中的存储计划。而批处理的 以速度就要慢一些。 存储过程减轻网络流量 9。 对于同一个针对数据库对象的操作 ，如果这一操作所涉及到的 句被组织成一存储过程，那么当在客户机上调用该存储过程时，网络中传递的只是该调用语句，否则将会是多条 而减轻了网络流量，降低了网络负载。 存储过程可被作为一种安全机制来充分利用 10。 系统管理员可以对执行的某一个存储过程进行权限限制，从而能够实现对某些数据访问的限制，避免非授权用户对数据的访问，保证数据的安全。 层架构 文即 把一个应用的输入、处理、输出流程按照 样一个应用被分成三个层 模型层、视图层、控制层 11。 视图 (表用户交互界面，对于 用来说，可以概括为 有可能为 着应用的复杂性和规模性，界面的处理也变得具有挑战性。一个应用可能有很多不同的视图， 及用户的请求，而不包括在视图上的业务流程的处理。业务流程的处理交予模型 (理 12。比如一个订单的视图只接受来自模型的数据并显示给用户，以 及将用户界面的输入数据和请求传递给控制和模型。 模型 (就是业务流程 /状态的处理以及业务规则的制定。业务流程的处理过程对其它层来说是黑箱操作，模型接受视图请求的数据，并返回最终的处理结果。业务模型的设计可以说是 前流行的 型就是一个典型的应用例子，它从应用技术实现的角度对模型做了进一步的划分，以便充分利用现有的组件，但它不能作为应用设计模型的框架。它仅仅告诉你按这种模型设计就可以利用某些技术组件，从而减少了技术上的困难。对一个开发者来说，就可以专注于业务模型的设计。 应用的模型按一定的规则抽取出来，抽取的层次很重要，这也是判断开发人员是否优秀的设计依据。抽象与具体不能隔得太远，也不能太近。 只告诉你应该组织管理这些模型，以便于模型的重构和提高重用性。我们可以同济大学 硕士学位论文 计量业务管理系统的设计与实现 6 用对象编程来做比喻， 诉它的子类你只能做这些，但没法限制你能做这些。这点对编程的开发人员非常重要。 业务模型还有一个很重要的模型那就是数据模型。数据模型主要指实体对象的数据 保存（持续化）。比如将一张订单保存到数据库，从数据库获取订单。 我们可以将这个模型单独列出，所有有关数据库的操作只限制在该模型中。 控制 (以理解为从用户接收请求 , 将模型与视图匹配在一起，共同完成用户的请求。划分控制层的作用也很明显，它清楚地告诉你，它就是一个分发器，选择什么样的模型，选择什么样的视图，可以完成什么样的用户请求。控制层并不做任何的数据处理。例如，用户点击一个连接，控制层接受请求后 , 并不处理业务信息，它只把用户的信息传递给模型，告诉模型做什么，选择符合要求的视图返回给用户。因此，一个模型可能对应多个视图，一个视图可能对应多个模型 。 模型、视图与控制器的分离，使得一个模型可以具有多个显示视图。如果用户通过某个视图的控制器改变了模型的数据，所有其它依赖于这些数据的视图都应反映到这些变化。因此，无论何时发生了何种数据变化，控制器都会将变化通知所有的视图，导致显示的更新。这实际上是一种模型的变化 这是一个广泛的类组，用于在以往的 术中访问数据 13之所以使用 称，是因为 望表明，这是在 程环境中优先使用的数据访问接口。它提供了平台互用性和可伸缩的数据访问。 支持 于传送的数据都是 此任何能够读取 应用程序都 可以进行数据处理。事实上，接受数据的组件不一定要是 件，它可以是基于一个解决方案，也可以是任何运行在其它平台上的任何应用程序。 向对象 类库 16。通常情况下，数据源 是数据库，但它同样也能够是文本文件、 17。然而并没有与此相关的一系列类来完成这样的工作。因为不同的数据源采用不同的协议，所以对于不同的数据源必须采用相应的协议。一些老式的数据源使用 议，许多新的数据源使用 议，并且现在还不断出现更多的数据源，这些数据源都第二章 相关技术介绍 7 可以通过。 是对于不同的数据源采用一组不同的类库 18。这些类库称为 且通常是以与之交互的协议和数据源的类型来命名的 。 19有许多的 将允许与不同的数据源交流 取决于它们所使用的协议或者数据库。然而无论使用什么样的 将使用相似的对象与数据源进行交互。象允许你与数据源交流并发送命令给它。为了对进行快速的只 “ 向前 ” 地读取数据，使用果想使用断开数据，使用 实现能进行读取或者写入数据源的 同济大学 硕士学位论文 计量业务管理系统的设计与实现 8 第 三 章 需求分析 统非功能性 需求 管理系统应该 是一个全面的信息化系统，覆盖计量组织信息化的所有领域，包括：检定业务管理、检测业务管理、器具台帐管理、数据统计分析、质量体 系、办公自动化、客户支持、知识管理等，是计量组织信息化的全集。 因此， 在开 发设计本系统时，应考虑以下几个方面 ： 1 创新的管理理念 计量管理系统 应 综合众多案例的实施经验，以及计量专 家的建议，汇集行业的最佳实践，整理出符合标准规范和行业实际需求的数据元和数据处理流程。系统 应 注重对数据流的梳理，关注客户、员工、领导等角色的工作重点，实现不同角色间的信息快速汇总和传递。 同时，系统技术架构的良好设计，以及软件推广的定制思路，支持用 户实现自己个性化的管理软件目标。 2 器具全生命周期管理 借助管理系统，实现器具的全生命周期，管理器具的购置、使用、校准 /检测、维修、停用、报废等不同状态。 3 灵活的业务流程支持 管理系统覆盖计量业务的方方面面，对资源、工作流程、业务过程提供自动数据存储和分配，减 轻工作负载。管理系统提供很好的扩展性和灵活性，能够适合部门变化和人员变化，支持业务创新。 系统应对计量管理提供 灵活的审批机制，融合了“串行”、“并行”、“会签”、 “自定义”等流程审批的基本模型，并可针对实际情况进行各种模型的自由组合，审批机制可融合到所有需要审批的子系统中，如证书审批等应用中。拥有相应权限的人员可随时查看到流程的当前状态，甚至可以直接手工催办审批人。 4 减轻员工工作负载 借助管理系统， 使 业务人员的工作量大大降低，数据更加准确，不容易出错；业务更加顺畅，点击鼠标之间就可以完成业务的传送。集中 和安全的数据存储更加方便对历史数据进行查询。客户的器具信息、委托单信息、收费信息、证书信息都存储在计算机系统中，查询相关数据和制定相关报告可以快速完成，避免以前人工维护数据容易出错，统计和分析信息难以整理等问题。 5 方便领导监控组织状况 对于领导而言，可以更加快捷了解组织运营情况，包括证书状况，员工工作第三章 需求分析 9 负载，每个科室的工作量和效益，等等。系统 应 提供丰富的查询功能和统计报表功能，可以根据不同科室、不同时间段、不同客户、不同器具等查询证书和收费信息，以及业务进展信息。 应具备 基于查询基础上的统计报表功能，可以让 领导从更加直观角度对数据进行深层次分析，对业务和人员进行细致监控。 6 实现证书的管理和打印 证 书是器具质量的唯一证明，如何加强对证书的管理，保证证书不被盗用、重复打印是计量组织的一个管理重点。管理系统实现对证书的安全管理，应用单位可以设定不同证书的阅读和修改权限，防止无权用户对证书的操作。用户申请证书副本打印，必须经过一定的审批流程才能实现。 7 完善的安全机制 管理系统结合底层系统平台和应用层的各种权限要机制， 应提供 完善的安全授权、行为轨迹机制，针对数据层可实现对每个模块、文档，对操作层实现功能的授权， 并通过日志功能记录关键操作行为，便于进行系统审计。 应 支持分级授权机制，减轻系统管理员的工作负荷，提高权限分配的合理性。基于角色的安全管理策略，能够与主流的各种 现多套系统单次登录。 8 良好的可扩展性 管理系统 应 可扩展性强，能够支持与多种数据源的集成，而且统计分析数据可以方便导出为 多种格式，满足进一步加工处理的需求。 统功能性需求 通过对系统进行详细的分析与研究，最终得出了系统的功能需求。系统可分为 4大模块，包括用户管理、业务管理、证书管理、仪器 库存 管理。系统总 体结构图如图 计 量 业 务 管 理 系 统 功能 模 块 图用户管理业务管理证书管理仪器库存管理角色功能设置用户组权限分配证书打印完工确认客户缴费证书制作证书审核证书批准证书模板管理统计报表仪器录入条码自动打印无线库存管理录委托单打印分单客户取件图 统总体功能结构图 同济大学 硕士学位论文 计量业务管理系统的设计与实现 10 量 用户 管理 计量 用户管理 主要提供系统平台用户的功能服务 , 具体功能包括用户注册、用户基本信息、用户角色、角色功能设置、用户组权限分配。用户角色分为系统管理员、院长、主任、副主任、检定人员、财务人员、收发室主任、仪器收发室人员和业务人员，而用户注册主要是新增系统用户信息，对系统用户的 用户名、真实姓名、 所属科室、 所属 角色、 密码 、 电话 、用户组 权限 进行记录；用户基本信息主要是对用户进行查 询、修改和冻结操作；用户角色负责对用户角色进行分配管理操作；其中重点是角色功能设置和用户组权限分配。角色功能设置实现不同角色分配相应功能菜单模块；用户组权限实现不同科室人员分配不同的科室组，从而查询相应科室组的数据。 量基础 业务管理 实现对覆盖范围内计量器具的全生命周期管理，实现自动的控制流和信息流，自动生成相关的统计分析数据。 （ 1） 建立客户送检器具的台帐，下次提交某种器具时，可以直接从器具库中检索数据，不需要再次录入数据；方便查询特定器具的所有检定记录和证书记录；建立对周检器具的报警机制， 及时提醒业务员和客户提交检定 （ 2） 收发室使用 时 ，实现基本的器具接收、收发单打印、打印流转单和分发计量任务、打印收费表等。收发室的所有管理任务可以在这一个模块中完成 （ 3） 专业室使用 时 。实现对计量任务的进一步分发，在这个界面中可以进一步编辑核算单和证书，并提交相关人审核。审核流程可以灵活自定义 （ 4） 实现对检定器具的收费管理，编辑和打印收费核算单，以及向客户交付器具 （ 5） 实现对计量器具的多维查询，及时了解和掌握计量组织（包括计量所和企业计量部门，下同）的检定器具状态和器具相关检定记录和证书情况，同时可以生 成相关报表 （ 7） 对计量器具证书统计，可按月、季度、年度或某时间段统计，或对合格率的统计。并且可以基于搜索生成特定报表 （ 8） 对组织计量收费的统计，包括日、月、季度、年度或某时间段的统计。可以基于搜索生成特定报表 量证书管理 灵活的证书