法律分析：必须有。型式检验报告是型式检验机构出具的型式检验结果判定文件。型式检验是为了证明产品质量符合产品标准的全部要求而对产品进行的检验，它是构成许多种类型认证的基础。为了认证目的进行的型式检验，是对一个或多个具有生产代表性的产品样品利用检验手段进行合格评价。这时检验所需样品数量由质量技术监督部门或检验机构确定和现场抽样封样；取样地点从制造单位的最终产品中随机抽取。检验地点应在经认可的独立的检验机构进行。
法律依据：《中华人民共和国特种设备安全法》 第八条 特种设备生产、经营、使用、检验、检测应当遵守有关特种设备安全技术规范及相关标准。特种设备安全技术规范由国务院负责特种设备安全监督管理的部门制定。