3.5.1. تحلیل ویژگی‌های سیستم و رفع اشکال (Analyzing System Properties and Remediation)