آزمايشگاه کیفیت نرم افزار و داده
سرپرست: آقای دکتر حسن حقيقی
محل فعلی: محل آزمایشگاههای تخصصی دانشکده مهندسی و علوم کامپیوتر
فعالیت اصلی:
- • انجام تحقیقات و اجرای پروژه‌های پژوهشی با مشارکت دانشجویان هر سه مقطع کارشناسی، کارشناسی رشد و دکترا در زمینه‌های کیفیت نرم‌افزار، مهندسی نرم‌افزار، مدیریت داده و کیفیت داده
- • انجام پروژه‌های ارتباط با صنعت در زمینه‌های آزمون و کیفیت نرم‌افزار، طراحی معماری فناوری اطلاعات، مشاوره و نظارت بر کلیه فرایندهای چرخه حیات توسعه نرم‌افزار، و مدیریت داده
فعالیت اصلی:
- • آزمون نرم‌افزار
- • مهندسی و معماری نرم‌افزار
- • مدیریت داده‌ها
برخی خدمات و فعاليت‌ها در حوزه صنعت:
- • تاسيس دپارتمان آزمون
- • تعيين ميزان آزمون‌پذيری نرم‌افزار‌ها
- • انتخاب و سفارشی‌سازی چارچوب و متدلوژی آزمون
- • تحليل و طراحی آزمون و سازماندهی تيم آزمون
- • مشاوره در زمينه طراحی معماری و طراحی تفصيلی نرم‌افزار با هدف افزايش قابليت آزمون‌پذيری
يکی از زمينه‌های برجسته فعاليت‌های آزمايشگاه، که آن را حتی از آزمايشگاه‌های مشابه خارج از کشور نيز متمايز می‌سازد، تمرکز قابل توجه بر استفاده از روش‌های فرا‌ابتکاری در توليد داده‌های آزمون با هدف افزايش پوشش آزمون توام با کاهش هزينه‌های آن است.
عنوان پایان نامه‌ها:
- • استخراج موارد آزمون برنامه‌های شی‌گرا
- • ارائه رویكردی جدید برای مكان‌یابی خطاهای نرم‌افزاری مبتنی بر تولید هدفمند داده‌های آزمون
- • تولید كارای داده‌های آزمون كارآمد با استفاده از اطلاعات ایستای برنامه
- • رویكردی جهت استفاده از بازی‌های هدفمند در آزمون و اشكال‌زدایی برنامه‌ها
- • ارائه روشی كارا برای تولید موارد آزمون كارآمد در برنامه‌های همروند
- • طراحی یك زبان صوری برای ایجاد دنیاهای بازی‌های نقش محور
- • مدلی برای زیرگراف كاوی در گراف‌های حجیم
- • ارائه یك رهیافت مبتنی بر معماری برای مدل‌سازی سامانه‌های رایانش حیاتی
- • بهبود تولید داده آزمون مبتنی بر جستجو با استفاده از یادگیری تقویتی
- • آزمون آ/ب در سیستم‌های مبتنی بر هوش مصنوعی
- • طراحی و پیاده‌سازی خدمات مصالحه در مدیریت كیفیت داده‌های كلیدی
- • رویكردی برای تولید داده‌های آزمون سیستم‌های مبتنی بر یادگیری ماشین با استفاده از شبكه‌های مولد
- • ارائه یك اوراكل خودكار مبتنی بر یادگیری ماشین برای آزمون كارایی نرم‌افزار
- • ارائه یك رویكرد ابراكتشافی جدید جهت تولید داده آزمون ساختاری
- • تولید موارد آزمون از سناریوهای كارایی موجود در اسناد معماری نرم‌افزار
- • رویكردی مبتنی بر یادگیری ماشین به‌منظور انجام ترمیم‌های چندعملگره
- • انتخاب موارد آزمون در آزمون رگرسیون بر اساس سوابق آزمون‌های انجام شده
- • تركیب رویكردهای ایستا و پویا برای تشخیص خطاهای سامانه‌های سایبر فیزیكی
- • تشخیص و ترمیم خطاهای انرژی در برنامه‌های كاربردی اندروید
- • ارایه‌ی راهكاری جهت مكان‌یابی خطاهای نرم‌افزاری مبتنی برساختار ایستای برنامه و ویژگی‌های برنامه‌نویسان
- • ارائه روشی مبتنی بر مدل‌سازی نرم جهت تولید داده آزمون نرم‌افزار
- • آزمون انرژی برنامه‌های كاربردی تلفن همراه برای سیستم عامل اندروید
- • ارائه روشی برای تولید خودكار داده آزمون برنامه‌های وب در سمت سرور
- • رویكردی جهت افزایش كارآمدی ترمیم خودكار برنامه‌ها
- • ارائه روشی برای تولید موارد آزمون كارایی با استفاده از توصیف صوری نرم‌افزار
پایان‌نامه‌های دکترا:
پایان‌نامه‌های کارشناسی‌ارشد:
برخی از پروژه‌های صنعتی:
- • سازمان هواشناسی كشور: آزمون، یکپارچه‌سازی و مهاجرت داده‌ها در پروژه نوین‌سازی سیستم‌های اطلاعاتی
- • سازمان بنادر و دریانوردی: تدوین برنامه کلان فناوری اطلاعات و ارتباطات
- • سازمان تامین اجتماعی: تدوین طرح کلان فناوری اطلاعات و ارتباطات
- • سازمان مالیاتی کشور: آزمون نرم‌افزار یکپارچه مالیاتی
- • سازمان فناوری اطلاعات شهرداری تهران: طرح تدوین نظام جامع فناوری اطلاعات مدیریت شهری تهران (تهران هوشمند)
- • شرکت خدمات انفورماتیک: آزمون سامانه بانکداری ABIS
- • سازمان دامپزشکی کشور: تدوین طرح کلان فناوری اطلاعات
- • شرکت بیمه دی: آزمون های کارایی و امنیت سیستم جامع بیمه عمر
- • سازمان فناوری اطلاعات ایران: طراحی مدل مرجع ملی نرم‌افزار و ارزیابی کیفی سامانه‌های نرم‌افزاری ملی
- • شرکت سایان کارت: طراحی، پیاده‌سازی و اجرای آزمون‌های کارایی سوئیچ بانکی سایان کارت
- • برق منطقه‌ای خوزستان: تدوین معماری سازمانی تطبیقی و برنامه راهبردی فاوا
- • سازمان بنادر و دریانوردی: تدوین برنامه‌ی فناوری اطلاعات و ارتباطات و هوشمندسازی بنادر
- • سازمان دامپزشکی کشور: تدوین مدل مطلوب فرایند و داده سامانه جامع دامپزشکی کشور
- • جهاد دانشگاهی: تدوین طرح جامع فناوری اطلاعات
- • شرکت خدمات ارتباطی ایرانسل: خودکارسازی تست و تست کارایی خدمات شرکت خدماتی ایرانسل
- • برق منطقه‌ای سیستان و بلوچستان: تدوین معماری سازمانی تطبیقی و برنامه راهبردی فاوا
- • سازمان صدا و سیما: شناخت و یکپارچه‌سازی داده‌های سازمان
- • سازمان فضایی ایران: تدوین معماری سازمانی
- • وزارت نفت: تدوین نظام جامع فناوری اطلاعات
- • سازمان بنادر و دریانوردی: تدوین الزامات توسعه، کیفیت و معماری سامانه‌های نرم‌افزاری سازمان
- • سازمان فناوری اطلاعات و ارتباطات شهرداری تهران: تدوین نقشه‌راه فناوری اطلاعات و ارتباطات شهرداری تهران
- • شرکت مدیریت منابع آب ایران: تدوین نقشه‌راه تحول دیجیتال
- • سازمان بیمه سلامت کشور: تدوین معماری سازمانی بیمه سلامت کشور
- • وزارت امور اقتصادی و دارایی: پروژه تدوین الزامات توسعه، معماری و کیفیت سامانه‌های نرم‌افزاری
- • سازمان بنادر و دریانوردی: سازماندهی و طراحی برنامه‌ها و الزامات حوزه نرم‌افزار
- • وزارت امور اقتصادی و دارایی: آزمون سامانه سناما
- • سازمان فناوری اطلاعات ایران: تدوین ضوابط و رویه¬های استقرار و بهره‌برداری از خدمات ابر دولت
- • پژوهشگاه ارتباطات و فناوری اطلاعات: تست و ارزیابی پیام‌رسان‌های ملی
- • سازمان دامپزشکی کشور: تحلیل و بازمهندسی در فرآیندهای تخصصی سازمان دامپزشکی کشور
- • وزارت امور اقتصادی و دارایی: طرح معماری یکپارچه فناوری اطلاعات
- • سازمان امور مالیاتی: طرح معماری جامع فناوری اطلاعات سازمان
کارفرما و عنوان برخی پروژه‌های صنعتی: