Letychevskyi O. Symbolic methods in testing and verification of systems of high reliability

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0516U000216

Thesis Registration Form

0516U000216.pdf

Applicant for

Specialization

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

11-03-2016

Specialized Academic Board

Д 26.194.02

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Essay

The full technological scheme of development process of high reliable systems integrated with verification and testing process is defined. The survey of symbolic methods in software development process is presented. Live UCM language is created. The theory of predicate transformers for formulae with universal quantifier is extended. Methods of verification and model-based testing for Live UCM specifications are created. Symbolic methods of of model transformations are created. Examples of technology utilization and realized systems are considered.

Read more

Files

aref.doc

dis.doc

Similar theses

0421U104038

Petrenko Maksym V.

Methods of integration of heterogeneous bibliographic data

0421U104040

Artabaev Yurii Z.

A technique for increasing the accuracy of integrated navigation systems based on predictive models using genetic algorithms.

0421U103593

Zubko Roman Anatoliyovych

Improving methods to increase the time efficiency of fractal image compression

0421U103401

Chystyakova Inna S.

Mapping method between the description logic and the relational data model.

0421U103320

Bielozorova Yana Andriivna

Method of application of wavelet analysis in problems of identification of speech information