Sökning: id:"swepub:oai:DiVA.org:ltu-33182" >
Evolutionary approa...
Evolutionary approach to coverage testing of IEC 61499 function block applications
-
- Buzhinsky, Igor P. (författare)
- Computer Technologies Laboratory, ITMO University, St.-Petersburg
-
- Ulyantsev, Vladimir I. (författare)
- Computer Technologies Laboratory, ITMO University, St.-Petersburg
-
- Veijalainen, Jari (författare)
- Computer Technologies Laboratory, ITMO University, St.-Petersburg
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap
-
visa färre...
-
Computer Technologies Laboratory, ITMO University, St-Petersburg Datavetenskap (creator_code:org_t)
- Piscataway, NJ : IEEE Communications Society, 2015
- 2015
- Engelska.
-
Ingår i: IEEE 13th International Conference on Industrial Informatics (INDIN), 2015. - Piscataway, NJ : IEEE Communications Society. - 9781479966493 ; , s. 1213-1218
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The paper addresses the problem of coverage testing of industrial automation software represented in the IEC 61499 standard, one of the recent standards for distributed control system design. Contrary to model-based testing (MBT), the paper focuses on implementation coverage, not model coverage. An approach based on evolutionary algorithms is presented which generates coverage test suites for both basic and composite IEC 61499 function blocks. It employs two third-party tools, FBDK and EvoSuite. The evaluation of the approach was performed on a set of control applications for two lab-scale demonstration plants. Results show that the approach is applicable and shows good performance at least on basic function blocks. The generated tests suites helped to discover several unreachable system parts, which pinpointed errors in the systems under test
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas