توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی

Authors

  • سعید جلیلی دانشکده‌ فنی و مهندسی - گروه کامپیوتر - دانشگاه تربیت مدرس
  • سید مرتضی بابامیر دانشکده‌ فنی و مهندسی - گروه کامپیوتر - دانشگاه تربیت مدرس
Abstract:

This article doesn't have abstract

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

ارائه رویکردی نوین و خودکار به منظور تولید داده های تست مبتنی بر روشهای تصادفی

فرآیند تست 50% کل هزینه توسعه نرم افزار را شامل می شود. به منظور تست نرم افزار، باید مجموعه ای از داده‌های تست ایجاد شوند که تولید این مجموعه، کاری بسیار زمانبر بوده و تاثیر مستقیمی بر هزینه فرآیند تست خواهد داشت. بدون خودکارسازی، این فرآیند، کند، پرهزینه و همراه با خطا خواهد بود. در این مقاله روش جدیدی به منظور تولید داده های تست بر مبنای الگوریتمهای تصادفی با ترکیب روشهای ایستا و پویا ارائه ش...

full text

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

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

full text

تدوین مدلی برای ساخت برند اجتماعی: رویکردی نوین به برندسازی

شرکت‌ها با چالشی جدی در ارتباط با فعالیت‌های برندسازی مواجه شده‌اند، چراکه ازیک‌طرف مصرف‌کنندگان نسبت به فعالیت‌های برندسازی بدبین شده‌اند و از طرف دیگر رقابت شدید موجب شده تا شرکت‌ها به‌دنبال ابزاری برای پایداری مزیت رقابتی خود باشند. اگرچه برخی از پژوهش‌ها به اهمیت مسئولیت اجتماعی به‌عنوان یکی از ابزارهای اجتماعی غالب در فعالیت‌های برندسازی اشاره کرده‌اند، اما تحقیق زیادی در خصوص اینکه چگونه ...

full text

ارائه رویکردی نوین و خودکار به منظور تولید داده های تست مبتنی بر روشهای تصادفی

فرآیند تست 50% کل هزینه توسعه نرم افزار را شامل می شود. به منظور تست نرم افزار، باید مجموعه ای از داده های تست ایجاد شوند که تولید این مجموعه، کاری بسیار زمانبر بوده و تاثیر مستقیمی بر هزینه فرآیند تست خواهد داشت. بدون خودکارسازی، این فرآیند، کند، پرهزینه و همراه با خطا خواهد بود. در این مقاله روش جدیدی به منظور تولید داده های تست بر مبنای الگوریتمهای تصادفی با ترکیب روشهای ایستا و پویا ارائه ش...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume دوره 23  issue 38 - ویژه مهندسی برق و کامپیوتر

pages  81- 101

publication date 2007-06-22

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

-

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023