基于Python的嵌入式OTA升级脚本开发：自动完成固件打包与差分生成
物联网设备大规模部署后，固件升级是维护生命线。每次升级若都全量传输数兆字节的固件，带宽和流量成本难以承受。差分OTA的核心思想是只传输新旧固件的差异部分，将升级包体积压缩到原来的10%-30%。Python凭借丰富的库生态，可以轻松实现固件打包、差分计算、完整性校验等自动化流程。本文提供一个可直接集成的脚本框架。
固件打包：结构化元数据
原始固件是纯粹的二进制流，升级时需要携带版本号、硬件平台、校验和等元信息。用Python的struct模块打包成固定头部：
import struct, hashlib
def pack_firmware(fw_data, version, hw_id):
fw_len = len(fw_data)
checksum = hashlib.sha256(fw_data).digest()
header = struct.pack('<II32s16s',
fw_len, # 固件长度
version, # 版本号整数
checksum, # SHA256哈希
hw_id.encode())# 硬件标识
return header + fw_data
解包时反向解析即可校验完整性。这种方式比直接发送裸二进制更安全。
差分生成：bsdiff与xdelta3
嵌入式领域最成熟的差分算法是bsdiff和xdelta3。Python可以通过subprocess调用外部工具，也可以使用xdelta3的Python绑定。推荐使用bsdiff4库，它原生支持Python：
pip install bsdiff4
生成差分包：
import bsdiff4
def create_diff(old_fw, new_fw, patch_file):
with open(old_fw, 'rb') as f:
old_data = f.read()
with open(new_fw, 'rb') as f:
new_data = f.read()
patch = bsdiff4.diff(old_data, new_data)
with open(patch_file, 'wb') as f:
f.write(patch)
print(f"差分包大小: {len(patch)} 字节 (原始新固件: {len(new_data)})")
实测一个256KB的固件，小版本迭代的差分包通常只有10-30KB。
完整打包脚本
将差分和打包合并，生成一个可直接发布的升级包：
import struct, hashlib, bsdiff4, os
def build_ota_package(old_fw, new_fw, version, hw_id, output):
# 1. 生成差分包
with open(old_fw, 'rb') as f:
old_data = f.read()
with open(new_fw, 'rb') as f:
new_data = f.read()
patch = bsdiff4.diff(old_data, new_data)
# 2. 打包元数据 + 差分包
patch_len = len(patch)
old_checksum = hashlib.sha256(old_data).digest()
new_checksum = hashlib.sha256(new_data).digest()
header = struct.pack('<III32s32s16s',
version,
patch_len,
len(new_data),
old_checksum,
new_checksum,
hw_id.encode())
with open(output, 'wb') as f:
f.write(header + patch)
print(f"OTA包已生成: {output} ({os.path.getsize(output)} 字节)")
# 使用示例
build_ota_package('fw_v1.0.bin', 'fw_v1.1.bin',
version=0x0101, hw_id='ESP32',
output='ota_v1.1.pkg')
客户端应用差分
设备端收到OTA包后，需要应用差分恢复新固件。同样使用bsdiff4：
def apply_patch(old_fw_path, patch_path, new_fw_path):
with open(old_fw_path, 'rb') as f:
old_data = f.read()
with open(patch_path, 'rb') as f:
patch = f.read()
new_data = bsdiff4.patch(old_data, patch)
with open(new_fw_path, 'wb') as f:
f.write(new_data)
# 校验SHA256
expected = struct.unpack_from('<32s', patch, 8)[0] # 从包头提取
actual = hashlib.sha256(new_data).digest()
assert expected == actual, "校验失败"
print("差分应用成功")
集成到OTA流程
在实际产品中，这个脚本通常部署在CI/CD流水线中：
开发提交新固件到Git
Jenkins触发构建，编译出新固件
Python脚本自动比较上一次发布的固件，生成差分包
将差分包上传到OTA服务器
设备端下载、校验、应用、重启
整个过程无需人工干预，版本号自动递增。
注意事项
版本管理：建议使用语义化版本号，并存储在固件头部，方便脚本自动识别基线。
回滚保护：差分包中同时携带新旧固件的校验和，设备端应用前验证旧固件完整性，防止基线损坏。
加密签名：生产环境应对OTA包进行RSA/ECDSA签名，防止恶意固件注入。
失败重试：差分应用应在备份分区中进行，失败后可回滚。
写在最后
Python让OTA升级包的自动化生成变得极其简单——从差分计算到打包校验，几十行代码就能构建一个可靠的工具链。相比全量升级，差分OTA能将每次升级的流量消耗降低一个数量级，对于NB-IoT、LoRa等窄带物联网设备尤为重要。当你的产品规模从百级增长到万级时，这套脚本将成为运维体系中不可或缺的一环。
下载文档
