Inny tytuł:

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

Wydawca:

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

Miejsce wydania:

Warszawa

Opis:

[2], 190-208 pages ; 21 cm ; Bibliography p. 206-208

Typ obiektu:

Book/Chapter

Abstrakt:

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.

Czasopismo/Seria/cykl:

Książka = Book

Szczegółowy typ zasobu:

Book

Identyfikator zasobu:

oai:rcin.org.pl:205918

Źródło:

KS-2011-08-T13P13

Język:

pol

Język streszczenia:

pol

Prawa:

Creative Commons Attribution BY 4.0 license

Zasady wykorzystania:

Copyright-protected material. [CC BY 4.0] May be used within the scope specified in Creative Commons Attribution BY 4.0 license, full text available at: ; -

Digitalizacja:

Systems Research Institute of the Polish Academy of Sciences

Lokalizacja oryginału:

Library of Systems Research Institute PAS

Dofinansowane ze środków:

Operational Program Digital Poland, 2014-2020, Measure 2.3: Digital accessibility and usefulness of public sector information; funds from the European Regional Development Fund and national co-financing from the state budget.

Dostęp:

Open