ScholarLens Back to search
2008•Journal of Tsinghua University(Science and Technology)Requires access

Automated GUI test case generation technology based on coloured Petri nets model

Guilan Dai

Open publisher page 0 citations

Abstract

Graphical user interface (GUI) testing has become the main means of software testing. However, GUI testing is primarily manual and requires much time. This paper presents an automated GUI test case generation method using coloured Petri nets model. The algorithm uses two test coverage criteria with different testing methods and test data generation algorithms for the different test coverage cirteria. Experiments show that the model effectively describes the states and behaviors of GUI systems to improve GUI testing efficiency and quality.

About this research paper

What this paper is about

Graphical user interface (GUI) testing has become the main means of software testing. However, GUI testing is primarily manual and requires much time. This paper presents an automated GUI test case generation method using coloured Petri nets model. The algorithm uses two test coverage criteria with different testing methods and test data generation algorithms for the different test coverage cirteria. Experiments show that the model effectively describes the states and behaviors of GUI systems to improve GUI testing efficiency and quality.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Graphical user interface (GUI) testing has become the main means of software testing. However, GUI testing is primarily manual and requires much time. This paper presents an automated GUI test case generation method using coloured Petri nets model. The algorithm uses two test coverage criteria with different testing methods and test data generation algorithms for the different test coverage cirteria. Experiments show that the model effectively describes the states and behaviors of GUI systems to improve GUI testing efficiency and quality.

Key concepts: Graphical user interface testing, Graphical user interface, Computer science, Keyword-driven testing, Petri net, Code coverage, Test Management Approach, Model-based testing

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
Automated GUI test case generation technology based on coloured Petri nets model — Research Paper | ScholarLens