Petryk V. The information technology of verification for the information control system software based on the descriptor model

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

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0409U005768

Thesis Registration Form

0409U005768.pdf

Applicant for

Specialization

  • 05.13.06 - Інформаційні технології

11-12-2009

Specialized Academic Board

Д 64.062.01

National Aerospace University "Kharkiv Aviation Institute"

Essay

The object is processes of verification and evaluation of quality and increase of reliability the software (SW) of information control system (ICS). A purpose of research is increase of reliability the SW of the ICS via elaboration of the model, method and information technology of SW verification limited of the resource and incompleteness of project documentation (PD). First proposed the descriptor model of SW; the method of verification of the SW in the case of resource limitations and incompleteness of PD. The method for estimating the verification of SW is improved. Has received the further development method of static analysis. The result consists in the development of the technology of assessment of the quality and increase of reliability the SW of ICS. The area of usage is developers ICS, certification lab.

Read more

Files

aref.doc

dis.doc

Similar theses

0424U000107

Oleksandra V. Kovyrova

Models and instrumental tools of express diagnostics for using in the biology and medicine

0524U000111

Tetiana A. Honcharenko

Methodological foundations of the formation of a unified information environment for the automation of object-spatial systems in construction projects

0524U000108

Ihor M. Liakh

Methodological foundations of information technology for gene expression data processing and its application in the field of bioinformatics

0524U000074

Andrii Shyshatskyi

Intelligent methods of managing interference protection of radio communication systems under conditions of destabilizing influences

0524U000069

Gnatchuk Elizaveta Gennadievna

Theoretical and applied principles of information technology for supporting medical decision-making considering the civil law grounds