خدمات
آزمایشگاه مهندسی نرم‌افزار هوشمند مجموعه‌ای از خدمات تخصصی در حوزه مهندسی نرم‌افزار ارائه می‌دهد که شامل آزمون و تضمین کیفیت، مهندسی نیازمندی‌ها، توسعه و بهینه‌سازی نرم‌افزار و مشاوره‌های فنی است. خدمات آزمایشگاه در بخش‌های مختلف دسته‌بندی شده‌اند و هر خدمت دارای کد اختصاصی است که برای سفارش و پیگیری استفاده می‌شود.
اطلاعات نگارش خدمات
فهرست خدمات آزمایشگاه مهندسی نرم‌افزار هوشمند دانشگاه صنعتی امیرکبیر (پلی‌تکنیک تهران)
-
حوزه: خدمات آموزشی و مهندسی-مشاور در مهندسی و علم کامپیوتر (نرم‌افزار، هوش مصنوعی و سیستم)
-
نویسنده: مرتضی ذاکری
نگارش 1.2
گروه آزمون و تضمین کیفیت محصول نرم‌افزار
| کد سفارش | عنوان گروه، سطح و خدمت |
|---|---|
| 11 | دوره‌های آموزشی کاربردی مقدماتی (سطح 1) |
| 111 | آزمون عملکردی نرم‌افزار (سطوح آزمون، فرهنگ آزمون، نقش‌های آزمون‌گر، آزمون واحد و یکپارچگی، آزمون سیستم) |
| 112 | آزمون امنیت (آزمون شکست، تزریق خطا، آزمون فازی، آزمون نفوذ، سناریوهای آزمون نفوذ) |
| 113 | آزمون کارایی (آزمون‌های پایه، دود، بار، فشار، ظرفیت، افزایش بار، پایداری، نقطه شکست، تنش و تغییرات سریع، معیارهای ارزیابی آزمون کارایی، سناریوهای آزمون کارایی) |
| 12 | دوره‌های آموزش کاربردی پیشرفته (سطح 2) |
| 121 | آزمون نرم‌افزار پیشرفته (آزمون دگردیس، آزمون بازگشت، آزمون مبتنی بر مدل، آزمون مدل‌رانده، آزمون مستمر، آزمون و ارزیابی مدل‌های یادگیری ماشین (نرم‌افزار 2.0)، تقویت و بهینه‌سازی مجموعه آزمون، اَبَر آزمون) |
| 122 | آزمون نرم‌افزار خودکار (خودکارسازی تولید، تزریق و پایش داده آزمون، آزمون تصادفی-تطبیقی، آزمون مبتنی بر جست‌وجو، آزمون (اجرای) نمادین، آزمون (اجرای) واقعی-نمادین) |
| 123 | اشکال‌زدایی نرم‌افزار (تحلیل پویا، تحلیل لکه، مکان‌یابی خطا، پیش‌بینی خطا، ترمیم برنامه) |
| 124 | شناخت و استقرار ابزارها، چارچوب‌ها، سکوها و استادیوهای آزمون، اشکال‌زدایی و تحلیل پویای نرم‌افزار |
| 13 | دوره آموزش سفارشی‌سازی شده آزمون و تضمین کیفیت نرم‌افزار (انتخاب از مباحث فوق) |
| 14 | خدمات مهندسی و مشاوره و توسعه محصول |
| 141 | ایجاد و اجرای آزمون عملکردی برای منابع کد legacy (برنامه‌های تحت وب، برنامه‌های تلفن همراه، برنامه‌های رومیزی) |
| 142 | ایجاد و اجرای آزمون عملکردی برای منابع کد در حال توسعه (برنامه‌های تحت وب، برنامه‌های تلفن همراه، برنامه‌های رومیزی) |
| 143 | نصب و استقرار ابزارهای آزمون خودکار، متناسب با پشته توسعه محصول (ابزارهای مبتنی بر LLM و کامپایلرها) |
| 144 | سنجش کارایی و اثربخشی آزمون (آزمون‌پذیری) پروژه‌های نرم‌افزاری و تخمین بدهی فنی کد آزمون (بدهی آزمون) |
| 145 | بهینه‌سازی و تقویت مجموعه آزمون پروژه نرم‌افزاری و کاهش بدهی فنی کد آزمون (بدهی آزمون)، شناسایی و ترمیم آسیب‌پذیری‌ها |
| 146 | ایجاد و اجرای آزمون امنیت (برنامه‌های وب، برنامه‌های سیّار، برنامه‌های رومیزی، ثابت‌افزار، نرم‌افزار 2.0) |
| 147 | ایجاد و اجرای آزمون کارایی (برنامه‌های وب، برنامه‌های سیّار، برنامه‌های رومیزی، ثابت‌افزار، نرم‌افزار 2.0) |
| 148 | مشاوره و هدایت در زمینه شناخت و تحقق استانداردهای تضمین کیفیت و آزمون محصول نرم‌افزاری |
| 15 | صدور گواهی کیفیت محصول نرم‌افزار (کیفیت خارجی) |
| 16 | خدمات مهندسی، مشاوره و توسعه محصول سفارشی در آزمون و تضمین کیفیت نرم‌افزار (انتخاب از مباحث فوق) |
گروه تضمین کیفیت توسعه نرم‌افزار
| کد سفارش | عنوان گروه، سطح و خدمت |
|---|---|
| 21 | دوره‌های آموزشی کاربردی مقدماتی (سطح 1) |
| 211 | کد پاک (اصول نام‌گذاری، SOLID، توابع، کلاس‌ها، نظرات، قالب‌بندی کد) |
| 212 | معماری پاک (نوع معماری، سبک معماری، توصیف معماری، دیدگاه 4+1، اصول معماری پاک، فاصله از توالی اصلی) |
| 213 | کد نویس پاک (بله و خیر گفتن، کار تیمی، مدیریت زمان، تخمین، مدیریت فشار، کنترل نسخه کد محصول و آزمون) |
| 214 | کد نویسی امن (اعتبارسنجی داده، تأیید هویت و اجازه دسترسی، رمزنگاری، مدیریت نشست، مدیریت استثنا، الزامات امنیتی، مبهم‌سازی کد) |
| 22 | دوره‌های آموزش کاربردی پیشرفته (سطح 2) |
| 221 | اصول و الگوها در مهندسی نرم‌افزار (SOLID، PHAME، الگوهای تحلیل، طراحی، معماری، ضدالگوها، الگوهای بازآرایی) |
| 222 | فنون تبدیل‌شکل برنامه‌ها، پیمانه‌سازی مجدد، بازآرایی خودکار نرم‌افزار و سنجش خودکار صفات کیفی نرم‌افزار |
| 223 | فنون مهندسی مجدد، خوشه‌بندی نرم‌افزار، استخراج و مهاجرت معماری نرم‌افزار، مهاجرت به سیستم 2.0 |
| 224 | شناخت و استقرار ابزارها، چارچوب‌ها، سکوها و استادیوهای تحلیل ایستا، بازآرایی و تضمین کیفیت توسعه نرم‌افزار |
| 23 | دوره آموزش سفارشی‌سازی شده تضمین کیفیت توسعه نرم‌افزار (انتخاب از مباحث فوق) |
| 24 | خدمات مهندسی و مشاوره و توسعه محصول |
| 241 | سنجش صفات کیفی داخلی - نگهداشت‌پذیری و تکامل نرم‌افزار (آزمون‌پذیری، درک‌پذیری، به‌کاربندی، خوانایی، تغییر‌پذیری، انعطاف‌پذیری، پیمانگی، تحلیل‌پذیری) |
| 242 | بهبود صفات کیفی داخلی - نگهداشت‌پذیری و تکامل نرم‌افزار (آزمون‌پذیری، درک‌پذیری، باز به‌کاربندی، خوانایی، تغییر‌پذیری، انعطاف‌پذیری، پیمانگی، تحلیل‌پذیری) |
| 243 | سنجش صفات کیفی خارجی - اتکاپذیری نرم‌افزار (قابلیت استفاده مجدد، کارایی و مقیاس‌پذیری، امنیت، ایمنی، اطمینان‌پذیری، دسترسی‌پذیری) |
| 244 | بهبود صفات کیفی خارجی - اتکاپذیری نرم‌افزار (قابلیت استفاده، کارایی و مقیاس‌پذیری، امنیت، ایمنی، اطمینان‌پذیری، دسترسی‌پذیری) |
| 245 | اجرای «طراحی به‌وسیله قرارداد» و پاک‌سازی کد منبع نرم‌افزار مطابق اصول و ضوابط کد پاک و کاهش بدهی فنی کد |
| 246 | بازآرایی طراحی و کد منبع نرم‌افزار مطابق اصول و ضوابط معماری پاک و کاهش بدهی فنی طراحی |
| 247 | مهندسی مجدد و تبدیل‌شکل برنامه، مهاجرت معماری نرم‌افزار به سیستم‌های مقیاس‌وسیع و کاهش بدهی فنی معماری |
| 248 | مشاوره و منتورینگ شناخت و تحقق استانداردهای کیفیت توسعه نرم‌افزار (مانند ISO/IEC 25010) |
| 25 | صدور گواهی کیفیت توسعه نرم‌افزار (کیفیت داخلی) |
| 26 | خدمات مهندسی، مشاوره و توسعه محصول سفارشی در کیفیت توسعه نرم‌افزار (انتخاب از مباحث فوق) |
گروه مهندسی نیازمندی‌ها و متدولوژی‌های توسعه نرم‌افزار
| کد سفارش | عنوان گروه، سطح و خدمت |
|---|---|
| 31 | دوره‌های آموزشی کاربردی مقدماتی (سطح 1) |
| 311 | مهندسی چابک نیازمندی‌ها (استخراج، تحلیل و مدل(مشخصه)سازی نیازمندی‌ها، قالب‌های نیازمندی‌ها در توسعه چابک نرم‌افزار، سنجش و بهبود کیفیت نیازمندی‌های نرم‌افزار) |
| 312 | آشنایی با رویکردها و فرهنگ‌های رایج توسعه چابک نرم‌افزار (TDD، BDD، DevOps، MLOps، CICD) |
| 313 | مدیریت پروژه‌های نرم‌افزاری و فناوری اطلاعات (تخمین اندازه و هزینه، وضعیت پروژه، انواع بدهی فنی و مدیریت آنها) |
| 32 | دوره‌های آموزش کاربردی پیشرفته (سطح 2) |
| 321 | مهندسی خودکار نیازمندی‌ها (تشخیص و ترمیم بوهای نیازمندی‌ها، تولید آزمایه‌های پذیرش، تولید مدل‌های مفهومی از نیازمندی‌ها، تولید کد از نیازمندی‌ها، تولید توضیحات از کد، ترمیم پیوندهای ردپذیری) |
| 322 | فنون پژوهش و ارائه سیستماتیک در مهندسی نرم‌افزار (SMS, SLR, MVLR)، تفکر محاسباتی و محاسباتی معکوس |
| 323 | مهندسی کامپایلرها، مدل‌های زبانی بزرگ و طراحی و ایجاد زبان‌های خاص منظوره (خاص پرس‌وجو، خاص مهندسی رهنمود، خاص توصیف داده) |
| 324 | شناخت و استقرار ابزارها، چارچوب‌ها، سکوها و استادیوهای مهندسی نیازمندی‌ها و اسناد پروژه |
| 33 | دوره آموزش سفارشی‌سازی شده (انتخاب از مباحث فوق) |
| 34 | خدمات مهندسی و مشاوره و توسعه محصول |
| 341 | استخراج سند نیازمندی‌های نرم‌افزار، تحلیل و مدل‌سازی نیازها برای سیستم نرم‌افزاری جدید |
| 342 | استخراج مدل فرایند کسب‌وکار (BPMN) سازمان، ایجاد خدمات بر پایه سیستم 2.0 (مدل‌های زبان بزرگ) |
| 343 | طراحی چک‌لیست و تولید آزمایه‌های پذیرش برای اعتبارسنجی (آزمون پذیرش) نرم‌افزار |
| 344 | ایجاد مدل‌های مفهومی به زبان UML از سند نیازمندی‌های نرم‌افزار |
| 345 | طراحی و نرمال‌سازی پایگاه داده‌های نرم‌افزار متناسب با سند نیازمندی‌ها |
| 346 | ایجاد و استقرار زبان‌های خاص منظوره (خاص توسعه، خاص مهندسی رهنمود، خاص جست‌وجو و گزارش‌گیری) |
| 347 | استخراج و ترمیم سند نیازمندی‌ها و اسناد طراحی و پیاده‌سازی پروژه نرم‌افزاری برای منابع کد legacy |
| 348 | ایجاد و ترمیم پیوندهای ردپذیری پروژه نرم‌افزاری برای منابع کد legacy |
| 35 | صدور گواهی کیفیت نیازمندی‌ها و مستندات نرم‌افزار (اعتبارسنجی) |
| 36 | خدمات مهندسی، مشاوره و توسعه محصول سفارشی در مهندسی نیازمندی‌ها و متدولوژی‌های نرم‌افزار (انتخاب از مباحث فوق) |
سفارش
🌱 آزمایشگاه مهندسی نرم‌افزار هوشمند، آماده ارائه خدمات تخصصی برای بهبود کیفیت، امنیت و عملکرد نرم‌افزارهای شما است. برای سفارش خدمات از طریق اطلاعات تماس زیر با آزمایشگاه در ارتباط باشید:
نحوه سفارش خدمات
- بررسی لیست خدمات و انتخاب خدمت موردنظر
- یافتن کد مربوط به خدمت موردنیاز از لیست ارائه‌شده
- ارسال درخواست سفارش از طریق ایمیل به نشانی
zakeri@aut.ac.irیا تماس با تلفن آزمایشگاه به شماره ۰۲۱۶۴۵۴۵۱۰۸ - بررسی جزئیات توسط تیم آزمایشگاه و ارائه توضیحات تکمیلی
- اجرای سفارش و ارائه گزارش‌های مرتبط
نمونه خدمات با کد سفارش
- صدور گواهی کیفیت نیازمندی‌ها و مستندات نرم‌افزار (
کد 35) - ایجاد مدل‌های مفهومی UML از سند نیازمندی‌های نرم‌افزار (
کد 344) - مشاوره در زمینه شناخت و تحقق استانداردهای تضمین کیفیت نرم‌افزار (
کد 148) - بهینه‌سازی و کاهش بدهی فنی آزمون نرم‌افزاری (
کد 145) - استخراج مدل فرایند کسب‌وکار (BPMN) سازمان و ایجاد خدمات مبتنی بر LLM (
کد 342)