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

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 595

فایل این مقاله در 12 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

COMPUTER02_088

تاریخ نمایه سازی: 2 تیر 1395

چکیده مقاله:

ردگیری و تحلیل پویا، با توجه به کاربردهای متعدد آن از قبیل اشکال زدایی، فهم و شناخت رفتار نرم افزار، آزمون نرم افزار، مسئله مهمی در رویکردهای مهندسی نرم افزار از جمله مهندسی مدل رانده است. رد اجرا، اطلاعات لازم را برای ردگیری و به کارگیری تکنیک های تحلیل پویا فراهم می سازد. یکی از ملاحظات اساسی در ردگیری و تحلیل پویا، مسئله کارایی است و این موضوع هم در ردگیری کد و هم در ردگیری مدل مصداق دارد. به دلیل حجم بالای اطلاعات رد حاصل از اجرای مدل ها، تحلیل این اطلاعات سربار و هزینه زیادی را به سیستم تحمیل می کند و اغلب فاقد کیفیت مطلوب است. بر این اساسف تحلیل و استدلال رد اجرا به دلیل اندازه و حجم آنها با یک چالش جدی مواجه می شود. در این مقاله، تکنیک هایی برای تسهیل تحلیل و درک محتوای رد اجرای مدل ها ارائه میگردد. این تکنیک ها شامل دیداری سازی، فیلتر سازی، حرس کردن و کشف الگوهای تکرار شونده در اطلاعات رد اجراست. استفاده از این تکنیک ها کاهش 40 درصدی حجم اطلاعات رد اجرا را به همراه داشته است. نتایج حاصل از این پژوهش می تواند نقش مؤثری در بهبود مقیاس پذیری روش های ردگیری مدل و افزایش قابلیت اطمینان و کیفیت نرم افزار ایفاء نماید.

کلیدواژه ها:

توسعه مدل رانده ، ردگیری مدل ، کیفیت نرم افزار ، تحلیل پویاف فشرده سازی رد اجرا

نویسندگان

فضیلت حججی

دانشجوی دکتری، دانشگاه اصفهان- ارائه دهنده

بهمن زمانی

عضو هیئت علمی، دانشگاه اصفهان

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • زمانی. بهمن, " خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار ...
  • زمانی. بهمن، فاطمی، افسانه, مهندسی نرم‌افزار شی‌گرا-یک متدولوژی چابک یکنواخت. ...
  • T. Mayerhofer, P. Langer, and G. Kappel, "A Runtime Model ...
  • A. Hamou-Lhadj and T. Lethbridge, "A metamode for the compact ...
  • S. Maoz, "Model-Based Traces, " in Models in Software Engineering ...
  • S. Maoz and D. Harel, "On tracing reactive systems, " ...
  • T. Mayerhofer, "Defining Executable Modeling Languages with fUML, " PHD, ...
  • C. Soltenborn, _ Quality Assurance with Dynamic Meta Modeling, " ...
  • O. M. Group, "Semantics of a Foundational Subset for Executable ...
  • T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, "xMOF: ...
  • A. Hamou-Lhadj and T. C. Lethbridge, "A survey of trace ...
  • T. Ball, "The Concept of Dynamic Analysis, " SIGSOFT Software ...
  • S. Maoz, "Using Model-Based Traces as Runtime Models, " IEEE ...
  • R. B. France and B Rumpe, "Model-Driven Development of Complex ...
  • A. Hamou-Lhadj, "Techniques to Simplify the Analysis of Execution Traces ...
  • E. Seidewitz, "UML with Meaning: Executable Modeling in Foundational UML ...
  • D. Corcoran, "Model Driven Development and Executable UML at Ericsson, ...
  • G. Shubert. (2011, Executable UML Information Day Panelist Presentation. Available: ...
  • L. Fuentes and P. S anchez, "Dynamic Weaving of Aspect-Ori ...
  • P. S. L Fuentes, "Towards Executable Aspe ct-Oriented UML models, ...
  • OMG, "Meta Object Facility (MOF) Specification 1.4, " ed: Object ...
  • OMG, "MOF 2.0 Core Final Adopted Specification, " ed: Object ...
  • F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. ...
  • P. Muller, F. Fleurey, and J. Jezequel, "Weaving Executability into ...
  • OMG, "Semantics of a Foundational Subset for Executable UML Models ...
  • W. D. Pauw, D. Lorenz, J. Vlissides, and M. Wegman, ...
  • D. Jerding and S. Rugaber, "Using Visualisation for Architecture Localization ...
  • D. B. Lange and Y. Nakamura, _ Obj ect-Oriented Program ...
  • K. Koskimies, T. Mannisto, and T. Systa, "SCED: A Tool ...
  • G. Eakman, "Strategies for Debugging Embedded Systems, " Embedded Systems ...
  • R. S.P., "Visualizing Program Execution Using User Abstractions, " presented ...
  • L. Fuentes, J. Manrique, and P. Sanchez, "Execution and simulation ...
  • M. Crane and J. Dingel, "Towards a UML virtual machine: ...
  • W. Haberl, M. Herrmann sdoerfer, J. Birke, and U. Baumgarten, ...
  • H. Aljamaan, T. C. Lethbridge, O. Badreddin, G. Guest, and ...
  • نمایش کامل مراجع