Published November 25, 2020
| Version v1
Publication
Open
Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design
- 1. University of Hassan II Casablanca
- 2. Al Baha University
- 3. University of Sfax
Description
This paper deals with an efficient and robust distributed framework for finite state machine coverage in the field model based testing theory. All final states coverage in large-scale automaton is inherently computing-intensive and memory exhausting with impractical time complexity because of an explosion of the number of states. Thus, it is important to propose a faster solution that reduces the time complexity by exploiting big data concept based on Spark RDD computation. To cope with this situation, we propose a parallel and distributed approach based on Spark in-memory design which exploits A* algorithm for optimal coverage. The experiments performed on multi-node cluster prove that the proposed framework achieves significant gain of the computation time.
Translated Descriptions
⚠️
This is an automatic machine translation with an accuracy of 90-95%
Translated Description (Arabic)
تتناول هذه الورقة إطارًا موزعًا فعالًا وقويًا لتغطية الأجهزة ذات الحالة المحدودة في نظرية الاختبار القائمة على النموذج الميداني. جميع تغطية الحالات النهائية في الإنسان الآلي واسع النطاق هي بطبيعتها مكثفة للحوسبة ومرهقة للذاكرة مع تعقيد زمني غير عملي بسبب انفجار عدد الحالات. وبالتالي، من المهم اقتراح حل أسرع يقلل من تعقيد الوقت من خلال استغلال مفهوم البيانات الضخمة بناءً على حساب Spark RDD. للتعامل مع هذا الموقف، نقترح نهجًا موازيًا وموزعًا يعتمد على تصميم سبارك في الذاكرة والذي يستغل خوارزمية A* للحصول على التغطية المثلى. تثبت التجارب التي أجريت على مجموعة متعددة العقد أن الإطار المقترح يحقق مكاسب كبيرة من وقت الحساب.Translated Description (French)
Cet article traite d'un cadre distribué efficace et robuste pour la couverture des machines à états finis dans la théorie des tests basée sur un modèle de terrain. Toutes les couvertures d'états finaux dans un automate à grande échelle sont intrinsèquement gourmandes en calcul et épuisantes en mémoire avec une complexité temporelle peu pratique en raison d'une explosion du nombre d'états. Ainsi, il est important de proposer une solution plus rapide qui réduit la complexité du temps en exploitant le concept de big data basé sur le calcul Spark RDD. Pour faire face à cette situation, nous proposons une approche parallèle et distribuée basée sur la conception en mémoire de Spark qui exploite l'algorithme A* pour une couverture optimale. Les expériences réalisées sur cluster multi-nœuds prouvent que le cadre proposé réalise un gain significatif du temps de calcul.Translated Description (Spanish)
Este documento trata sobre un marco distribuido eficiente y robusto para la cobertura de máquinas de estado finito en la teoría de pruebas basada en modelos de campo. Toda la cobertura de estados finales en un autómata a gran escala es inherentemente intensiva en computación y agotadora en memoria con una complejidad de tiempo poco práctica debido a una explosión del número de estados. Por lo tanto, es importante proponer una solución más rápida que reduzca la complejidad del tiempo mediante la explotación del concepto de big data basado en el cálculo Spark RDD. Para hacer frente a esta situación, proponemos un enfoque paralelo y distribuido basado en el diseño en memoria Spark que explota el algoritmo A* para una cobertura óptima. Los experimentos realizados en el clúster de múltiples nodos demuestran que el marco propuesto logra una ganancia significativa del tiempo de cálculo.Files
25589909.pdf.pdf
Files
(16.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a98f1114ebb595f5a07d1c9a6498c81
|
16.6 kB | Preview Download |
Additional details
Additional titles
- Translated title (Arabic)
- تغطية متعددة المسارات لجميع الحالات النهائية لنظرية الاختبار القائمة على النموذج باستخدام تصميم سبارك في الذاكرة
- Translated title (French)
- Couverture multivoie de tous les états finaux pour la théorie de test basée sur le modèle à l'aide de la conception en mémoire Spark
- Translated title (Spanish)
- Cobertura de múltiples rutas de todos los estados finales para la teoría de pruebas basadas en modelos utilizando Spark In-memory Design
Identifiers
- Other
- https://openalex.org/W4233240619
- DOI
- 10.36227/techrxiv.13283477
References
- https://openalex.org/W2082756313
- https://openalex.org/W2107578943
- https://openalex.org/W2113780769
- https://openalex.org/W2120916408
- https://openalex.org/W2122721133
- https://openalex.org/W2151830023
- https://openalex.org/W2294515932
- https://openalex.org/W2767388105
- https://openalex.org/W2795117902
- https://openalex.org/W2806141066
- https://openalex.org/W2984774581
- https://openalex.org/W3115899624
- https://openalex.org/W4238317053
- https://openalex.org/W4298062326