Search academic texts

Information × Registration Number 0214U003652, 0111U002294 , R & D reports Title Methodology for intelligence automatics evaluation of accordance of critical systems software to requirements popup.stage_title Head Pomorova O. V., Registration Date 11-02-2014 Organization Khmelnytskiy National University popup.description2 Research work is devoted to developing of the methodology of intelligence automated assessment of conformity of the critical software systems to the requirements. Object of study is the automated process of estimating of compliance of critical software systems to the requirements. Subject of research are theoretical bases, models, methods and tools for intelligent evaluation of critical software systems for accounting requirements. The purpose of research work is to solve the actual scientific problem - the development of methodology of intelligent automated evaluation of compliance critical software systems to the requirements to improve software quality and reliability. The theoretical foundations of software engineering, lattice theory, invariant theory, the theory of computer system diagnosing, theory of artificial intelligence, methods of system analysis, the theory of knowledge bases, methods of theory of technical systems reliability, the theory of decision support systems were used to achieve the goal. Theoretical foundations of automated assessment of critical software requirements completeness, algorithms of intelligence automated estimating of critical software systems meets the requirements were developed as a result of research. Methods: of data completeness analysis, which the requirements regulate; of analysis of the completeness of non-functional requirements for critical software systems; of the formation of the profile of requirements for critical software; of requirements profile verification; of forming of the software analysis results profile; of verification of the software analysis results profile were developed. Automated method of finding of conformity of profiles elements; intelligence method of assessment of requirements profiles compliance; the technique for assessing of the effectiveness of system of intelligent automated assessment of critical software systems and requirements compliance have been developed. Research results are applied in the educational process at the system programming department of Khmelnytskiy National University and at the LLC "ITT" (Khmelnitskiy). The developed models and methods are recommended for implementation in enterprises, which develop the technical diagnostic means and use the critical software systems. The research results are recommended for use in the field of technical diagnostics of specialized computer systems. The practical significance of the project is the development of software tools for independent software verification, which provides the increase of critical software quality. Product Description popup.authors Іванчишин Дмитро Олександрович Гнатчук Єлизавета Геннадіївна Говорущенко Тетяна Олександрівна Кльоц Юрій Павлович Крищук Андрій Федорович Лисенко Сергій Миколайович Мостовий Сергій Володимирович Поморова Оксана Вікторівна Тітова Віра Юріївна popup.nrat_date 2020-04-02 Close