Model-based test suite generation for graph transformation system using model simulation and search-based techniques.
Saved in:
| Title: | Model-based test suite generation for graph transformation system using model simulation and search-based techniques. |
|---|---|
| Authors: | Kalaee, Akram1 a-kalaee@arshad.araku.ac.ir, Rafe, Vahid1 v-rafe@araku.ac.ir |
| Source: | Information & Software Technology. Apr2019, Vol. 108, p1-29. 29p. |
| Subjects: | Test generators, Metaheuristic algorithms, Simulation methods & models, Graph theory, Empirical research |
| Abstract: | Abstract Context Test generation by model checking is a useful technique in model-based testing that allows automatic generation of test cases from models by utilizing the counter-examples/witnesses produced through a model checker. However, generating redundant test cases and state space explosion problem are two major obstacles to transfer this technique into industrial practice. Objective An idea to cope with these challenges consists in an intelligent model checking for exploring only a portion of the state space according to the test objectives. Motivated by this idea, we propose an approach that exploits meta-heuristic algorithms to adapt a model checker when used for integration testing of systems formally specified by graph transformations. Method This method is not based on model checking algorithms, but rather uses the modeling and simulation features of the underlying model checker. In the proposed approach, a population of test suites that each of which is a set of paths on the state space, is evolved towards satisfying the all def-use test objectives. Consequently, a test suite with high coverage is generated. Results To assess the efficiency of our approach, it is implemented in GROOVE, an open source toolset for designing and model checking graph transformation systems. Empirical results based on some case studies, confirm a significant improvement in terms of coverage, speed and memory usage, in comparison with the state of the art techniques. Conclusion Our analysis reveals that intelligent model checking can appropriately address the challenges of traditional model-checking-assisted testing. We further conclude that graph transformation specification is an efficient modeling solution to behavioral testing and graph transformation tools have a great potential for developing a model-based testing tool. [ABSTRACT FROM AUTHOR] |
| Copyright of Information & Software Technology is the property of Elsevier B.V. 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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 134530556 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Model-based test suite generation for graph transformation system using model simulation and search-based techniques. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Kalaee%2C+Akram%22">Kalaee, Akram</searchLink><relatesTo>1</relatesTo><i> a-kalaee@arshad.araku.ac.ir</i><br /><searchLink fieldCode="AR" term="%22Rafe%2C+Vahid%22">Rafe, Vahid</searchLink><relatesTo>1</relatesTo><i> v-rafe@araku.ac.ir</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Information+%26+Software+Technology%22">Information & Software Technology</searchLink>. Apr2019, Vol. 108, p1-29. 29p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Test+generators%22">Test generators</searchLink><br /><searchLink fieldCode="DE" term="%22Metaheuristic+algorithms%22">Metaheuristic algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Simulation+methods+%26+models%22">Simulation methods & models</searchLink><br /><searchLink fieldCode="DE" term="%22Graph+theory%22">Graph theory</searchLink><br /><searchLink fieldCode="DE" term="%22Empirical+research%22">Empirical research</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Abstract Context Test generation by model checking is a useful technique in model-based testing that allows automatic generation of test cases from models by utilizing the counter-examples/witnesses produced through a model checker. However, generating redundant test cases and state space explosion problem are two major obstacles to transfer this technique into industrial practice. Objective An idea to cope with these challenges consists in an intelligent model checking for exploring only a portion of the state space according to the test objectives. Motivated by this idea, we propose an approach that exploits meta-heuristic algorithms to adapt a model checker when used for integration testing of systems formally specified by graph transformations. Method This method is not based on model checking algorithms, but rather uses the modeling and simulation features of the underlying model checker. In the proposed approach, a population of test suites that each of which is a set of paths on the state space, is evolved towards satisfying the all def-use test objectives. Consequently, a test suite with high coverage is generated. Results To assess the efficiency of our approach, it is implemented in GROOVE, an open source toolset for designing and model checking graph transformation systems. Empirical results based on some case studies, confirm a significant improvement in terms of coverage, speed and memory usage, in comparison with the state of the art techniques. Conclusion Our analysis reveals that intelligent model checking can appropriately address the challenges of traditional model-checking-assisted testing. We further conclude that graph transformation specification is an efficient modeling solution to behavioral testing and graph transformation tools have a great potential for developing a model-based testing tool. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Information & Software Technology is the property of Elsevier B.V. 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=134530556 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.infsof.2018.12.001 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 29 StartPage: 1 Subjects: – SubjectFull: Test generators Type: general – SubjectFull: Metaheuristic algorithms Type: general – SubjectFull: Simulation methods & models Type: general – SubjectFull: Graph theory Type: general – SubjectFull: Empirical research Type: general Titles: – TitleFull: Model-based test suite generation for graph transformation system using model simulation and search-based techniques. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Kalaee, Akram – PersonEntity: Name: NameFull: Rafe, Vahid IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: Apr2019 Type: published Y: 2019 Identifiers: – Type: issn-print Value: 09505849 Numbering: – Type: volume Value: 108 Titles: – TitleFull: Information & Software Technology Type: main |
| ResultId | 1 |
