معايير تغطية الاختبار للأنظمة القائمة على الممثل
| العنوان | معايير تغطية الاختبار للأنظمة القائمة على الممثل |
|---|---|
| المؤلف | سوزر، حسن، جورلر، أو.، يلماز، أو. |
| تاريخ النشر: | 2018 |
| مكان النشر | - CEUR-WS |
| الموضوع | نموذج الممثل، البرمجة المتزامنة، الأنظمة الموزعة، الاتصال غير المتزامن، معايير تغطية الاختبار، نموذج الممثل، البرمجة المتزامنة، الأنظمة الموزعة، الاتصال غير المتزامن، مقاييس تغطية الاختبار |
| النوع | وثيقة |
| اللغة | التركية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 1613-0073 |
| رقم السجل | cd91d8b6-e104-46e9-89d9-cd992d955455 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2018 |
| نص عينة | تتكون الأنظمة القائمة على الممثل من عناصر مستقلة تسمى الجهات الفاعلة التي تعمل في وقت واحد وتتواصل مع بعضها البعض بشكل غير متزامن. بسبب الاتصال غير المتزامن، قد يختلف ترتيب الرسائل المشتركة بين الجهات الفاعلة. كما هو الحال مع الأنظمة الأخرى التي تعمل بشكل متزامن، فإن الافتقار إلى الحتمية يجعل الاختبار وتصحيح الأخطاء أمرًا صعبًا في الأنظمة القائمة على الممثل. كما أن معايير تغطية الاختبار التقليدية ليست فعالة بالنسبة لهذه الأنظمة. في هذه الورقة، يتم فحص معايير تغطية الاختبار التي يمكن استخدامها للأنظمة القائمة على الممثل. بالإضافة إلى المعايير الحالية المقترحة في الأدبيات، تمت مناقشة المعايير والتطبيقات الجديدة للدراسات المنشورة مؤخرًا في مجال الرياضيات المنفصلة لتحديد وتقييم معايير تغطية الاختبار للأنظمة القائمة على الممثل لأول مرة في هذه الورقة. إن البنية التحتية للاختبار التي يمكنها التقييم وفقًا لمعايير التغطية الموصى بها وإنشاء حالات اختبار تلقائيًا لتلبية هذه المعايير قيد التطوير حاليًا. تتكون الأنظمة القائمة على الممثل من كيانات مستقلة تسمى الجهات الفاعلة التي تعمل بشكل متزامن وتتواصل مع بعضها البعض بشكل غير متزامن. يمكن أن يختلف ترتيب الرسائل المتبادلة بين الجهات الفاعلة بسبب الاتصال غير المتزامن. إن الافتقار إلى الحتمية، كما هو الحال أيضًا بالنسبة للأنظمة المتزامنة الأخرى، يجعل من الصعب اختبار وتصحيح الأنظمة القائمة على الممثل. معايير تغطية الاختبار التقليدية ليست فعالة لهذه الأنظمة. في هذه الورقة، نتناول بالتفصيل مقاييس ومعايير تغطية الاختبار للأنظمة القائمة على الجهات الفاعلة. نراجع المقاييس الموجودة في الأدبيات ونقترح مقاييس جديدة. بالإضافة إلى ذلك، نناقش، ولأول مرة في هذه الورقة، تطبيق الدراسات الحديثة في مجال الرياضيات المنفصلة حول تقييم معايير تغطية الاختبار للأنظمة القائمة على الممثل. إطار اختبار يمكنه تقييم هذه المعايير ويمكنه ذلك إنشاء حالات اختبار تلقائيًا لإرضائها قيد التطوير حاليًا. |
| Editör | Tarhan, A., Erten, M. |
| Cilt | 2201 |
