我在看graphwalker，它是一个基于模型的测试工具。它创建了一个类似于有向图的模型，并使用生成器和停止条件在该图上行走，例如：
random(edge_coverage(100))//随机覆盖图，直到所有边都被选中（100%）
random(vertex_coverage(100))//随机覆盖图，直到所有顶点都被选中（100%）
还有另一个停止条件，称为 requirements_coverage: usage random(requirement_coverage(100))。
从网站上的描述中可以看出：
requirements_coverage（一个整数，表示所需需求覆盖率的百分比）
停止条件是一个百分比数字。在执行期间，当达到遍历需求的百分比时，测试将停止。如果需求被遍历了不止一次，在计算百分比覆盖率时，它仍然计为 1。
这些遍历的需求到底是什么？
