توصیف مختصر
عطیه منعمی بیدگلی
استادیار گروه مهندسی برق و کامپیوتر
زمینه تخصصی: آزمون نرم افزار، سیستم های پشتیبانی تصمیم گیری
مختصری از فعالیتهای علمی و پژوهشی
تالیف دو مقاله ژورنالی(ISI)
تالیف بیش از 4 مقاله در کنفرانس های ملی و بین المللی
راهنمایی 3 پایان نامه کارشناسی ارشد
راهنمایی 10 پایان نامه کارشناسی
تقویم درسی پاییز 1404
سوابق تحصیلی
#
دوره
دانشگاه محل تحصیل
شهر محل تحصیل
کشور محل تحصیل
تاریخ فارغالتحصیلى
میانگین کل
1
فوق لیسانس
دانشگاه صنعتی شریف
تهران
ایران
1391
2
فرصت مطالعاتی دکتری
کریستیانا
اسلو
نروژ
1397
3
دکتری
دانشگاه شهید بهشتی
تهران
ایران
1399
آشنایی با زبان
#
زبان
میزان مهارت ترجمه
میزان مهارت مکالمه
1
انگلیسی
خیلی خوب
خیلی خوب
مهارتهای حرفهای
#
عنوان مهارت حرفهاى
تاریخ آغاز فعالیت
1
Model-Based Design and Test for Embedded Software, 11th Conference on Information and Knowledge Technology (IKT 2020), IEEE Computer Society
2020
2
کلیدهای طلایی کار تیمی، 1390، مرکز کارآفرینی دانشگاه صنعتی شریف
1390
3
تکنسین عمومی شبکه¬های کامپیوتری، 1389، سازمان فنی و حرفه¬ای کشور
1389
سوابق شغلی
#
عناوین مسئولیتها
سازمان محل خدمت
تاریخ شروع
تاریخ خاتمه
1
عضو هیات علمی
دانشگاه خوارزمی
1402
2
محقق مهمان در دانشگاه وستردال تحت نظر پروفسور Andrea Arcuri
دانشگاه کریستیانا اسلو، نروژ
2017
3
تست سیستمهای مبتنی بر امنیت
شرکت دانش بنیان گراف
1401
4
مهندس تست نرمافزار
شرکت Geeks Ltd
1402
5
پروژه ملی "طرح جامع مالیاتی کشور" به عنوان ناظر و طراح آزمون از طرف دانشگاه صنعتی شریف
کارفرما سازمان امور مالیاتی کشور
1390
6
طرح ملی "مطالعه و بررسی استانداردها و معیارهای ارزیابی قبل از بهره برداری سامانه های نرم افزاری ملی و تدوین مرجع نرم افزارهای کاربردی معماری سازمانی" دانشگاه شهید بهشتی،
سازمان فناوری اطلاعات ایران
1396
7
پروژه طراحی و اجرای آزمون بار دو مرحله و سطح یک آزمون امنیت سامانه جامع بیمه گری زندگی، دانشگاه شهید بهشتی
شرکت بیمه دی
1396
تاییدیهها و مجوزها
#
عناوین صلاحیتها و اعتبارنامهها
توضیحات
1
طراحی و تست مبتنی بر مدل نرم افزار های توکار
2
کلیدهای طلایی کار تیمی، 1390، مرکز کارآفرینی دانشگاه صنعتی شریف
3
تکنسین عمومی شبکههای کامپیوتری، 1389، سازمان فنی و حرفهای کشور
4
پلتفرم یکپارچه سازی معماری سرویس های سازمانی، 1403،هشتمین کنفرانس پیشرفتهای معماری سازمانی ایران
افتخارات و جوایز
#
عناوین جوایز و افتخارات
تاریخ دریافت
1
بورس تحصیلی شش ماهه به مبلغ 66528 کرون از طرف وزارت علوم، تحقیقات و فناوری ایران به عنوان پژوهشگر مهمان، ACT Oslo Westerdals ، نروژ،
2017
2
کسب رتبه دوم دانش آموختگان کارشناسی مهندسی کامپیوتر گرایش نرم افزار دانشگاه کاشان ورودی
1385
3
کسب رتبه چهارم در مرحله اول(قطب پنجم)چهاردهمین المپیاد دانشجویی در سال 1389 و رتبه 32 در مرحله دوم
1389
4
کسب رتبه 36 در آزمون ارشد سال 1389
1389
5
کسب رتبه 27 درآزمون دکتری سال 1393
1393
فعالیت های اجرایی
#
عناوین فعالیت های اجرایی
توضیح / سازمان محل خدمت
تاریخ شروع
تاریخ خاتمه
1
همکاری در پروژه طراحی و اجرای آزمون بار دو مرحله و سطح یک آزمون امنیت سامانه جامع بیمه¬گری زندگی، دانشگاه شهید بهشتی، تیر 96 تا آذر 98، کارفرما شرکت بیمه دی،
2
همکاری در طرح ملی "مطالعه و بررسی استانداردها و معیارهای ارزیابی قبل از بهره برداری سامانه های نرم افزاری ملی و تدوین مرجع نرم افزارهای کاربردی معماری سازمانی" دانشگاه شهید بهشتی، شهریور 96 تا مرداد 98، کارفرما، سازمان فناوری اطلاعات ایران،
3
همکاری در پروژه ملی "طرح جامع مالیاتی کشور" به عنوان ناظر و طراح آزمون از طرف دانشگاه صنعتی شریف 1390-1396، کارفرما سازمان امور مالیاتی کشور
4
همکاری با شرکت Geeks Ltd، مهندس تست نرم¬افزار
5
همکاری با شرکت دانش بنیان گراف، تست سیستم¬های مبتنی بر امنیت، از شهریور 1401 تا اسفند 1401
6
محقق مهمان در دانشگاه وستردال تحت نظر پروفسور Andrea Arcuri ، اسلو، نروژ؛ مه 2017 ، نوامبر 2017
علایق تحقیقاتی
#
عنوان علاقمندى
تاریخ آغاز فعالیت
1
یادگیری ماشین
2
آزمون نرم افزار
3
الگوریتم های تکاملی و زیستی
4
توصیف صوری
طرحهای تحقیقاتی
#
عناوین طرحهاى پژوهشى
مجریان
سازمان حامى
محل اجرا
وضعیت طرح
تاریخ تکمیل
1
سامانه اکانتینگ سرورهای آزمایشگاه مرکزی دانشگاه خوارزمی
در حال اجرا
-
داوری در کنفرانسها
#
عناوین کنفرانسها
تاریخ همکارى و توضیحات
1
• کنفرانس CSICC2022
2022
2
• کنفرانس CSICC2018
2018
مشارکت در کارگاهها
#
عناوین کارگاهها و دورههاى آموزشى
سازمان برگزار کننده
محل برگزارى
تاریخ برگزارى
1
Model-Based Design and Test for Embedded Software, 11th Conference on Information and Knowledge Technology (IKT 2020), IEEE Computer Society
دانشگاه شهید بهشتی
2020
2
کلیدهای طلایی کار تیمی
مرکز کارآفرینی دانشگاه شریف
دانشگاه صنعتی شریف
1390
3
تکنسین عمومی شبکه¬های کامپیوتری
سازمان فنی و حرفه ای کشور
دانشگاه کاشان
1389
دروس ترم جاری
154 - آزمون نرم افزار - روز: سه شنبه - از ساعت 08:00 تا 09:30
029 - تحلیل و طراحی سیستم ها - روز: چهارشنبه - از ساعت 10:00 تا 11:30
601 - بازیابی پیشرفته اطلاعات - روز: دوشنبه - از ساعت 15:30 تا 17:00
دوره های درسی
#
عنوان درس
توصیف درس
سرفصل ها
دوره درسی
توضیحات
فایل
1
پروژه نرم افزار
کارشناسی
کد دانشکده:17کد گروه درسی:11کد درس:125گروه درس:05تعداد دانشجو:0تعداد واحد3روز:زمان شروع کلاس:زمان پایان کلاس:نام ساختمان:نام کلاس:
2
آزمون نرم افزار
کارشناسی
کد دانشکده:17کد گروه درسی:11کد درس:154گروه درس:11تعداد دانشجو:0تعداد واحد3روز:سه شنبهزمان شروع کلاس:08:00زمان پایان کلاس:09:30نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)نام کلاس:233-دانشکده فنی طبقه اول
3
تحلیل و طراحی سیستم ها
کارشناسی
کد دانشکده:17کد گروه درسی:11کد درس:029گروه درس:11تعداد دانشجو:0تعداد واحد3روز:چهارشنبهزمان شروع کلاس:10:00زمان پایان کلاس:11:30نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)نام کلاس:212 دانشکده فنی و مهندسی
4
بازیابی پیشرفته اطلاعات
کارشناسی
کد دانشکده:17کد گروه درسی:11کد درس:601گروه درس:11تعداد دانشجو:0تعداد واحد3روز:دوشنبهزمان شروع کلاس:15:30زمان پایان کلاس:17:00نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)نام کلاس:231-دانشکده فنی طبقه اول
دورههای تدریس شده
#
عناوین دروس
مکان و تاریخ تدریس
1
مهندسی اینترنت
2
اصول طراحی کامپایلرها
3
برنامه نویسی موبایل
4
مهندسی نرم افزار
5
برنامه نویسی موبایل
6
تحلیل و طراحی سیستم ها
7
آزمون نرم افزار
8
روش های رسمی در تولید نرم افزار
مقالات چاپ شده
#
عنوان
نگارندگان
عنوان مجله
سال انتشار
1
Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation.
Atieh Monemi --- Hassan Haghighi
Information Systems & Telecommunication
2
Analyzing program conditional statements to reduce the input domain in test data generation
Atieh Monemi and Hassan Haghighi
.” Journal of Systems and Software
2020
3
Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation.
Atieh Monemi and Hassan Haghighi
Information Systems & Telecommunication
2020
4
Augmenting ant colony optimization with adaptive random testing to cover prime paths
, Hassan Haghighi
JOURNAL OF SYSTEMS AND SOFTWARE
مقالات ارایه شده
#
عنوان
نگارندگان
مشخصات کنفرانس
سال برگزارى
نوع ارائه
1
A new approach for search space reduction and seeding by analysis of the clauses
Atieh Monemi, Hassan Haghighi
International Symposium on Search Based Software Engineering
2018
شفاهى
2
new approach for search space reduction and seeding by analysis of the clauses
Atieh Monemi---Hassan Haghighi,
International Symposium on Search Based Software Engineering
2018
شفاهى
3
“Classification of the search space in search-based test data generation
Atieh Monemi--- Hassan Haghighi --- Hamideh Sabouri;
CSICC 2017(Persian)
2017
شفاهى
4
Using Swarm Intelligence to Generate Test Data for Covering Prime Path
,Atieh Monemi---Hassan Haghighi---Tahere Zohdi-Nasab --- Hamideh Sabouri
7th IPM International Conference on Fundamentals of Software Engineering - Iran
2017
شفاهى
5
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths
Atieh Monemi, Hassan Haghighi, Tahere Zohdi-Nasab and Hamideh Sabouri
International Conference on Fundamentals of Software Engineering. Published in Springer Berlin Heidelberg
2017
شفاهى
6
Data Mining on the Education Database of Kashan University by GRI Method and Analyzing Outcomes
Atieh Monemi---Ahmad Yoosofan---Aboulfazl Khedmati
The Seventh Iran Data Mining Conference/IDMC 2013, Tehran, Iran (Persian)
2013
شفاهى
7
کلاسه بندی فضای جستجو در روش مبتنی بر جستجوی تولید داده آزمون
عطیه منعمی بیدگلی، حسن حقیقی
کنفرانس انجمن کامپیوتر
1395
شفاهى
8
داده کاوی روی داده های آموزش دانشگاه کاشان به روش GRI و تحلیل نتیجه ها
عطیه منعمی بیدگلی، احمد یوسفان، ابوالفضل خدمتی؛
هفتمین کنفرانس داده کاوی ایران، تهران، ایران
1392
شفاهى