可观测性语句覆盖准则

• observability-based statement coverage