Property Based Design Testing
محل انتشار: سیزدهمین کنفرانس مهندسی برق ایران
سال انتشار: 1384
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,561
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICEE13_036
تاریخ نمایه سازی: 27 آبان 1386
چکیده مقاله:
FSMs play an important role in protocol design. Current techniques of FSM testing are statistical which rely on simulation. These techniques often fail to find some critical cases in the FSMs. Using formal verification,FSM validation can be done independent of the number of inputs and the actual transition data. In this paper we explain formal properties for validation of FSM machines. We show that four groups of properties can test an FSM for all state transition faults.
کلیدواژه ها:
Verification ، Model Checking ، Protocol ، FSM ، BDD ، MDD ، CTL ، Image Computation ، Reachability Analysis.
نویسندگان
Zainalabedin Navabi
University of Tehran
Mostafa Naderi
University of Tehran
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :