Parallel Software Testing Sequence Generation Method Based on State Pruning

Sun, Tao; Zhang, Ting; Guo, Xin

doi:10.1109/bdcloud.2018.00074

Cited by 4 publications

(7 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Four studies focused on parallel systems using the state‐space approach [38‐41]. Three also focused on addressing the problem of generating redundant abstract tests [38,39,41].…”

Section: Systematic Literature Reviewmentioning

confidence: 99%

“…Four studies focused on parallel systems using the state‐space approach [38‐41]. Three also focused on addressing the problem of generating redundant abstract tests [38,39,41]. Two proposals also applied pruning techniques to prevent the state‐space explosion problem [38,39].…”

Section: Systematic Literature Reviewmentioning

confidence: 99%

“…However, two proposals only apply to sequences of linear behaviour; if not linear, a conversion is needed [38,40]. Besides, for at least one proposal [41], due to the application scenario used in the experiment, it is not possible to conclude how the approach behaves in models with larger state‐space. Another limitation of at least one approach is that modellers need to follow specific definitions and a specific modeling methodology, implying some usage restrictions [39].…”

Section: Systematic Literature Reviewmentioning

confidence: 99%

See 2 more Smart Citations

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract tests. Testers can reuse formal models using MBT to increase confidence in critical systems (e.g., medical and avionic systems). In this article, we investigate the current abstract test generation approaches for CPN to provide insights for testers who need to select a suitable one when applying the MBT using CPN. We conduct a systematic literature review to investigate the existing abstract test generation approaches designed for CPN. Subsequently, focusing on specific implementations and advantages/disadvantages, we experiment with formal models of medical systems during our empirical analysis to improve the discussion on existing abstract test generation approaches for CPN. Our study shows that CPN provides reliable tests quickly, depending on the abstract test generation approach applied.

show abstract

“…Four studies focused on parallel systems using the state‐space approach [38‐41]. Three also focused on addressing the problem of generating redundant abstract tests [38,39,41].…”

Section: Systematic Literature Reviewmentioning

confidence: 99%

Section: Systematic Literature Reviewmentioning

confidence: 99%

Section: Systematic Literature Reviewmentioning

confidence: 99%

See 1 more Smart Citation

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

“…And the scale of state space limits the model checking methods for concurrent software. The research on solving the state space explosion problem mainly includes abstraction [12][13][14], on-the-fly technology [17,18], and state space reduction [14,23]. The abstract model checking technique uses the principle of 'abstract-verification-refinement' to ignore unnecessary details and generate smaller models.…”

Section: Related Workmentioning

confidence: 99%

“…But such methods may build models many times and verify them repeatedly. State space reduction methods, such as the pruning method [23], can reduce state space to a certain extent. But this method still relies on the generation of full state space, and may not be able to achieve effective state space reduction when hardware conditions are limited.…”

Section: Related Workmentioning

confidence: 99%

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

2022

Self Cite

View full text Add to dashboard Cite

The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. This paper proposes a methodology of fine-coarse-grained automatic modelling for Java source programs. By the principle that the execution details of property-unchecked, non-interactive, and unrelated statements do not affect the model checking results, we model coarse-grained model fragments for such statements, while fine-grained model fragments for property-checked, interactive, and related statements. Our method reduces the model and state space and ensures the error detection of the source program based on model checking. Moreover, we prove the equivalence of the fine-grained model, the coarse-grained model, and the program. Finally, this paper gives an experiment to verify the effectiveness of the proposed method.

show abstract

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking

Sun

Zhong

2022

2022 IEEE Intl Conf on Parallel &Amp; Distributed Processing With Applications, Big Data &Amp; Cloud Computing, Sustainable Com

View full text Add to dashboard Cite

Parallel Software Testing Sequence Generation Method Based on State Pruning

Cited by 4 publications

References 8 publications

Coloured Petri nets for abstract test generation in software engineering

Coloured Petri nets for abstract test generation in software engineering

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking

Contact Info

Product

Resources

About