A language-parametric test amplification framework for executable domain-specific languages.
Saved in:
| Title: | A language-parametric test amplification framework for executable domain-specific languages. |
|---|---|
| Authors: | Khorram, Faezeh1 (AUTHOR) faezeh.khorram@inria.fr, Bousse, Erwan2 (AUTHOR) erwan.bousse@ls2n.fr, Mottu, Jean-Marie2 (AUTHOR) jean-marie.mottu@ls2n.fr, Sunyé, Gerson2 (AUTHOR) gerson.sunye@ls2n.fr, Khelladi, Djamel Eddine1 (AUTHOR) djamel-eddine.khelladi@irisa.fr, Gómez-Abajo, Pablo3 (AUTHOR) pablo.gomeza@uam.es, Cañizares, Pablo C.4 (AUTHOR) pablocc@ucm.es, Guerra, Esther3 (AUTHOR) esther.guerra@uam.es, de Lara, Juan3 (AUTHOR) juan.delara@uam.es |
| Source: | Software & Systems Modeling. Aug2025, Vol. 24 Issue 4, p1187-1212. 26p. |
| Subjects: | Domain-specific programming languages, Regression testing (Computer science), Scientific observation, Scientific models, Software development tools, Software verification, Dynamic testing |
| Abstract: | Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with manually-written test cases that embed carefully hand-picked domain-specific input data. However, such test cases may not always reach the desired level of quality, such as high coverage or being able to localize faults efficiently. Test amplification is an interesting emergent approach to improve a test suite by automatically generating new test cases out of existing manually-written ones. Yet, while ad-hoc test amplification solutions have been proposed for a few programming languages, no solution currently exists for amplifying the test suites of behavioral models. In order to fill this gap, we propose an automated and generic test amplification approach for executable domain-specific languages (DSLs). Hence, given an executable DSL, a conforming behavioral model, and an existing test suite, our approach synthesizes new regression test cases in three steps: (i) generating new test inputs by applying a set of generic modifiers on the existing test inputs; (ii) running the model under test with new inputs and generating assertions from the execution traces; and (iii) selecting the new test cases that increase the initial test quality. We provide a textual DSL to control and configure the amplification process, along with tool support for the whole approach atop the Eclipse GEMOC Studio. For assessment, we report on empirical evaluations over two different executable DSLs, which show improved test quality in terms of both coverage and mutation score. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 186986139 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A language-parametric test amplification framework for executable domain-specific languages. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Khorram%2C+Faezeh%22">Khorram, Faezeh</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> faezeh.khorram@inria.fr</i><br /><searchLink fieldCode="AR" term="%22Bousse%2C+Erwan%22">Bousse, Erwan</searchLink><relatesTo>2</relatesTo> (AUTHOR)<i> erwan.bousse@ls2n.fr</i><br /><searchLink fieldCode="AR" term="%22Mottu%2C+Jean-Marie%22">Mottu, Jean-Marie</searchLink><relatesTo>2</relatesTo> (AUTHOR)<i> jean-marie.mottu@ls2n.fr</i><br /><searchLink fieldCode="AR" term="%22Sunyé%2C+Gerson%22">Sunyé, Gerson</searchLink><relatesTo>2</relatesTo> (AUTHOR)<i> gerson.sunye@ls2n.fr</i><br /><searchLink fieldCode="AR" term="%22Khelladi%2C+Djamel+Eddine%22">Khelladi, Djamel Eddine</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> djamel-eddine.khelladi@irisa.fr</i><br /><searchLink fieldCode="AR" term="%22Gómez-Abajo%2C+Pablo%22">Gómez-Abajo, Pablo</searchLink><relatesTo>3</relatesTo> (AUTHOR)<i> pablo.gomeza@uam.es</i><br /><searchLink fieldCode="AR" term="%22Cañizares%2C+Pablo+C%2E%22">Cañizares, Pablo C.</searchLink><relatesTo>4</relatesTo> (AUTHOR)<i> pablocc@ucm.es</i><br /><searchLink fieldCode="AR" term="%22Guerra%2C+Esther%22">Guerra, Esther</searchLink><relatesTo>3</relatesTo> (AUTHOR)<i> esther.guerra@uam.es</i><br /><searchLink fieldCode="AR" term="%22de+Lara%2C+Juan%22">de Lara, Juan</searchLink><relatesTo>3</relatesTo> (AUTHOR)<i> juan.delara@uam.es</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Aug2025, Vol. 24 Issue 4, p1187-1212. 26p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Domain-specific+programming+languages%22">Domain-specific programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Regression+testing+%28Computer+science%29%22">Regression testing (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Scientific+observation%22">Scientific observation</searchLink><br /><searchLink fieldCode="DE" term="%22Scientific+models%22">Scientific models</searchLink><br /><searchLink fieldCode="DE" term="%22Software+development+tools%22">Software development tools</searchLink><br /><searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Dynamic+testing%22">Dynamic testing</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with manually-written test cases that embed carefully hand-picked domain-specific input data. However, such test cases may not always reach the desired level of quality, such as high coverage or being able to localize faults efficiently. Test amplification is an interesting emergent approach to improve a test suite by automatically generating new test cases out of existing manually-written ones. Yet, while ad-hoc test amplification solutions have been proposed for a few programming languages, no solution currently exists for amplifying the test suites of behavioral models. In order to fill this gap, we propose an automated and generic test amplification approach for executable domain-specific languages (DSLs). Hence, given an executable DSL, a conforming behavioral model, and an existing test suite, our approach synthesizes new regression test cases in three steps: (i) generating new test inputs by applying a set of generic modifiers on the existing test inputs; (ii) running the model under test with new inputs and generating assertions from the execution traces; and (iii) selecting the new test cases that increase the initial test quality. We provide a textual DSL to control and configure the amplification process, along with tool support for the whole approach atop the Eclipse GEMOC Studio. For assessment, we report on empirical evaluations over two different executable DSLs, which show improved test quality in terms of both coverage and mutation score. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=186986139 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-025-01283-4 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 26 StartPage: 1187 Subjects: – SubjectFull: Domain-specific programming languages Type: general – SubjectFull: Regression testing (Computer science) Type: general – SubjectFull: Scientific observation Type: general – SubjectFull: Scientific models Type: general – SubjectFull: Software development tools Type: general – SubjectFull: Software verification Type: general – SubjectFull: Dynamic testing Type: general Titles: – TitleFull: A language-parametric test amplification framework for executable domain-specific languages. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Khorram, Faezeh – PersonEntity: Name: NameFull: Bousse, Erwan – PersonEntity: Name: NameFull: Mottu, Jean-Marie – PersonEntity: Name: NameFull: Sunyé, Gerson – PersonEntity: Name: NameFull: Khelladi, Djamel Eddine – PersonEntity: Name: NameFull: Gómez-Abajo, Pablo – PersonEntity: Name: NameFull: Cañizares, Pablo C. – PersonEntity: Name: NameFull: Guerra, Esther – PersonEntity: Name: NameFull: de Lara, Juan IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 08 Text: Aug2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 24 – Type: issue Value: 4 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
