Department of Software Engineering

Fields of research

1. Development and research of testing methods for digital schemes. Analysed coherent synchronous scheme can be transformed into combination scheme, using a model of iterative logic array. A few failure models were offered for inspection of failure of switching delay at the structural level of scheme. Testing of coherent schemes without dissemination chain was analysed. Technique for making of tests for such schemes was offered. The impact of selection of test kits on the results was analysed.
2. Development and research of human brain-computer interface methods. Human brain-computer interface requires complicated algorithms for processing of electroencephalogram (EEG) signals, noise removal, feature extraction and classification. Use of non-linear operators, such as Taeger-Kaiser energy operator (TKEO) and several varieties, was offered for processing of EEG signals. Effectiveness of these operators is assessed using support vector method with a linear function for classification. Discrete cosine transform allows concentration of EEG energy in a few of the first transformation coefficients. This method is used as a step of feature extraction, it allows a significant reduction of the volume of data without the loss of relevant information.
3. Development and research of testing methods for software systems. Generation of functional (unit) tests in hardware languages using formal methods from (according to) models. Development of tools for static analysis, compilation, analysis and application of symbolic analysis method, “Satisfiability modulus” (SMT) theory. Development and research of automated methods for testing and generation of test cases, based on static code analysis and composite dynamic symbolic performance. Theoretical research of the offered method for testing of distributed systems was performed. Analysis of the kind of mistakes such method is able to detect was performed.
4. Development and research of technologies and methods for virtual learning. Methods of competition-based social learning were analysed. Characteristics of provision of modules of information technologies were analysed.
5. Analysis of variability of the systems and their components in the subject area, feature-based modelling and research of automated development methods. Modelling methods are analysed in the context of meta-designing paradigm. Development of generic component models (meta-models, field’s anthologies) was analysed. Variability was analysed in the context of product line methodology. Possibilities of application of generative methods in learning were analysed.