برنامۀ درستی‌سنجی

بخشی از برنامۀ اجرایی (implementation plan) که روال‌های اثبات درستی عملکرد را توصیف می‌کند