Property Based Design Testing
عنوان مقاله: Property Based Design Testing
شناسه ملی مقاله: ICEE13_036
منتشر شده در سیزدهمین کنفرانس مهندسی برق ایران در سال 1384
شناسه ملی مقاله: ICEE13_036
منتشر شده در سیزدهمین کنفرانس مهندسی برق ایران در سال 1384
مشخصات نویسندگان مقاله:
Zainalabedin Navabi - University of Tehran
Mostafa Naderi - University of Tehran
خلاصه مقاله:
Zainalabedin Navabi - University of Tehran
Mostafa Naderi - University of Tehran
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.
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/41912/