دانلود مقاله ISI انگلیسی شماره 151936
ترجمه فارسی عنوان مقاله

با استفاده از ویژگی های مدل گیاه برای تولید نمونه های کاهش یافته برای کنترل کننده های قابل برنامه ریزی

عنوان انگلیسی
Using plant model features to generate reduced test cases for programmable controllers
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
151936 2017 6 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 6068 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 90 تومان 12 روز بعد از پرداخت 546,120 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 180 تومان 6 روز بعد از پرداخت 1,092,240 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : IFAC-PapersOnLine, Volume 50, Issue 1, July 2017, Pages 11163-11168

ترجمه کلمات کلیدی
سیستم رویداد گسسته، کنترل کننده قابل برنامه ریزی آزمایش کردن، اعتبار سنجی،
کلمات کلیدی انگلیسی
discrete event system; programmable controller; testing; validation;
ترجمه چکیده
آزمایش انطباق کامل یک روش آزمون مبتنی بر مدل برای کنترل کننده های قابل برنامه ریزی است. این بررسی می کند که آیا پیاده سازی مطابق با مشخصات آن با توجه به همه ترکیب های ممکن از سیگنال های ورودی است، که برای مقیاس کوچک و سیستم های حیاتی ایمنی مفید است. با این حال، مسئله انفجار فضایی دولتی، کاربرد آن را در سیستم های مقیاس بزرگ محدود می کند. این مقاله یک روش برای کاهش فضای دولت در تولید موارد آزمون با استفاده از مدل های نه تنها مشخصات، بلکه همچنین ویژگی های استخراج شده از مدل های گیاهی را ارائه می دهد. کاربرد در یک مطالعه موردی نشان می دهد که تعداد موارد آزمون به طور قابل توجهی کاهش می یابد.
ترجمه دقیق تری نیاز دارید؟ سفارش دهید
پیش نمایش مقاله
پیش نمایش مقاله  با استفاده از ویژگی های مدل گیاه برای تولید نمونه های کاهش یافته برای کنترل کننده های قابل برنامه ریزی

چکیده انگلیسی

Complete conformance testing is a model-based test technique for programmable controllers. It checks whether an implementation conforms to its specifications with regard to all possible combinations of input signals, which is useful for small scale and safety critical systems. However, the state space explosion issue limits its application to large scale systems. This paper presents a method for reducing state space in generation of test cases by utilizing not only specification models but also features extracted from plant models. The application on a benchmark case study shows that the number of test cases is reduced significantly.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 6068 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 90 تومان 12 روز بعد از پرداخت 546,120 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 180 تومان 6 روز بعد از پرداخت 1,092,240 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.