Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems

The topic of this thesis is automated test generation for control software represented in a specific standard, the IEC 61499. This standard, which is largely based on the concept of function block, establishes a way to design distributed control systems in a visually clear way. The goal of the thesi...

Full description

Bibliographic Details
Main Author: Buzhinskii, Igor
Other Authors: Informaatioteknologian tiedekunta, Faculty of Information Technology, Tietojenkäsittelytieteiden laitos, Department of Computer Science and Information Systems, University of Jyväskylä, Jyväskylän yliopisto
Format: Master's thesis
Language:eng
Published: 2015
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/46446
_version_ 1826225726964105216
author Buzhinskii, Igor
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Tietojenkäsittelytieteiden laitos Department of Computer Science and Information Systems University of Jyväskylä Jyväskylän yliopisto
author_facet Buzhinskii, Igor Informaatioteknologian tiedekunta Faculty of Information Technology Tietojenkäsittelytieteiden laitos Department of Computer Science and Information Systems University of Jyväskylä Jyväskylän yliopisto Buzhinskii, Igor Informaatioteknologian tiedekunta Faculty of Information Technology Tietojenkäsittelytieteiden laitos Department of Computer Science and Information Systems University of Jyväskylä Jyväskylän yliopisto
author_sort Buzhinskii, Igor
datasource_str_mv jyx
description The topic of this thesis is automated test generation for control software represented in a specific standard, the IEC 61499. This standard, which is largely based on the concept of function block, establishes a way to design distributed control systems in a visually clear way. The goal of the thesis was to design a test generation approach or a number of such approaches that would produce input test data with high coverage of the implementation of systems under test. Coverage is a measure which expresses the fraction of the system that was exercised at least ones when all tests in a test suite were run on this system. To reach the stated goal, evolutionary computation, a general optimization methodology, was employed. In this methodology, possible solutions of the problem (in our case, test suites) are developed during a simulated evolution process which involves mutating solutions (that is, altering them insignificantly) and combining them into new ones. Two methods of test suite generation were designed based on the mentioned approaches. The experimental evaluation showed that one of them produces test suites with high coverage but is time consuming, and another one is more flexible and fast, but produces test suites with lower coverage. It was also shown that the proposed methods are capable of identifying faults in control software under test, which are mainly connected with unreachable system segments.
first_indexed 2023-03-22T09:59:47Z
format Pro gradu
free_online_boolean 1
fullrecord [{"key": "dc.contributor.advisor", "value": "Veijalainen, Jari", "language": null, "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.advisor", "value": "Vyatkin, Valeriy", "language": null, "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.advisor", "value": "Shalyto, Anatoly", "language": null, "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.author", "value": "Buzhinskii, Igor", "language": null, "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2015-07-01T08:33:58Z", "language": null, "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2015-07-01T08:33:58Z", "language": null, "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2015", "language": null, "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.other", "value": "oai:jykdok.linneanet.fi:1477006", "language": null, "element": "identifier", "qualifier": "other", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/46446", "language": null, "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "The topic of this thesis is automated test generation for control software represented in a specific standard, the IEC 61499. This standard, which is largely based on the concept of function block, establishes a way to design distributed control systems in a visually clear way. The goal of the thesis was to design a test generation approach or a number of such approaches that would produce input test data with high coverage of the implementation of systems under test. Coverage is a measure which expresses the fraction of the system that was exercised at least ones when all tests in a test suite were run on this system. To reach the stated goal, evolutionary computation, a general optimization methodology, was employed. In this methodology, possible solutions of the problem (in our case, test suites) are developed during a simulated evolution process which involves mutating solutions (that is, altering them insignificantly) and combining them into new ones.\n\nTwo methods of test suite generation were designed based on the mentioned approaches. The experimental evaluation showed that one of them produces test suites with high coverage but is time consuming, and another one is more flexible and fast, but produces test suites with lower coverage. It was also shown that the proposed methods are capable of identifying faults in control software under test, which are mainly connected with unreachable system segments.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted using Plone Publishing form by Igor Buzhinskii (igbuzhin) on 2015-07-01 08:33:58.294688. Form: Master's Thesis publishing form (https://kirjasto.jyu.fi/publish-and-buy/publishing-forms/masters-thesis-publishing-form). JyX data: [jyx_publishing-allowed (fi) =True]", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by jyx lomake-julkaisija (jyx-julkaisija.group@korppi.jyu.fi) on 2015-07-01T08:33:58Z\nNo. of bitstreams: 2\nURN:NBN:fi:jyu-201507012487.pdf: 1203706 bytes, checksum: b3185d2a30c9b3580e67b17df4182db7 (MD5)\nlicense.html: 4320 bytes, checksum: ee43f2b7d9354648e2a05d3c576ae5a7 (MD5)", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2015-07-01T08:33:58Z (GMT). No. of bitstreams: 2\nURN:NBN:fi:jyu-201507012487.pdf: 1203706 bytes, checksum: b3185d2a30c9b3580e67b17df4182db7 (MD5)\nlicense.html: 4320 bytes, checksum: ee43f2b7d9354648e2a05d3c576ae5a7 (MD5)\n Previous issue date: 2015", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "1 verkkoaineisto (59 sivua)", "language": null, "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.format.mimetype", "value": "application/pdf", "language": null, "element": "format", "qualifier": "mimetype", "schema": "dc"}, {"key": "dc.language.iso", "value": "eng", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "IEC 61499", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems", "language": null, "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "master thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-201507012487", "language": null, "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Pro gradu -tutkielma", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Master\u2019s thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Informaatioteknologian tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Information Technology", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Tietojenk\u00e4sittelytieteiden laitos", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Department of Computer Science and Information Systems", "language": "en", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Ohjelmistotuotanto", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.date.updated", "value": "2015-07-01T08:33:59Z", "language": null, "element": "date", "qualifier": "updated", "schema": "dc"}, {"key": "yvv.contractresearch.collaborator", "value": "community", "language": null, "element": "contractresearch", "qualifier": "collaborator", "schema": "yvv"}, {"key": "yvv.contractresearch.funding", "value": "0", "language": null, "element": "contractresearch", "qualifier": "funding", "schema": "yvv"}, {"key": "yvv.contractresearch.initiative", "value": "student", "language": null, "element": "contractresearch", "qualifier": "initiative", "schema": "yvv"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_bdcc", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": "fi", "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "masterThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.subject.oppiainekoodi", "value": "601", "language": null, "element": "subject", "qualifier": "oppiainekoodi", "schema": "dc"}, {"key": "dc.subject.yso", "value": "automaatioj\u00e4rjestelm\u00e4t", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "testaus", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "evoluutiolaskenta", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "automaatio", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.format.content", "value": "fulltext", "language": null, "element": "format", "qualifier": "content", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}, {"key": "dc.type.okm", "value": "G2", "language": null, "element": "type", "qualifier": "okm", "schema": "dc"}]
id jyx.123456789_46446
language eng
last_indexed 2025-02-18T10:55:42Z
main_date 2015-01-01T00:00:00Z
main_date_str 2015
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/6fb50014-0216-4561-8dee-d654f4c99a71\/download","text":"URN:NBN:fi:jyu-201507012487.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2015
record_format qdc
source_str_mv jyx
spellingShingle Buzhinskii, Igor Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems IEC 61499 Ohjelmistotuotanto 601 automaatiojärjestelmät testaus evoluutiolaskenta automaatio
title Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
title_full Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
title_fullStr Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
title_full_unstemmed Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
title_short Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
title_sort evolutionary approach for achieving structural coverage in testing iec 61499 function block systems
title_txtP Evolutionary approach for achieving structural coverage in testing IEC 61499 function block systems
topic IEC 61499 Ohjelmistotuotanto 601 automaatiojärjestelmät testaus evoluutiolaskenta automaatio
topic_facet 601 IEC 61499 Ohjelmistotuotanto automaatio automaatiojärjestelmät evoluutiolaskenta testaus
url https://jyx.jyu.fi/handle/123456789/46446 http://www.urn.fi/URN:NBN:fi:jyu-201507012487
work_keys_str_mv AT buzhinskiiigor evolutionaryapproachforachievingstructuralcoverageintestingiec61499functionblocks