Model-Based Test Case Generation from Graph Transformation Specifications using Beam Search Algorithm

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

AsgariAraghi M.; RAFE V.; kalaee A.

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: TABRIZ JOURNAL OF ELECTRICAL ENGINEERING Year:2019 | Volume:49 | Issue:1 (87) Page(s): 343-356

Download Full-Text

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion

View:

681

Download:

Cites:

Information Journal Paper

Title

Model-Based Test Case Generation from Graph Transformation Specifications using Beam Search Algorithm

Author(s)

AsgariAraghi M. | RAFE V. | kalaee A. | Issue Writer Certificate

Keywords

Software testingQ1

test case generationQ1

model-base testingQ1

beam search algorithmQ1

graph transformation systemQ1

Abstract

Software testing is one of the key activities in software development life cycle that plays an important role in software quality. More than half of the software development costs and time are often spent on the test. Obviously, the automation of Software testing, especially in generating test cases that is a key activity of this process, will dramatically reduce the costs. Among the prosperous testing techniques is model-based testing that utilizes model checker tools to automatically extract test cases. However, as these tools basically designed for model verification, not for test generation, the researches in the testing context are encountered with some major challenges such as state space explosion problem and duplication of the vast majority of test cases. In this paper, we propose a novel method using Beam-search algorithm for generating tests from systems specified through graph transformation specification. The popopsed approach not only improvs the mentioned challenges, but also generates the test suites with high coverage and low size in a desired time budget. We implemented it in the model checker tool GROOVE. To assess the efficiency of our approach, we compared it with model checker-assisted testing, search-based testing strategies and random testing. The empirical results over some case studies in the domain of service-oriented systems confirm it's superiority in terms of coverage size, test suit size and speed.

Cites

No record.

References

No record.

Cite

APA: Copy

AsgariAraghi, M., RAFE, V., & kalaee, A.. (2019). Model-Based Test Case Generation from Graph Transformation Specifications using Beam Search Algorithm. TABRIZ JOURNAL OF ELECTRICAL ENGINEERING, 49(1 (87) ), 343-356. SID. https://sid.ir/paper/256553/en

Vancouver: Copy

AsgariAraghi M., RAFE V., kalaee A.. Model-Based Test Case Generation from Graph Transformation Specifications using Beam Search Algorithm. TABRIZ JOURNAL OF ELECTRICAL ENGINEERING[Internet]. 2019;49(1 (87) ):343-356. Available from: https://sid.ir/paper/256553/en

IEEE: Copy

M. AsgariAraghi, V. RAFE, and A. kalaee, “Model-Based Test Case Generation from Graph Transformation Specifications using Beam Search Algorithm,” TABRIZ JOURNAL OF ELECTRICAL ENGINEERING, vol. 49, no. 1 (87) , pp. 343–356, 2019, [Online]. Available: https://sid.ir/paper/256553/en

Related Journal Papers