Published January 1, 2018 | Version v1
Publication Open

Evaluation of Test Case Generation based on a Software Product Line for Model Transformation

Creators

  • 1. Universidade Estadual de Maringá
  • 2. Universidade Tecnológica Federal do Paraná

Description

Model-Driven Engineering (MDE) supports model evolution and refinement by means of model transformations at several abstraction levels.Validating these transformations is essential to ensure the quality and correctness of such models.However, MDE transformations become more complex to validate, for example, when they are implemented in different languages.One particular example is the transformation of the SyMPLES approach.SyMPLES is a development approach for embedded systems, which is based on concepts of both Software Product Lines (SPL) and MDE.SyMPLES has a model transformation process which creates Simulink models from SysML models.This paper presents a case study which applies test case generation based on SPL to validate this model transformation.An SPL was used to generate a set of test cases based on coverage criteria.The results showed that the test cases generated uncovered errors in the transformation of SyMPLES.In addition, a comparison with the test case generation based on metamodel is presented, in order to analyze the effectiveness of the techniques.The coverage criteria made it possible to reduce the number of test cases generated, thus minimizing test effort and time.

⚠️ This is an automatic machine translation with an accuracy of 90-95%

Translated Description (Arabic)

تدعم الهندسة القائمة على النموذج (MDE) تطور النموذج وصقله عن طريق تحولات النموذج على عدة مستويات تجريدية. يعد التحقق من صحة هذه التحولات أمرًا ضروريًا لضمان جودة وصحة هذه النماذج. ومع ذلك، تصبح تحولات الهندسة القائمة على النموذج (MDE) أكثر تعقيدًا للتحقق من صحتها، على سبيل المثال، عندما يتم تنفيذها بلغات مختلفة. أحد الأمثلة الخاصة هو تحويل نهج SyMPLES. SYMPLES هو نهج تطوير للأنظمة المضمنة، والذي يعتمد على مفاهيم كل من خطوط منتجات البرامج (SPL) و MDE.SyMPLES لديها عملية تحويل نموذجية تنشئ نماذج Simulink من نماذج SysML. تقدم هذه الورقة دراسة حالة تطبق توليد حالة الاختبار بناءً على SPL للتحقق من صحة هذا التحول النموذجي. تم استخدام SPL لإنشاء مجموعة من حالات الاختبار بناءً على معايير التغطية. أظهرت النتائج أن حالات الاختبار ولدت أخطاء غير مكشوفة في تحويل SyMPLES. بالإضافة إلى ذلك، يتم تقديم مقارنة مع توليد حالة الاختبار بناءً على metamodel، من أجل تحليل فعالية التقنيات. جعلت معايير التغطية من الممكن تقليل عدد حالات الاختبار الناتجة، وبالتالي تقليل الاختبار الجهد والوقت.

Translated Description (French)

L'ingénierie pilotée par les modèles (MDE) soutient l'évolution et le raffinement des modèles au moyen de transformations de modèles à plusieurs niveaux d'abstraction. La validation de ces transformations est essentielle pour assurer la qualité et l'exactitude de ces modèles. Cependant, les transformations MDE deviennent plus complexes à valider, par exemple, lorsqu'elles sont mises en œuvre dans différents langages. Un exemple particulier est la transformation de l'approche SyMPLES. SyMPLES est une approche de développement pour les systèmes embarqués, qui est basée sur les concepts des deux gammes de produits logiciels (SPL) et MDE.SyMPLES a un processus de transformation de modèle qui crée des modèles Simulink à partir de modèles SysML.Cet article présente une étude de cas qui applique la génération de cas de test basée sur la SPL pour valider cette transformation de modèle.Une SPL a été utilisée pour générer un ensemble de cas de test basés sur des critères de couverture.Les résultats ont montré que les cas de test générés ont révélé des erreurs dans la transformation de SyMPLES.En outre, une comparaison avec la génération de cas de test basée sur le métamodèle est présentée, afin d'analyser l'efficacité des techniques.Les critères de couverture ont permis de réduire le nombre de cas de test générés, minimisant ainsi le test l'effort et le temps.

Translated Description (Spanish)

La ingeniería basada en modelos (MDE) admite la evolución y el refinamiento de modelos mediante transformaciones de modelos en varios niveles de abstracción. La validación de estas transformaciones es esencial para garantizar la calidad y la corrección de dichos modelos. Sin embargo, las transformaciones MDE se vuelven más complejas de validar, por ejemplo, cuando se implementan en diferentes idiomas. Un ejemplo particular es la transformación del enfoque SyMPLES. SyMPLES es un enfoque de desarrollo para sistemas integrados, que se basa en conceptos de ambas líneas de productos de software (SPL) y MDE.SyMPLES tiene un proceso de transformación de modelos que crea modelos Simulink a partir de modelos SysML. Este documento presenta un estudio de caso que aplica la generación de casos de prueba basada en SPL para validar esta transformación de modelo. Se utilizó un SPL para generar un conjunto de casos de prueba basados en criterios de cobertura. Los resultados mostraron que los casos de prueba generaron errores descubiertos en la transformación de SyMPLES. Además, se presenta una comparación con la generación de casos de prueba basada en metamodelo, con el fin de analizar la efectividad de las técnicas. Los criterios de cobertura permitieron reducir el número de casos de prueba generados, minimizando así la prueba esfuerzo y tiempo.

Files

jcssp.2018.108.121.pdf

Files (604.4 kB)

⚠️ Please wait a few minutes before your translated files are ready ⚠️ Note: Some files might be protected thus translations might not work.
Name Size Download all
md5:c1c2647b00dad721ac82ed11a6fa8da6
604.4 kB
Preview Download

Additional details

Additional titles

Translated title (Arabic)
تقييم إنشاء حالة الاختبار بناءً على خط منتجات البرمجيات لتحويل النموذج
Translated title (French)
Évaluation de la génération de cas de test basée sur une gamme de produits logiciels pour la transformation des modèles
Translated title (Spanish)
Evaluación de la generación de casos de prueba basada en una línea de productos de software para la transformación de modelos

Identifiers

Other
https://openalex.org/W2784896316
DOI
10.3844/jcssp.2018.108.121

Is supplement to
https://openalex.org/W3147208008 (Other)
https://openalex.org/W2940167562 (Other)
https://openalex.org/W2928705737 (Other)
https://openalex.org/W2562903040 (Other)
https://openalex.org/W2548554674 (Other)
https://openalex.org/W2225770667 (Other)
https://openalex.org/W2107344568 (Other)
https://openalex.org/W2092963190 (Other)
https://openalex.org/W1999962878 (Other)
https://openalex.org/W1542225267 (Other)

GreSIS Basics Section

Is Global South Knowledge
Yes
Country
Brazil

References

  • https://openalex.org/W1487851792
  • https://openalex.org/W1966880963
  • https://openalex.org/W1977497804
  • https://openalex.org/W1979345446
  • https://openalex.org/W1983969199
  • https://openalex.org/W2029905182
  • https://openalex.org/W2060555016
  • https://openalex.org/W2069178929
  • https://openalex.org/W2069633766
  • https://openalex.org/W2167672803
  • https://openalex.org/W2169954581
  • https://openalex.org/W2539024465
  • https://openalex.org/W2621475152
  • https://openalex.org/W4247675334
  • https://openalex.org/W4255262019
  • https://openalex.org/W4292148520
  • https://openalex.org/W48413232