Search academic texts

Information × Registration Number 0213U000001, 0112U004166 , R & D reports Title Integration approach to analysis and verification of telecommunication applications for one- and multiprocessor systems popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 03-01-2013 Organization V.M.Glushkov Institute of Cybernetics of NASU popup.description2 An approach to the development of an effective technology for the automation of industrial program project testing has been proposed. This approach exploits the formal model of a system, makes symbolic verification, generation and concretization of symbolic traces automatically, and generates test sets using concertized traces automatically. Also, it includes the methods of analyses of the results of testing, and so, does it possible the automation of the full cycle of testing. The method of the search for specific behaviours of formal models has been developed. This method gets use of addition information given by a user concerning the peculiarities of the behaviours of a system under designing. The application of the method for the automatic construction of test sceneries is described. The experiments with program verification by means of provable programming system are presented. The functional structure of provable programming system for education purposes has been proposed. Product Description popup.authors Годлевський Олександр Богуславович Довбиш Валентина Яківна Летичевський Олександр Олександрович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна popup.nrat_date 2020-04-02 Close