فضیلت حججی - دانشجوی دکتری، دانشگاه اصفهان
بهمن زمانی - عضو هییت علمی، دانشگاه اصفهان

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

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