در این مقاله، فرض می‌کنیم که تمام این ویژگی‌ها قبلاً در نظر گرفته شده‌اند و همه عملکردهای امنیتی در حالت‌های خاصی از نرم‌افزار یا جزء سخت‌افزاری ابزار امنیت داده قابل اجرا هستند. آثار نویسندگان مختلف [1، 2، 3، 4، 5] رویکردهای آزمایشی را بر اساس توسعه و استفاده از مدل‌های ریاضی (به اصطلاح تست مبتنی بر مدل) تعمیر کامپیوتر در اصفهان پیشنهاد می‌کنند که اغلب از نظریه خودکار استفاده می‌کنند. چنین رویکردهایی ممکن است برای اطمینان از کامل بودن آزمایش مورد استفاده قرار گیرند، با این که سؤال بهینه بودن آن باز است. در [6]، نویسندگان مسئله آزمایش را با در نظر گرفتن کامل بودن و بهینه بودن آن فرموله کردند و رویکردی را برای تأیید امکان سنجی مشکل تست ابزارهای امنیت داده های نرم افزاری و سخت افزاری با استفاده از مفاد نظریه گراف پیشنهاد کردند.
- ۰۰/۱۰/۲۶