مشاهده مشخصات مقاله
توليد خودکار بردار آزمون براي درستي سنجي بر اساس خصوصيات منطق-زماني سخت افزار
|
نویسنده (ها) |
|
|
مربوط به کنفرانس |
چهاردهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
|
چکیده |
در اين مقاله روشي براي درستي سنجي سخت افزار ١ و توليد
خودکار بردار آزمون بر اساس مشخصات طرح ارايه شده است . در اين
روش بر خلاف ساير روش هاي تحليل تحول عملگر هاي خطا روي
خصوصيات سيستم تعريف مي شوند و نه پياده سازي آن. سپس براي
هر خطا الگوي آزموني توليد مي شود که آن را آشکار کند. ادعاي ما بر
اين است که اين روش ما را بي نياز از دانش در مورد نحوه پياده سازي
مي کند و همچنين تنگناي زماني که در ديگر روشهاي تحليل تحول
وجود دارد در اين روش وجود ندارد. |
|
قیمت |
-
برای اعضای سایت : ۱٠٠,٠٠٠ ریال
-
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
-
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال
|
خرید مقاله
|
|
.gif){kind=icon}