工具
AALpy 自动机学习库
通用的 Python 自动机学习库，可通过主动查询或被动轨迹数据，推断黑盒系统的确定性、非确定性、随机及下推自动机模型。其 README 链接了一项独立的低功耗蓝牙（BLE）研究，该研究的仓库报告了学习得到的设备连接与传统配对（legacy pairing）状态机；该库本身不推断报文格式。
- 目标
- 协议
- 类别
- 协议分析工具
- 关联
- 基础工具
- 来源复核于
使用条件与局限
- PyPI 最新版本为 1.6.2，上传于 2026-08-03，要求 Python >=3.6。所审阅的 master 分支自标为尚未发布的 2.0.0，要求 Python 3.10+；上游说明 1.6.2 是支持旧版 Python 的最后一个版本。
- 主动学习需要用户编写的被学习系统（SUL）适配器、输入字母表和等价判定器（equivalence oracle）；被动学习需要符合文档格式的轨迹数据。学到的模型受所选字母表、抽象方式和判定器限制。
- 唯一的 Python 依赖是 pydot；可视化模型需要将 Graphviz 加入 PATH。采用 MIT 许可。
- ble-learning 研究仓库独立于本库：需要一块 nRF52840 Dongle 或开发板，并刷入仓库提供的、源自 SweynTooth 的固件，还需要 Python 3.9 和所列依赖库；该仓库没有许可证文件。
关于此条目
说明已依据一手来源复核。
一手来源
- README.md GitHub · DES-Lab/AALpy · 修订 335c50a
- pyproject.toml GitHub · DES-Lab/AALpy · 修订 335c50a
- LICENCE.txt GitHub · DES-Lab/AALpy · 修订 335c50a
- https://github.com/DES-Lab/AALpy/releases/tag/v.1.6.2
- https://pypi.org/project/aalpy/1.6.2/
- README.md GitHub · apferscher/ble-learning · 修订 febd774