A three-phase approach to improve the functionality of t-way strategy

Pira, Einollah; Rafe, Vahid and Esfandiary, Sajad. 2024. A three-phase approach to improve the functionality of t-way strategy. Soft Computing, 28(1), pp. 415-435. ISSN 1432-7643 [Article]

pira1.pdf - Accepted Version

Download (1MB) | Preview

Abstract or Description

Although t-way strategy tries to generate a minimum test suite (TS) for detecting errors in software systems, its functionality is affected by three important challenges. The first one, which relates to the quality of the generated TS, expresses that some complex errors (e.g., deadlocks in concurrent systems) may not be detected through the generated TS. The second one is that manually preparing parameters and their values in the modern software systems is difficult or even impossible, whereas the third one is the low generation speed and the large size of the generated test suite. In this paper, we propose a three-phase approach (so-called TPA) to handle these challenges. It seems that injecting some information about special errors into the test suite can raise its quality. For this purpose, TPA, in the first phase, uses an optimized version of model checking to extract such information from a model of the system under test. The extracted information is then injected into the test suite. In the second phase, TPA uses the generated state space in the first phase to automatically prepare parameters and their values. In the last phase, TPA applies an adopted version of evolution strategy to improve the functionality of t-way strategy in terms of generation speed and test suite size. Multiple and pairwise comparisons of results confirm that TPA has the best functionality in comparison with other evolutionary algorithms.

Item Type:


Identification Number (DOI):


Additional Information:

“This version of the article has been accepted for publication, after peer review (when applicable) but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s00500-023-08199-5. Use of this Accepted Version is subject to the publisher’s Accepted Manuscript terms of use https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms”

Data Access Statement:

Enquiries about data availability should be directed to the authors.


Combinatorial testing, T-way strategy, Model checking, Evolution strategy, Interaction strength

Departments, Centres and Research Units:



3 April 2023Accepted
25 April 2023Published Online
January 2024Published

Item ID:


Date Deposited:

26 Apr 2023 08:29

Last Modified:

25 Apr 2024 01:26

Peer Reviewed:

Yes, this version has been peer-reviewed.



View statistics for this item...

Edit Record Edit Record (login required)