مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

مقاله مقاله نشریه

مشخصات مقاله

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

26
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

4
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

وارسی ویژگی دسترس پذیری در سامانه های تبدیل گراف با رویکرد کشف وابستگی شرطی بین قوانین

صفحات

 صفحه شروع 175 | صفحه پایان 194

چکیده

 وارسی مدل[1] یکی از مؤثرترین تکنیک­های صحت سنجی خودکار ویژگی های سیستم های سخت افزاری و نرم افزاری است. در حالت کلی, در این روش, مدلی از سیستم موردنظر تولید می­شود و تمام حالات ممکن در گراف فضای حالت مورد کاوش قرار می گیرد تا بتواند خطاها و الگوهای نامطلوب را پیدا کند. در سیستم های بزرگ و پیچیده تولید تمام فضای حالت منجر به مشکل انفجار فضای حالت[2] می­شود. تحقیقات اخیر نشان می دهند که کاوش در فضای حالت با استفاده از روش های هوشمندانه, می تواند ایده امیدوارکننده ای باشد. ازاین رو در این تحقیق ابتدا مدلی از سیستم موردنظر ایجاد می شود, سپس بخشی از فضای حالت مدل, تولیدشده و با استفاده از احتمالات شرطی, وابستگی بین قوانین موجود در فضای حالت کشف می شوند. پس از آن, با کمک وابستگی های کشف شده, بقیه فضای حالت مدل را به طور هوشمندانه مورد کاوش قرار می گیرد. در این مقاله روشی برای وارسی ویژگی دسترس پذیری[3] در سیستم های نرم افزاری پیچیده و بزرگ که به زبان رسمی تبدیل گراف[4] (GTS) مدل شده اند, ارائه می شود. روش پیشنهادی در GROOVE که یک مجموعه ابزار منبع باز برای طراحی و بررسی وارسی مدل سیستم های تبدیل گراف می باشد, پیاده سازی شده است. نتایج آزمایش های تجربی نشان می دهند که رویکرد پیشنهادی نسبت به روش های قبلی سریع تر بوده و مثال های نقض[5]/شاهد[6]کوتاه تری تولید می کند.

استنادها

  • ثبت نشده است.

    • ارجاعات

  • ثبت نشده است.

    • استناددهی

    مقالات مرتبط نشریه ای

  • ثبت نشده است.

    • مقالات مرتبط همایشی

  • ثبت نشده است.

    • طرح های مرتبط

  • ثبت نشده است.

    • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button