Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.

中文翻译：

---

微分器和检测器

给定两个程序，例如P和Q，差异化器是测试套件T，这样在T上执行P和Q会产生不同的结果。此概念用于突变测试，在其中突出非等价突变体之间的语义差异非常重要。给定规范R和程序P，检测器就是测试套件T，因此在T上执行P可以证明P相对于R的正确性; 这个概念在程序测试中显然很有用。在本说明中，我将详细阐述以前的研究，以完善和表征这些概念。