Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

Kalaji, Abdul Salam; Hierons, Robert M.; Swift, Stephen

doi:10.1109/icst.2009.29

Cited by 88 publications

(84 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Currently, there are many works regarding test generation methods for EFSM models [12][13][14]. Huang [11] proposed a test sequence generation method by constructing a TEA tree.…”

Section: Figure 6 Reduce Rate Of Explored Nodesmentioning

confidence: 99%

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

Shu¹,

Yin³

et al. 2016

IJCA

View full text Add to dashboard Cite

show abstract

“…Currently, there are many works regarding test generation methods for EFSM models [12][13][14]. Huang [11] proposed a test sequence generation method by constructing a TEA tree.…”

Section: Figure 6 Reduce Rate Of Explored Nodesmentioning

confidence: 99%

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

Shu¹,

Yin³

et al. 2016

IJCA

View full text Add to dashboard Cite

show abstract

“…is a guard of the form e • e , where e and e are algebraic expressions and • ∈ {<, >, =, =, ≤, ≥}, op is a sequence of output and assignment operations of the form v = e with v ∈ V and e is an expression, s is the target State [17].…”

Section: State Machine Propertiesmentioning

confidence: 99%

Property-based testing of web services by deriving properties from business-rule models

Aichernig

Schumi

2017

Softw Syst Model

View full text Add to dashboard Cite

Property-based testing is well suited for web-service applications, which was already shown in various case studies. For example, it has been demonstrated that JSON schemas can be used to automatically derive test case generators for web forms. In this work, we present a test case generation approach for a rule engine-driven web-service application. Business-rule models serve us as input for property-based testing. We parse these models to automatically derive generators for sequences of web-service requests together with their required form data. Property-based testing is mostly applied in the context of functional programming. Here, we define our properties in an object-oriented style in C# and its tool FsCheck. We apply our method to the business-rule models of an industrial web-service application in the automotive domain.

show abstract

“…Where a TP is definitely infeasible, INF 1 represents a large positive integer. The suggested penalty values are based on previous research [32] and initial experiments with one EFSM. Although the penalty values were found to be effective during the experiment, these values are by no means definitive and other suitable values can be used.…”

Section: Dependencies Representation and Penaltiesmentioning

confidence: 99%

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Kalaji

Hierons

Swift

2011

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

Abstract: Abstract

Cited by 88 publications

References 27 publications

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

Property-based testing of web services by deriving properties from business-rule models

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Contact Info

Product

Resources

About