Generating Complex Paths for Testing from an EFSM

Ţurlea, Ana; Ipate, Florentin; Lefticaru, Raluca

doi:10.1109/qrs-c.2018.00052

Cited by 7 publications

(4 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first step in MBT is to build one or more test models. EFSM is one of the common models used in MBT [13,14]. Test models are usually created from informal requirements or specification documents.…”

Section: Model-based Testingmentioning

confidence: 99%

“…A state could be interpreted as the current values of a set of variables that the SUT has [17]. These variables that dictate which state the SUT is currently in are usually called context variables or internal variables [13,14], in contrast to user variables, which hold the user inputs. When a transition is executed, the context variables of the SUT could change, as instructed by the actions, which then lead to a state change.…”

Section: Extended Finite State Machinementioning

confidence: 99%

See 1 more Smart Citation

An EFSM-Based Test Data Generation Approach in Model-Based Testing

Mohd-Shafie¹,

Kadir²,

Khatibsyarbini³

et al. 2022

Computers, Materials &Amp; Continua

View full text Add to dashboard Cite

Testing is an integral part of software development. Current fastpaced system developments have rendered traditional testing techniques obsolete. Therefore, automated testing techniques are needed to adapt to such system developments speed. Model-based testing (MBT) is a technique that uses system models to generate and execute test cases automatically. It was identified that the test data generation (TDG) in many existing model-based test case generation (MB-TCG) approaches were still manual. An automatic and effective TDG can further reduce testing cost while detecting more faults. This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model (EFSM). The proposed approach integrates MBT with combinatorial testing. The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach. The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventional MB-TCG but at the same time generated 43 more tests. The proposed approach effectively detects faults, but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.

show abstract

Section: Model-based Testingmentioning

confidence: 99%

Section: Extended Finite State Machinementioning

confidence: 99%

An EFSM-Based Test Data Generation Approach in Model-Based Testing

Mohd-Shafie¹,

Kadir²,

Khatibsyarbini³

et al. 2022

Computers, Materials &Amp; Continua

View full text Add to dashboard Cite

show abstract

“…Also, there has been some work on the derivation of tests and distinguishing tests for EFSMs, for instance the work reported by Bourhfir et al [3], Cavalli et al [4], Petrenko et al [6], El-Fakih et al [9], Kalaji et al [10], Kalaji et al [11], El-Fakih et al [46], and Turlea et al [12].…”

Section: Related Workmentioning

confidence: 99%

“…Due to these properties, EFSMs are used for functional testing of many systems including communication networks, embedded components, web services, object oriented systems, etc. For some related work, the reader may refer to previous studies [1][2][3][4][5][6][7][8][9][10][11][12].…”

Section: Introductionmentioning

confidence: 99%

Assessing test suites of extended finite state machines against model‐ and code‐based faults

El-Fakih

Alzaatreh

Türker

2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single-transfer faults, all transitions using a transition tour, all-uses, edge-pair, and prime path with side trip. We provide novel empirical assessments of the effectiveness of these test suites. The first assessment determines for each pair of test suites if there is a difference between the pair in covering EFSM faults of six EFSM specifications. If the difference is found significant, we determine which test suite outperforms the other. The second assessment is similar to the first; yet, it is carried out against code faults of 12 Java implementations of the specifications. Besides, two assessments are provided to determine whether test suites have better coverage of certain classes of EFSM (or code) faults than others. The evaluation uses proper data transformation of mutation scores and p-value adjustments for controlling Type I error due to multiple tests. Furthermore, we show that subsuming mutants have an impact on mutation scores of both EFSM and code faults; and accordingly, we use a score that removes them in order not to invalidate the obtained results. The assessments show that all-uses tests were outperformed by all other tests; transition tours outperformed both edge-pair and prime path with side trips; and single-transfer fault tests outperformed all other test suites. Similar results are obtained over the considered EFSM and code fault domains, and there were no significant differences between the test suites coverage of different classes of EFSM and code faults.

show abstract