Whereas mutation analysis only expects to detect a difference in the output produced, Certess extends this by verifying that a checker in the testbench will actually detect the difference.
في حين أن تحليل الطفرة يتوقع فقط لاكتشاف الفرق في الكمية المنتجة، Certess يمتد هذا عن طريق التحقق من أن المدقق في testbench سيتم الكشف عن الفرق الواقع.