learnlib/alex

ALEX镜像说明

镜像概述

ALEX（Automata Learning EXperience）是LearnLib的扩展工具，通过主动自动机学习技术实现Web应用和JSON格式REST API的自动化测试。用户可建模Selenium或HTTP测试输入，工具自动推断应用行为的Mealy机模型，帮助验证系统行为一致性。

核心功能

• 支持Web应用（基于Selenium）和REST API（HTTP）的自动化测试
• 允许用户建模测试输入，自动生成Mealy机行为模型
• 集成LTSMin库进行模型检查（需单独配置）
• 提供嵌入式HSQL数据库，支持MySQL 5.7外部数据库连接

使用场景

• Web应用功能行为验证与自动化测试
• REST API接口的行为一致性检测
• 自动化生成测试用例，提升测试效率
• 学习与研究主动自动机学习在软件测试中的应用

配置说明

数据库配置（MySQL）

创建application.properties文件，配置MySQL连接信息：

properties
spring.datasource.url=jdbc:mysql://localhost:3306/alex
spring.datasource.username=your_username
spring.datasource.password=your_password
spring.jpa.hibernate.ddl-auto=update

启动时指定配置文件：

bash
java -jar alex-2.0.0.war "--spring.config.location=/path/to/application.properties"

LTSMin集成

下载LTSMin 3.0.2版本，启动时指定路径：

bash
java -jar alex-2.0.0.war --ltsmin.path="/path/to/ltsmin/bin"

Docker部署示例

基础运行

bash
docker run -d -p 8000:8000 learnlib/alex

访问http://localhost:8000，初始管理员账号：*** / admin

带MySQL配置运行

假设application.properties在当前目录：

bash
docker run -d -p 8000:8000 -v $(pwd)/application.properties:/app/application.properties learnlib/alex java -jar alex-2.0.0.war "--spring.config.location=/app/application.properties"