文件名称：neo:浮游生物新
文件大小：653KB
文件格式：ZIP
更新时间：2024-04-20 05:26:49
C++
浮游生物 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:/