مرکز اطلاعات علمی 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

بازدید:

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

دانلود:

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

استناد:

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

عنوان

رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی

صفحات

 صفحه شروع 13 | صفحه پایان 38

چکیده

 از آنجا که رویکردهای درستی یابی ایستا و آزمون نرم افزار, برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست, رویکرد دیگری به نام درستی یابی در زمان اجرا - که در آن درستی نرم افزار در برابر قیود در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است, درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی و سطح بالای قیود است زیرا ماهیت فعالیت های زمان اجرا و توصیف های انتزاعی با یکدیگر متفاوت است. در این مقاله با تکیه بر نرم افزار های واکنشی, رویکردی به نام SRG6 ارایه می شود که در طی سه مرحله, از روی توصیف های انتزاعی مساله و قیود, به تولید خودکار قوانین حقیقی - که برحسب کمیت های فعالیت های زمان اجرا بیان می شود-می پردازد تا درستی یابی رفتار اجرایی نرم افزار را ممکن سازد. در این رویکرد: (1) یک مدل بصری واکنشی از توصیف مساله ارایه شده و سپس, ضوابط رفتار حین اجرای نرم افزار برحسب منطق بی درنگ تولید می شود, (2) قیودی که باید در زمان اجرا به وسیله نرم افزار رعایت شوند برحسب منطق بی درنگ توصیف می شود و (3) قوانین درستی یابی از قیود (مورد 2) برحسب ضوابط رفتار نرم افزار (مورد 1) تولید می شود. در پایان رویکرد SRG را برای مساله «پروتکل ارتباطات پیامی» به کار می بریم.

استنادها

  • ثبت نشده است.
  • ارجاعات

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

    APA: کپی

    بابامیر، سیدمرتضی، و جلیلی، سعید. (1389). رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی. مهندسی برق مدرس (فنی و مهندسی مدرس) (MODARES JOURNAL OF ELECTRICAL ENGINEERING(، 10(1)، 13-38. SID. https://sid.ir/paper/177643/fa

    Vancouver: کپی

    بابامیر سیدمرتضی، جلیلی سعید. رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی. مهندسی برق مدرس (فنی و مهندسی مدرس) (MODARES JOURNAL OF ELECTRICAL ENGINEERING([Internet]. 1389؛10(1):13-38. Available from: https://sid.ir/paper/177643/fa

    IEEE: کپی

    سیدمرتضی بابامیر، و سعید جلیلی، “رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی،” مهندسی برق مدرس (فنی و مهندسی مدرس) (MODARES JOURNAL OF ELECTRICAL ENGINEERING(، vol. 10، no. 1، pp. 13–38، 1389، [Online]. Available: https://sid.ir/paper/177643/fa

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

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

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






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