Learnlib是基于java开发的一个学习状态机的一个工具。
安装Learnlib之前,要先安装jdk8 和maven。比较简单就不写了。
Learnlib的官网上有安装教程:
https://github.com/LearnLib/learnlib/wiki/Setting-Up-a-New-Maven-Project-%28Command-Line%29
因为是linux系统,所以选择了命令行,安装的方法。
1. 创建一个mvn项目。
mvn archetype:generate -DarchetypeGroupId=de.learnlib.archetypes -DarchetypeArtifactId=complete
时间比较长,会下载很多相关依赖包。
中间会让你配置 groupId 、artifactId选项,其他默认就直接回车就好。
Define value for property 'groupId': : org.example.learnlib //src目录
Define value for property 'artifactId': : my-project //项目名称
2. 在教程中会有如何让maven支持learnlib的部分,由于直接-DarchetypeGroupId=de.learnlib.archetypes。pom.xml已经配置好了learnlib内容,不用再添加了。直接打包
mvn clean pa