English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The Extended Finite State Machine (EFSM) is one of the most popular modelingapproaches for model-based testing. However, EFSM-based test case generation issusceptible to the infeasible (inexecutable) path problem, which stems from theconflict of predicates (guards) between transitions in the path. Therefore, inorder to derive feasible test cases, a test generation algorithm needs todynamically acquire information about the model and verify the feasibility ofthe generated test path through the simulation execution of the model. Thetraditional method of constructing executable models using hard-coding fordifferent EFSM models under test has limitations such as inflexibility,time-consuming and error-prone. To address this issue, this paper develops anopen source test generation tool for testing EFSM-specified systems, PTSG, tosupport the automatic generation of executable test cases. It decouples theEFSM model description, parsing and simulation execution functions from thetest generation algorithm, which can effectively improve the efficiency andquality of test generation. In particular, PTSG first uses a well-designed JSONsyntax to describe the specific EFSM under test. Then, based on the modeldescription file, it uses lexical and syntactic parsers to dynamically extractmodel information to construct various model objects in memory such as stateconfigurations, transitions, etc. Finally, the tool provide a series of serviceinterfaces to support model information acquisition, transition feasibilityevaluation, and model simulation execution. A case study of test sequencegeneration for the SCP protocol model demonstrates the capability and promiseof the PTSG to serve executable test cases.

PTSG: a test generation tool based on extended finite state machine