性能断言检查

性能断言检查是一种自动化测试复杂系统性能特性的方法。系统设计者编写捕获性能期望的断言；根据监控数据自动检查这些断言，以检测潜在的性能错误。自动检查期望值使设计者能够随着系统的发展测试各种性能属性：满足期望值的数据可以自动丢弃，将注意力集中在指示潜在问题的数据上。PSpec公司是一种将性能编写为断言的语言，以及用于测试断言和估计断言中常量值的工具。该语言很小，可以有效地进行检查，但能够表达各种性能属性。初步经验表明，PSpec是性能测试和调试的有用工具；它有助于发现并行编程语言运行时系统中的几个性能错误。