什么是带有类型和示例的软件测试指标?