Multi-objective construction of an entire adequate test suite for an EFSM

被引：10

作者：

Asoudeh, Nesa ^{[1
]}

Labiche, Yvan ^{[1
]}

机构：

[1] Carleton Univ, Dept Syst & Comp Engn, Ottawa, ON, Canada

来源：

2014 IEEE 25TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) | 2014年

基金：

加拿大自然科学与工程研究理事会;

关键词：

state-based testing; EFSM; genetic algorithm; multi-objective optimization; case studies; FINITE-STATE MACHINES;

D O I：

10.1109/ISSRE.2014.14

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we propose a method and a tool to generate test suites from extended finite state machines, accounting for multiple (potentially conflicting) objectives. We aim at maximizing coverage and feasibility of a test suite while minimizing similarity between its test cases and minimizing overall cost. Therefore, we define a multi-objective genetic algorithm that searches for optimal test suites based on four objective functions. In doing so, we create an entire test suite at once as opposed to test cases one at a time. Our approach is evaluated on two different case studies, showing interesting initial results.

引用

页码：288 / 299

页数：12