A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

被引：10

作者：

Kalaji, AbdulSalam ^{[1
]}

Hierons, Robert M. ^{[1
]}

Swift, Stephen ^{[1
]}

机构：

[1] Brunel Univ, Sch Informat Syst Math & Comp, Uxbridge UB8 3PH, Middx, England

来源：

2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009 | 2009年

关键词：

CONFORMANCE;

D O I：

10.1109/TAICPART.2009.19

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.

引用

页码：131 / 132

页数：2

共 50 条

[1] An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models
Kalaji, Abdul Salam
Hierons, Robert Mark
Swift, Stephen
INFORMATION AND SOFTWARE TECHNOLOGY, 2011, 53 (12) : 1297 - 1318
[2] A Search-Based Approach for Test Suite Generation from Extended Finite State Machines
Rao, Sana
Jahan, Hosney
Liu, Dongmei
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATICS AND COMPUTING (PIC), VOL 1, 2016, : 82 - 87
[3] Automatic test generation from communicating extended finite state machine (CEFSM)-based models
Li, JJ
Wong, WE
ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 181 - 185
[4] Automatic Test Transition Paths Generation Approach from EFSM Using State Tree
Chen, Yuan
Wang, Junjie
Song, Yuanzhang
Wang, Anbang
Liu, Luo
Ha, Qinghua
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 87 - 93
[5] Automatic executable test case generation for extended finite state machine protocols
Bourhfir, C
Dssouli, R
Aboulhamid, E
Rico, N
TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 75 - 90
[6] A Hybrid Test Generation Approach based on Extended Finite State Machines
Turlea, Ana
Ipate, Florentin
Lefticaru, Raluca
PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 173 - 180
[7] Toward granular search-based automatic unit test case generation
Pecorelli, Fabiano
Grano, Giovanni
Palomba, Fabio
Gall, Harald C.
De Lucia, Andrea
EMPIRICAL SOFTWARE ENGINEERING, 2024, 29 (04)
[8] Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
Kalaji, AbdulSalam
Hierons, Robert M.
Swift, Stephen
SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS, 2009, : 230 - 239
[9] Adaptive executable test sequences generation from an extended finite state machine
Shu, Ting
Liu, Lianggui
Xu, Weiqiang
Li, Wenshu
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2012, 49 (06): : 1211 - 1219
[10] An Adaptive Search Budget Allocation Approach for Search-Based Test Case Generation
Scalabrino, Simone
Mastropaolo, Antonio
Bavota, Gabriele
Oliveto, Rocco
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (03)

← 1 2 3 4 5 →