ارایه روش تولید نمونه آزمون برای مدل شبکه پتری نرم افزار با هدف اصلاح مدل UML
- سال انتشار: 1397
- محل انتشار: سومین کنفرانس ملی فناوری در مهندسی برق و کامپیوتر
- کد COI اختصاصی: TECCONF03_081
- زبان مقاله: فارسی
- تعداد مشاهده: 617
نویسندگان
دانشجوی کارشناسی ارشد، دانشگاه جامع امام حسین (ع) ، تهران، ایران
استادیار گروه مهندسی کامپیوتر، دانشگاه جامع امام حسین (ع) ، تهران، ایران
چکیده
آزمون نرم افزار بخش بسیار مهمی در فرآیند توسعه ی نرم افزار محسوب میشود. اگر آزمون نرم افزار را از مرحله ی طراحی آن آغاز کنیم، مانع از انتشار خطاهای طراحی به مراحل بعدی و به تبع آن صرفه جویی در هزینه های آتی برای اصلاح خطاهای نرم افزار میشویم. یکی از روشهایی که برای آزمون مدل طراحی شده ی نرم افزار استفاده میشود، آزمون مدل شبکه ی پتری نرم افزار که از مدلهای UML بدست می آیند، میباشد. با استفاده از الگوریتم های فرا اکتشافی مانند الگوریتم ژنتیک، براساس گراف حالتهای این مدل مسیرهایی(نمونه آزمونهایی) برای سنجش اجرای درست مدل مطابق انتظار بدست میآیند. به منظور بهبود در چنین روشهایی در این مقاله برای اولین بار از مدلهای State Machine Diagram و Collaboration Diagram مربوط به UML به همراه زبان نشانه گذاری OCL برای مدلسازی نرم افزار از سطح شی تا سیستم، و تبدیل به شبکه ی پتری رنگی استفاده میشود. همچنین برای تسهیل یافتن مسیرهای بهینه برای آزمون مدل شبکه ی پتری برای اولین بار از الگوریتم بهینه سازی ازدحام ذرات استفاده شده است. برخلاف آنچه در سایر مطالعات نادیده گرفته شده، در نهایت نیز با اصلاح مدل شبکه ی پتری از خطاهای یافت شده در اجرای مسیرهای آزمون و برگرداندن آن به مدل های UML یاد شده ، اصلاح شده ی این مدلها را که مدلهای رایج طراحی هستند، بدست آوریم.کلیدواژه ها
شبکه های پتری رنگی، مدلهای UML، آزمون مدل، الگوریتم ازدحام ذرات، CPN TOOLS، Model Base Testing، Particle Swarm Optimizationمقالات مرتبط جدید
- استفاده از اینترنت اشیا در بهبود مدیریت بار و افزایش کارایی شبکه های برق
- بهینه سازی توان در سیستم های چند هسته ای با استفاده از یادگیری تقویتی و تخصیص منابع
- بررسی مدارهای مجتمع آنالوگ کم مصرف برای کاربردهای پزشکی
- Physical Layer Security in ۵G Networks Using ArtificialInterference
- یک روش جدید در سیستم های توصیه گر برای پیش بینی سلیقه کاربران با استفاده ازالگوریتم بهینه سازی نهنگ
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.