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 条

[21] Search-Based Test Data Generation for SQL Queries
Castelein, Jeroen
Aniche, Mauricio
Soltani, Mozhan
Panichella, Annibale
van Deursen, Arie
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 1220 - 1230
[22] Search-based Data-flow Test Generation
Vivanti, Mattia
Mis, Andre
Gorla, Alessandra
Fraser, Gordon
2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2013, : 370 - 379
[23] BINTEST - Binary search-based test case generation
Beydeda, S
Gruhn, V
27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 28 - 33
[24] An automated search-based test model generation approach for structural testing of model transformations
Jilani, Atif Aftab
Khan, Muhammad Uzair
Iqbal, Muhammad Zohaib
Usman, Muhammad
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2022, 34 (11)
[25] Automatic Test Data Generator: A Tool based on Search-based Techniques
Malhotra, Ruchika y
Poornima
Kumar, Nitish
2016 5TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO), 2016, : 570 - 576
[26] A pragmatic approach for hyper-parameter tuning in search-based test case generation
Zamani, Shayan
Hemmati, Hadi
EMPIRICAL SOFTWARE ENGINEERING, 2021, 26 (06)
[27] A pragmatic approach for hyper-parameter tuning in search-based test case generation
Shayan Zamani
Hadi Hemmati
Empirical Software Engineering, 2021, 26
[28] Automatic Test Pattern Generator for Fuzzing Based on Finite State Machine
Wang, Ming-Hung
Wang, Han-Chi
Chen, You-Ru
Lei, Chin-Laung
SECURITY AND COMMUNICATION NETWORKS, 2017,
[29] Test suite generation techniques based on extended finite state machines
Liang, Xiao-Ya
Xiao, De-Bao
Zhongshan Daxue Xuebao/Acta Scientiarum Natralium Universitatis Sunyatseni, 2006, 45 (SUPPL.): : 240 - 242
[30] Improving Search-Based Automatic Program Repair With Neural Machine Translation
Li, Dongcheng
Wong, W. Eric
Jian, Mingyong
Geng, Yi
Chau, Matthew
IEEE ACCESS, 2022, 10 : 51167 - 51175

← 1 2 3 4 5 →