Automated Unique Input Output sequence generation for conformance testing of FSMs

Karnig Derderian; Robert Hierons; Mark Harman; Qiang Guo

doi:10.1093/comjnl/bxl003

Automated Unique Input Output sequence generation for conformance testing of FSMs

Karnig Derderian, Robert Hierons, Mark Harman, Qiang Guo

Informatics

Research output: Contribution to journal › Article › peer-review

54 Citations (Scopus)

Abstract

This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.

Original language	English
Article number	N/A
Pages (from-to)	331-344
Number of pages	14
Journal	COMPUTER JOURNAL
Volume	49
Issue number	3
DOIs	https://doi.org/10.1093/comjnl/bxl003
Publication status	Published - May 2006

Access to Document

10.1093/comjnl/bxl003

Cite this

@article{4542a0a134594de7887edc7566c9477e,

title = "Automated Unique Input Output sequence generation for conformance testing of FSMs",

abstract = "This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.",

author = "Karnig Derderian and Robert Hierons and Mark Harman and Qiang Guo",

year = "2006",

month = may,

doi = "10.1093/comjnl/bxl003",

language = "English",

volume = "49",

pages = "331--344",

journal = "COMPUTER JOURNAL",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - Automated Unique Input Output sequence generation for conformance testing of FSMs

AU - Derderian, Karnig

AU - Hierons, Robert

AU - Harman, Mark

AU - Guo, Qiang

PY - 2006/5

Y1 - 2006/5

N2 - This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.

AB - This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.

U2 - 10.1093/comjnl/bxl003

DO - 10.1093/comjnl/bxl003

M3 - Article

SN - 0010-4620

VL - 49

SP - 331

EP - 344

JO - COMPUTER JOURNAL

JF - COMPUTER JOURNAL

IS - 3

M1 - N/A

ER -

Automated Unique Input Output sequence generation for conformance testing of FSMs

Abstract

Access to Document

Fingerprint

Cite this