مشاهده مشخصات مقاله
توليد خودکار بردار آزمون براي درستي سنجي بر اساس خصوصيات منطق-زماني سخت افزار
|
Authors |
|
|
Conference |
چهاردهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
|
Abstract |
در اين مقاله روشي براي درستي سنجي سخت افزار ١ و توليد
خودکار بردار آزمون بر اساس مشخصات طرح ارايه شده است . در اين
روش بر خلاف ساير روش هاي تحليل تحول عملگر هاي خطا روي
خصوصيات سيستم تعريف مي شوند و نه پياده سازي آن. سپس براي
هر خطا الگوي آزموني توليد مي شود که آن را آشکار کند. ادعاي ما بر
اين است که اين روش ما را بي نياز از دانش در مورد نحوه پياده سازي
مي کند و همچنين تنگناي زماني که در ديگر روشهاي تحليل تحول
وجود دارد در اين روش وجود ندارد. |
|
قیمت |
-
برای اعضای سایت : 100,000 Rial
-
برای دانشجویان عضو انجمن : 20,000 Rial
-
برای اعضای عادی انجمن : 40,000 Rial
|
خرید مقاله
|
|
.gif){kind=icon}