کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6948079 | 1450736 | 2018 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
ترجمه فارسی عنوان
جستجو برای نقض خواص ایمنی و زندگی با استفاده از کشف دانش در سیستم های پیچیده مشخص شده از طریق تحولات گراف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
داده کاوی، شبکه بیزی، چک کردن مدل، انفجار فضایی دولتی، سیستم تحول گراف
ترجمه چکیده
نتایج تجربی بر روی مجموعه های مختلف معیارها نشان می دهد که روش های پیشنهادی سریع تر و دقیق تر از روش های موجود متا اکتیویتی و تکاملی در مدل بررسی سیستم های نرم افزاری پیچیده مشخص شده از طریق تحولات گراف هستند.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
تعامل انسان و کامپیوتر
چکیده انگلیسی
Experimental results on different set of benchmarks show that the proposed approaches are faster and more accurate in comparison with the existing meta-heuristic and evolutionary techniques in model checking of complex software systems specified through graph transformations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Software Technology - Volume 97, May 2018, Pages 110-134
Journal: Information and Software Technology - Volume 97, May 2018, Pages 110-134
نویسندگان
Einollah Pira, Vahid Rafe, Amin Nikanjam,