The Cognitive Approach to the Coverage-Directed Test Generation

Klimenko, Anna; Gorelova, Galina; Korobkin, Vladimir; Bibilo, Petr

doi:10.1007/978-3-319-67621-0_34

Cited by 8 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The current state of the methodology for constructing and researching specialized subject-oriented information systems (IS), including those based on the use of fuzzy cognitive maps (FCM), is presented in the works of scientists such as Avdeeva (2007), Gorelova et al (2016), Klimenko (2018), Kornoushenko (2016).…”

Section: Resultsmentioning

confidence: 99%

Cognitive Modelling of Evolution of Regional Food Security Indicators in Import Substitution

Rogachev

Mizyakina

2021

Сooperation and Sustainable Development

View full text Add to dashboard Cite

The purpose of the research is to develop and computer implementation of methods of data mining based on cognitive modeling, obtained as a result of matrix modeling and assessment of the level of food security (FS) in conditions of forced import substitution and increased food exports. As the basic methodology for obtaining an objective assessment of the FS level, a systemic approach was used, as well as separate methods of analysis and structural synthesis of elements of the modeling system. The identification of specific differences of the updated FS Doctrine (2020) was carried out using the method of comparative research. Fuzzy cognitive maps (FCMs) were used as a basic modeling tool. The construction of the graph structure, relationships and weights of the FCM was carried out by means of a previously formed system of indicators. It has been shown that to solve the problem of objective assessment of the FS level, it is advisable to use computer modeling based on fuzzy production cognitive maps. The advisability of integral consideration of key groups of factors is justified: food production, consumption, as well as the share of imports and the rational amount of food reserves in conditions of forced import substitution. The directions of computer system modernization and improvement of mining methods for level prediction are presented. An example of FCM and a diagram of the evolution of the FS support system in pandemic conditions are given.

show abstract

Section: Resultsmentioning

confidence: 99%

Cognitive Modelling of Evolution of Regional Food Security Indicators in Import Substitution

Rogachev

Mizyakina

2021

Сooperation and Sustainable Development

View full text Add to dashboard Cite

show abstract

“…The most recent upsurge in publications has started on 2013. As an example, these recent publications mostly focused on fault independent test generation and coverage directed test generation techniques [19,20]. We can observe a decrease in the number of publications from 2015 onward.…”

Section: Publication Trendsmentioning

confidence: 86%

Automated Test Case Generation for Digital System Designs: A Mapping Study on VHDL, Verilog, and SystemVerilog Description Languages

Vivekananda

Enoiu

2020

Designs

View full text Add to dashboard Cite

Researchers have proposed different methods for testing digital systems and circuits in the last couple of decades. The need for testing digital logic circuits has become more important than ever due to the growing complexity of such systems. During the design phase, testing is focusing on design defects, as well as manufacturing and wear out type of defects. Failures in digital systems could be caused, for example, by design errors, the use of inherently probabilistic devices, and manufacturing variability. As a way to test digital systems in a more efficient way, automated test generation has been proposed to automatically create tests that can quickly and accurately identify faulty components. Examples of such techniques are the sequential test generation, the scan path testing, and the random test generation techniques. With the research domain becoming more mature and growing, it is essential to systematically identify, analyze, and classify these contributions. We performed a systematic mapping study of automated test generation for digital circuits aimed at providing an overview of the application of these techniques. We focused on three of the most widely-used and well-supported hardware description languages (HDLs) for digital systems: Verilog, SystemVerilog, and VHDL. Our results suggest that the majority of the test generation methods for digital circuits are focused on the behavioral and register-transfer design levels. Fault-independent and fault-oriented test generation are the most frequently reported types of test generation methods, while HDL model simulation is the most common test generation technology used to search for test cases in these academic studies. While the results are suggesting a growing interest in this area, the majority of articles are published as conferences papers. Our results show that only 31% of the methods are implemented as software tools and only 63% of all contributions are actually generating executable test cases. This study makes three important contributions, (i) a state-of-the-art of test generation for digital system designs research is provided, (ii) the reported characteristics are identified in both the primary papers and experimental reports, (iii) gaps and opportunities for future test generation for digital system designs research are identified.

show abstract

“…The theoretical foundations and methodology of building FCM based on the system approach are described in the works (Gorelova et al, 2016); (Gorelova et al, 2017); (Ginis et al, 2016); (Klimenko et al, 2018).…”

Section: Methodsmentioning

confidence: 99%

Fuzzy Cognitive Modeling Of Food Security Taking Into Account Import Substitution Level

Rogachev¹

2021

European Proceedings of Social and Behavioural Sciences

View full text Add to dashboard Cite

show abstract

The Cognitive Approach to the Coverage-Directed Test Generation

Cited by 8 publications

References 9 publications

Cognitive Modelling of Evolution of Regional Food Security Indicators in Import Substitution

Cognitive Modelling of Evolution of Regional Food Security Indicators in Import Substitution

Automated Test Case Generation for Digital System Designs: A Mapping Study on VHDL, Verilog, and SystemVerilog Description Languages

Fuzzy Cognitive Modeling Of Food Security Taking Into Account Import Substitution Level

Contact Info

Product

Resources

About