塔迪斯 关于 TARDIS（以机械方式驱动的动态符号执行）是针对Java程序的自动测试用例生成器，旨在实现较高的分支覆盖率。 它利用一种称为动态符号（又名“ concolic”）执行的技术，来替代由符号执行器执行的符号执行以及测试用例生成，该测试用例通过使用测试用例生成器查找符号执行路径约束的解决方案来执行。 TARDIS旨在保留的主要优势，同时在缺少不变式信息的情况下提高性能。 安装TARDIS 现在，只能通过从源代码构建来安装TARDIS。 当TARDIS具有更强的功能性和稳定性时，将可