Title:

Techniki informacyjne teoria i zastosowania * Wybrane problemy * Automatyczne generowanie sekwencji wejścia-wyjścia (UIO) za pomocą algorytmu PSO do testów automatu skończonego

Subtitle:

Książka = Book ; KS/8/2011/T13P13

Creator:

Zaniewski, Krzysztof

Publisher:

Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences

Place of publishing:

Warszawa

Date issued/created:

2011

Description:

[2], 190-208 stron ; 21 cm ; Bibliografia s. 206-208

Type of object:

Książka/Rozdział

Abstract:

Unique Input Output sequences (UIOs), generated from a formal specification, are used in conformance testing. Finding UIOs of minimal length is an NP-Hard problem. This study provides an approach to generate multiple UIOs automatically. The Particle Swarm Optimization (PSO) algorithm is used to optimize a multi-objective fitness function. The first objective concerns the uniqueness of the sequence while the second one captures its length. We discuss a way of encoding particles used in the PSO so that a combinatorial nature of the testing problem can be described. A set of tests comprises a number of finite state machines of different topology. The experimental evaluation shows that the proposed method outperforms the random search. We also report on the relationships between the topology of the finite state machine and the effectiveness of the PSO-generated tests. This paper shows optimization progress over time and examines how the proposed approach is affected by the topology and size of the finite state machine.

Relation:

Książka = Book

Resource type:

Tekst

Detailed Resource Type:

Książka

Source:

KS-2011-08-T13P13

Language:

pol

Language of abstract:

pol

Rights:

Licencja Creative Commons Uznanie autorstwa 4.0

Terms of use:

Zasób chroniony prawem autorskim. [CC BY 4.0 Międzynarodowe] Korzystanie dozwolone zgodnie z licencją Creative Commons Uznanie autorstwa 4.0, której pełne postanowienia dostępne są pod adresem: ; -

Digitizing institution:

Instytut Badań Systemowych Polskiej Akademii Nauk

Original in:

Biblioteka Instytutu Badań Systemowych PAN

Projects co-financed by:

Program Operacyjny Polska Cyfrowa, lata 2014-2020, Działanie 2.3 : Cyfrowa dostępność i użyteczność sektora publicznego; środki z Europejskiego Funduszu Rozwoju Regionalnego oraz współfinansowania krajowego z budżetu państwa

Access:

Otwarty