浮游生物 Plankton-neo是基于Plankton验证框架的网络测试工具。 它结合了显式状态模型检查和仿真技术,可以对带有中间盒组件的软化网络实现高覆盖率测试。 目录 环境设定 对于Plankton-neo,需要以下依赖项。 制作 cmake(> = 3.12) 旋转(> = 6.5.2) 的libnet 现代C和C ++编译器(GCC或Clang) 可以使用depends/setup.sh来设置开发环境,但是可能会安装其他软件包,并且它可能会覆盖系统中的现有软件包。 某些平台可能尚不支持。 拉取请求和问题表示赞赏。 CMake的 请使用cmake --version检查cmake版本是否至少为3.12。 如果使用了depends/setup.sh ,则应安装正确的版本。 否则,您可以从官方预构建发行版中安装更新的版本。 例如, $ curl -LO " https:/