公司的语言是 php 做代码覆盖率一定要用 php 的覆盖率工具吗？ 还是说可以用 python 或者 java 的工具？