وارسی ویژگی دسترسپذیری در سیستمهای تبدیل گراف با رویکرد کشف وابستگی شرطی بین قوانین
نویسندگان
1 دانشگاه ازاد اسلامی لامرد
doi
10.61186/jsdp.20.2.175چکیده
وارسی مدل[1] یکی از مؤثرترین تکنیک­های صحت سنجی خودکار ویژگیهای سیستمهای سختافزاری و نرمافزاری است. در حالت کلی، در این روش، مدلی از سیستم موردنظر تولید می­شود و تمام حالات ممکن در گراف فضای حالت مورد کاوش قرار میگیرد تا بتواند خطاها و الگوهای نامطلوب را پیدا کند. در سیستمهای بزرگ و پیچیده تولید ...
