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 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.
...


Metadata
Show full item recordCollections
- Pro gradu -tutkielmat [25049]
Related items
Showing items with similar title or keywords.
-
Probabilistic Selection Approaches in Decomposition-based Evolutionary Algorithms for Offline Data-Driven Multiobjective Optimization
Mazumdar, Atanu; Chugh, Tinkle; Hakanen, Jussi; Miettinen, Kaisa (IEEE, 2022)In offline data-driven multiobjective optimization, no new data is available during the optimization process. Approximation models, also known as surrogates, are built using the provided offline data. A multiobjective ... -
The role of heredity, other constitutional structural and behavioral factors in back function tests
Ropponen, Annina (Jyväskylän yliopisto, 2006)The objectives were 1) to determine the reliability of the measures of back function related factors, 2) to investigate the possibilities to detect changes in paraspinal muscles, and 3) to study the relative effects of ... -
Grand-canonical approach to density functional theory of electrocatalytic systems: Thermodynamics of solid-liquid interfaces at constant ion and electrode potentials
Melander, Marko; Kuisma, Mikael; Christensen, Thorbjørn Erik Køppen; Honkala, Karoliina (AIP Publishing LLC, 2019)Properties of solid-liquid interfaces are of immense importance for electrocatalytic and electrochemical systems, but modeling such interfaces at the atomic level presents a serious challenge and approaches beyond standard ... -
Iterated function systems: natural measure and local structure
Käenmäki, Antti (University of Jyväskylä, 2003) -
The Slow Adoption Rate of Software Robotics in Accounting and Payroll Services and the Role of Resistance to Change in Innovation-Decision Process
Sarilo-Kankaanranta, Henriika; Frank, Lauri (Springer, 2022)Robotic process automation (RPA) has by now for years been viewed as a disruptive innovation that will have a significant impact on accounting, HR and payroll services, and yet the rate of adopting the innovation has not ...