کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4944785 | 1438016 | 2016 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Testing based on identifiable P Systems using cover automata and X-machines
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Testing based on identifiable P Systems using cover automata and X-machines Testing based on identifiable P Systems using cover automata and X-machines](/preview/png/4944785.png)
چکیده انگلیسی
This paper represents a significant advance on the issue of testing for implementations specified by P systems with transformation and communicating rules. Using the X-machine framework and the concept of cover automaton, it devises a testing approach for such systems, that, under well defined conditions, it ensures that the implementation conforms to the specification. It also investigates the issue of identifiability for P systems, that is an essential prerequisite for testing implementations based on such specifications and establishes a fundamental set of properties for identifiable P systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 372, 1 December 2016, Pages 565-578
Journal: Information Sciences - Volume 372, 1 December 2016, Pages 565-578
نویسندگان
Marian Gheorghe, Florentin Ipate, Savas Konur,